org.processmining.plugins.pnml.extensions
Class PnmlInitialMarking

java.lang.Object
  extended by org.processmining.plugins.pnml.PnmlElement
      extended by org.processmining.plugins.pnml.PnmlAnnotation
          extended by org.processmining.plugins.pnml.extensions.PnmlInitialMarking

public class PnmlInitialMarking
extends PnmlAnnotation

Extension PNML initial marking object.

Author:
hverbeek

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

TAG

public static final java.lang.String TAG
PNML initial marking tag.

See Also:
Constant Field Values
Constructor Detail

PnmlInitialMarking

public PnmlInitialMarking()
Creates a fresh initial marking object.

Method Detail

importElements

protected boolean importElements(org.xmlpull.v1.XmlPullParser xpp,
                                 Pnml pnml)
Checks whether the current start tag is known. If known, it imports the corresponding child element and returns true. Otherwise, it returns false.

Overrides:
importElements in class PnmlAnnotation
Returns:
Whether the start tag was known.

checkValidity

protected void checkValidity(Pnml pnml)
Description copied from class: PnmlElement
Default check for validity: No action. If some subclass needs to check validity, this method needs to be overruled by it.

Overrides:
checkValidity in class PnmlElement

exportElements

protected java.lang.String exportElements(Pnml pnml)
Exports the initial marking.

Overrides:
exportElements in class PnmlAnnotation
Returns:

getInitialMarking

public int getInitialMarking()
Gets the initial marking, returns 0 if not specified.

Returns:

convertFromNet

public PnmlInitialMarking convertFromNet(Marking marking,
                                         Place place)