SEdit
Class SEditAgent
java.lang.Object
Agent
SEdit.SEditAgent
- public class SEditAgent
- extends Agent
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VERSION
public static String VERSION
DATE
public static String DATE
SEditAgent
public SEditAgent()
activate
public void activate()
loadFormalism
public void loadFormalism(String s)
urlFormalism
public void urlFormalism(String s)
initGUI
public void initGUI()
doLaunchAgent
public void doLaunchAgent(AbstractAgent ag,
String label,
boolean bean)
live
public void live()
handleMessage
protected void handleMessage(SEditMessage fm)
startEditor
public void startEditor(String s)
createModel
public void createModel(String s)
end
public void end()
windowClosing
public void windowClosing(AWTEvent we)
Copyright © J. Ferber, O. Gutknecht All Rights Reserved.