|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.plugins.pnml.PnmlElement
org.processmining.plugins.pnml.PnmlAnnotation
org.processmining.plugins.pnml.extensions.PnmlInitialMarking
public class PnmlInitialMarking
Extension PNML initial marking object.
Field Summary | |
---|---|
static java.lang.String |
TAG
PNML initial marking tag. |
Fields inherited from class org.processmining.plugins.pnml.PnmlAnnotation |
---|
graphics, text, toolSpecificList |
Fields inherited from class org.processmining.plugins.pnml.PnmlElement |
---|
lineNumber, tag |
Constructor Summary | |
---|---|
PnmlInitialMarking()
Creates a fresh initial marking object. |
Method Summary | |
---|---|
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. |
Methods inherited from class org.processmining.plugins.pnml.PnmlAnnotation |
---|
convertFromNet, convertToNet, convertToNet |
Methods inherited from class org.processmining.plugins.pnml.PnmlElement |
---|
exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final java.lang.String TAG
Constructor Detail |
---|
public PnmlInitialMarking()
Method Detail |
---|
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)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |