de.huberlin.informatik.pnk.kernel
Class SpecificationTable

java.lang.Object
  |
  +--de.huberlin.informatik.pnk.kernel.SpecificationTable

public class SpecificationTable

extends Object

A specification is given by a String describing a table. This table contains an entry for each class inheriting from class extendable. Each entry consists of pairs

(name_of_extension, classname _of_extension_object).
Example:
"Extendable" : ()
"Graph" : ()
"Net" : ("firingRule" : "HamburgRule")
"Member" : ("type" : "UniformType")
"Node" : ()
"Edge" : ()
"Place" : ("marking" : "NaturalNumber", "initialMarking" :
"NaturalNumber")
"Transition" : ("mode" : "ConstantMode")
"Arc" : ("inscription" : "NaturalNumber")

The constructor generates the hashtable of hashtables classNameToExtIds.

Constructor Summary

SpecificationTable(Hashtable theTable)
Constructor generates hashtable classNameToExtIds from theTable.

SpecificationTable(String table)
Constructor generates hashtable classNameToExtIds by analysing table.

Method Summary

void	addNameExtension(String extendable, String extensionClassName) Standard extension extensionClassName is added for extendable.
Hashtable	genExtIdToObject(Extendable extendableObject) Gets a hashtable for extendableobject with entrys of the form (extension name, default extension object) for each extension.
Enumeration	getExtIds(String extendableClassId) Gets an Enumeration of the names of all extensions of the extendable class with extendableClassId.
Hashtable	getSpecificationTable()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SpecificationTable

public SpecificationTable(String table)

Constructor generates hashtable classNameToExtIds by analysing table.

SpecificationTable

public SpecificationTable(Hashtable theTable)

Constructor generates hashtable classNameToExtIds from theTable.

Method Detail

addNameExtension

public final void addNameExtension(String extendable,
                                   String extensionClassName)

Standard extension extensionClassName is added for extendable.

genExtIdToObject

public Hashtable genExtIdToObject(Extendable extendableObject)

Gets a hashtable for extendableobject with entrys of the form
(extension name, default extension object) for each extension.

getExtIds

public Enumeration getExtIds(String extendableClassId)

Gets an Enumeration of the names of all extensions of the extendable class with extendableClassId.

getSpecificationTable

public Hashtable getSpecificationTable()