SEdit
Class Formalism

java.lang.Object
  extended bySEdit.Formalism

public class Formalism
extends Object

A Formalism definition

Version:
2.0

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
 
Method Summary
 void addActionDesc(ActionDesc a)
           
 void addArrowDesc(ArrowDesc d)
           
 void addConnectorDesc(ConnectorDesc d)
           
 void addNodeDesc(NodeDesc d)
           
 void dump()
           
 ActionDesc getAction(String s)
           
 Hashtable getActions()
           
 ArrowDesc getArrowDesc(String name)
           
 Vector getArrowDescList()
           
 Object getBase()
           
 ConnectorDesc getConnectorDesc(String name)
           
 Vector getConnectorDescList()
           
 ElementDesc getDesc(String name)
           
 String getDescription()
           
 Hashtable getGraphicProperties()
          Get the value of graphic properties.
 String getIcon()
           
 String getName()
           
 NodeDesc getNodeDesc(String name)
           
 Vector getNodeDescList()
           
 Hashtable getProperties()
          Get the value of properties.
 String getStructureClass()
           
 boolean hasActions()
           
 void setActions(Hashtable v)
           
 void setAuthor(String s)
          A sugar method if you don't want to deal with vectors
 void setAuthors(Vector v)
           
 void setBase(Object s)
           
 void setDescription(String s)
           
 void setDocURL(String doc)
           
 void setGraphicProperties(Hashtable v)
          Set the value of graphic properties.
 void setIcon(String s)
           
 void setProperties(Hashtable v)
          Set the value of properties.
 void setStructureClass(String s)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

authors

public Vector authors

docURL

public String docURL

icon

public String icon

actions

public Hashtable actions
Constructor Detail

Formalism

public Formalism()

Formalism

public Formalism(String _name)

Formalism

public Formalism(String _name,
                 String _structClass,
                 Object _authors,
                 String _htmldoc,
                 String _icon)
constructor used by the scheme function defFormalism

Method Detail

getName

public String getName()

getBase

public Object getBase()

setBase

public void setBase(Object s)

getIcon

public String getIcon()

setIcon

public void setIcon(String s)

getDescription

public String getDescription()

setDescription

public void setDescription(String s)

getStructureClass

public String getStructureClass()

setStructureClass

public void setStructureClass(String s)

getProperties

public Hashtable getProperties()
Get the value of properties.

Returns:
Value of properties.

setProperties

public void setProperties(Hashtable v)
Set the value of properties.

Parameters:
v - Value to assign to properties.

getGraphicProperties

public Hashtable getGraphicProperties()
Get the value of graphic properties.

Returns:
Value of graphic properties.

setGraphicProperties

public void setGraphicProperties(Hashtable v)
Set the value of graphic properties.

Parameters:
v - Value to assign to properties.

addConnectorDesc

public void addConnectorDesc(ConnectorDesc d)

getConnectorDescList

public Vector getConnectorDescList()

addNodeDesc

public void addNodeDesc(NodeDesc d)

getNodeDescList

public Vector getNodeDescList()

addArrowDesc

public void addArrowDesc(ArrowDesc d)

getArrowDescList

public Vector getArrowDescList()

hasActions

public boolean hasActions()

setActions

public void setActions(Hashtable v)

getActions

public Hashtable getActions()

getAction

public ActionDesc getAction(String s)

addActionDesc

public void addActionDesc(ActionDesc a)

getDesc

public ElementDesc getDesc(String name)

getNodeDesc

public NodeDesc getNodeDesc(String name)

getConnectorDesc

public ConnectorDesc getConnectorDesc(String name)

getArrowDesc

public ArrowDesc getArrowDesc(String name)

setAuthors

public void setAuthors(Vector v)

setAuthor

public void setAuthor(String s)
A sugar method if you don't want to deal with vectors


setDocURL

public void setDocURL(String doc)

toString

public String toString()

dump

public void dump()


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