public class PnmlInscription extends PnmlAnnotation
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TAG
PNML inscription tag.
|
graphics, text, toolSpecificList
factory, lineNumber, tag
Modifier | Constructor and Description |
---|---|
protected |
PnmlInscription()
Creates a fresh inscription.
|
Modifier and Type | Method and Description |
---|---|
protected void |
checkValidity(Pnml pnml)
Default check for validity: No action.
|
PnmlInscription |
convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> arc) |
void |
convertToNet(Arc arc)
Sets the weight of the given arc in the given net to this inscription.
|
protected java.lang.String |
exportElements(Pnml pnml)
Exports the inscription.
|
int |
getInscription()
Gets the inscription.
|
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 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 getInscription()
public void convertToNet(Arc arc)
arc
- The given arc.public PnmlInscription convertFromNet(PetrinetEdge<? extends PetrinetNode,? extends PetrinetNode> arc)