public class PnmlInitialMarking extends PnmlAnnotation
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG
PNML initial marking tag.
|
graphics, text, toolSpecificList
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlInitialMarking()
Creates a fresh initial marking object.
|
Modifier and Type | Method and Description |
---|---|
protected void |
checkValidity(Pnml pnml)
Default check for validity: No action.
|
PnmlInitialMarking |
convertFromNet(Marking marking,
Place place) |
protected java.lang.String |
exportElements(Pnml pnml)
Exports the initial marking.
|
int |
getInitialMarking()
Gets the initial marking, returns 0 if not specified.
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Checks whether the current start tag is known.
|
convertFromNet, convertToNet, convertToNet
exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory
public static final java.lang.String TAG
protected PnmlInitialMarking()
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
importElements
in class PnmlAnnotation
protected void checkValidity(Pnml pnml)
PnmlElement
checkValidity
in class PnmlElement
protected java.lang.String exportElements(Pnml pnml)
exportElements
in class PnmlAnnotation
public int getInitialMarking()
public PnmlInitialMarking convertFromNet(Marking marking, Place place)