SEdit.Formalisms
Class FormalismStructureAgent

java.lang.Object
  extended byAgent
      extended bySEdit.StructureAgent
          extended bySEdit.Formalisms.FormalismStructureAgent

public class FormalismStructureAgent
extends StructureAgent

See Also:
Serialized Form

Field Summary
 
Fields inherited from class SEdit.StructureAgent
clipboard, DATE, fileName, formalism, gui, recipient, structure, VERSION
 
Constructor Summary
FormalismStructureAgent()
           
FormalismStructureAgent(String s)
           
FormalismStructureAgent(String s, boolean b)
           
 
Method Summary
 void initGUI()
           
 
Methods inherited from class SEdit.StructureAgent
activate, askMessageBoxEmpty, close, doBroadcastMessage, doCommand, doKillAgent, doLaunchAgent, doPause, doSendMessage, end, getClipBoard, getFileName, getFormalism, getFormalism, getRecipient, getShowElementPanel, getStructure, handleMessage, initEditor, initStructure, insertClipBoard, insertXMLFile, isFormalismCompatible, live, makeLaunchAgent, newArrow, newComponent, newNode, println, saveXMLFile, schemeGetAgentsWithRole, schemeGetAgentsWithRole, schemeGetAvailableCommunities, schemeGetExistingGroups, schemeGetExistingGroups, schemeGetExistingRoles, schemeGetExistingRoles, schemeGetMyGroups, schemeGetMyGroups, schemeGetMyRoles, schemeGetMyRoles, schemeGetRoles, schemeGetRoles, sendToRecipient, setClipBoard, setRecipient, setShowElementPanel
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FormalismStructureAgent

public FormalismStructureAgent(String s)

FormalismStructureAgent

public FormalismStructureAgent(String s,
                               boolean b)

FormalismStructureAgent

public FormalismStructureAgent()
Method Detail

initGUI

public void initGUI()
Overrides:
initGUI in class StructureAgent


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