public class PnmlMarkedPlace extends PnmlElement
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG |
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlMarkedPlace() |
Modifier and Type | Method and Description |
---|---|
PnmlMarkedPlace |
convertFromOpenNet(java.lang.String id,
int nofTokens) |
void |
convertToOpenNet(Marking marking,
java.util.Map<java.lang.String,Place> placeMap) |
protected java.lang.String |
exportAttributes(Pnml pnml)
Exports all standard attributes: None.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports all standard elements: None.
|
protected void |
importAttributes(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard attributes: None.
|
protected boolean |
importElements(org.xmlpull.v1.XmlPullParser xpp,
Pnml pnml)
Imports all standard child elements: None.
|
checkValidity, exportAttribute, exportElement, importElement, importText, setFactory
public static final java.lang.String TAG
protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
PnmlElement
importAttributes
in class PnmlElement
protected java.lang.String exportAttributes(Pnml pnml)
PnmlElement
exportAttributes
in class PnmlElement
protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp, Pnml pnml)
PnmlElement
importElements
in class PnmlElement
protected java.lang.String exportElements(Pnml pnml)
PnmlElement
exportElements
in class PnmlElement
public void convertToOpenNet(Marking marking, java.util.Map<java.lang.String,Place> placeMap)
public PnmlMarkedPlace convertFromOpenNet(java.lang.String id, int nofTokens)