public abstract class PnmlBasicObject extends PnmlElement
Modifier and Type | Field and Description |
---|---|
protected PnmlName |
name
Name element.
|
protected java.util.List<PnmlToolSpecific> |
toolSpecificList
ToolSpecifics elements (there may be multiple).
|
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlBasicObject(java.lang.String tag)
Creates a fresh basic PNML object.
|
Modifier and Type | Method and Description |
---|---|
PnmlBasicObject |
convertFromNet(java.lang.String label) |
void |
convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge) |
void |
convertToNet(PetrinetNode node) |
protected java.lang.String |
exportElements(Pnml pnml)
Exports all elements.
|
java.lang.String |
getName(java.lang.String defaultName) |
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
checkValidity, exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory
protected PnmlName name
protected java.util.List<PnmlToolSpecific> toolSpecificList
protected PnmlBasicObject(java.lang.String tag)
tag
- public java.lang.String getName(java.lang.String defaultName)
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importElements
in class PnmlElement
protected java.lang.String exportElements(Pnml pnml)
exportElements
in class PnmlElement
public void convertToNet(PetrinetNode node)
public void convertToNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> edge)
public PnmlBasicObject convertFromNet(java.lang.String label)