SEdit
Class FormalismAgent

java.lang.Object
  extended byAgent
      extended bySEdit.FormalismAgent

public class FormalismAgent
extends Agent

See Also:
Serialized Form

Field Summary
static String FORMALISM_FOLDER
           
 Vector formalisms
           
 
Constructor Summary
FormalismAgent()
           
 
Method Summary
 void activate()
           
 Formalism getFormalism(String _name)
           
 void getFromDirectory(File directory)
           
protected  void handleMessage(SEditMessage m)
           
 void live()
           
protected  void updateFormalisms(Formalism f)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

FORMALISM_FOLDER

public static final String FORMALISM_FOLDER
See Also:
Constant Field Values

formalisms

public Vector formalisms
Constructor Detail

FormalismAgent

public FormalismAgent()
Method Detail

getFromDirectory

public void getFromDirectory(File directory)

activate

public void activate()

updateFormalisms

protected void updateFormalisms(Formalism f)

handleMessage

protected void handleMessage(SEditMessage m)

getFormalism

public Formalism getFormalism(String _name)

live

public void live()


Copyright © J. Ferber, O. Gutknecht All Rights Reserved.