SEdit
Class FormalismAgent
java.lang.Object
Agent
SEdit.FormalismAgent
- public class FormalismAgent
- extends Agent
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FORMALISM_FOLDER
public static final String FORMALISM_FOLDER
- See Also:
- Constant Field Values
formalisms
public Vector formalisms
FormalismAgent
public FormalismAgent()
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.