|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSEdit.Formalism
A Formalism definition
Field Summary | |
Hashtable |
actions
|
Vector |
authors
|
String |
docURL
|
String |
icon
|
Constructor Summary | |
Formalism()
|
|
Formalism(String _name)
|
|
Formalism(String _name,
String _structClass,
Object _authors,
String _htmldoc,
String _icon)
constructor used by the scheme function defFormalism |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public Vector authors
public String docURL
public String icon
public Hashtable actions
Constructor Detail |
public Formalism()
public Formalism(String _name)
public Formalism(String _name, String _structClass, Object _authors, String _htmldoc, String _icon)
Method Detail |
public String getName()
public Object getBase()
public void setBase(Object s)
public String getIcon()
public void setIcon(String s)
public String getDescription()
public void setDescription(String s)
public String getStructureClass()
public void setStructureClass(String s)
public Hashtable getProperties()
public void setProperties(Hashtable v)
v
- Value to assign to properties.public Hashtable getGraphicProperties()
public void setGraphicProperties(Hashtable v)
v
- Value to assign to properties.public void addConnectorDesc(ConnectorDesc d)
public Vector getConnectorDescList()
public void addNodeDesc(NodeDesc d)
public Vector getNodeDescList()
public void addArrowDesc(ArrowDesc d)
public Vector getArrowDescList()
public boolean hasActions()
public void setActions(Hashtable v)
public Hashtable getActions()
public ActionDesc getAction(String s)
public void addActionDesc(ActionDesc a)
public ElementDesc getDesc(String name)
public NodeDesc getNodeDesc(String name)
public ConnectorDesc getConnectorDesc(String name)
public ArrowDesc getArrowDesc(String name)
public void setAuthors(Vector v)
public void setAuthor(String s)
public void setDocURL(String doc)
public String toString()
public void dump()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |