SEdit
Class SEditAgent

java.lang.Object
  extended byAgent
      extended bySEdit.SEditAgent

public class SEditAgent
extends Agent

See Also:
Serialized Form

Field Summary
static String DATE
           
static String VERSION
           
 
Constructor Summary
SEditAgent()
           
 
Method Summary
 void activate()
           
 void createModel(String s)
           
 void doLaunchAgent(AbstractAgent ag, String label, boolean bean)
           
 void end()
           
protected  void handleMessage(SEditMessage fm)
           
 void initGUI()
           
 void live()
           
 void loadFormalism(String s)
           
 void startEditor(String s)
           
 void urlFormalism(String s)
           
 void windowClosing(AWTEvent we)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

VERSION

public static String VERSION

DATE

public static String DATE
Constructor Detail

SEditAgent

public SEditAgent()
Method Detail

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.