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