Package org.processmining.plugins.pnml.elements.extensions

Class PnmlInitialMarking

java.lang.Object

org.processmining.plugins.pnml.base.PnmlElement

org.processmining.plugins.pnml.elements.PnmlAnnotation

org.processmining.plugins.pnml.elements.extensions.PnmlInitialMarking

public class PnmlInitialMarking
extends PnmlAnnotation

Extension PNML initial marking object.

Author:

hverbeek

Field Summary

Fields

Modifier and Type	Field	Description
static java.lang.String	TAG	PNML initial marking tag.

Fields inherited from class org.processmining.plugins.pnml.elements.PnmlAnnotation

graphics, text, toolSpecificList

Fields inherited from class org.processmining.plugins.pnml.base.PnmlElement

factory, lineNumber, tag

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PnmlInitialMarking()	Creates a fresh initial marking object.

Method Summary

Modifier and Type	Method	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.

Methods inherited from class org.processmining.plugins.pnml.elements.PnmlAnnotation

convertFromNet, convertToNet, convertToNet

Methods inherited from class org.processmining.plugins.pnml.base.PnmlElement

exportAttribute, exportAttributes, exportElement, importAttributes, importElement, importText, setFactory

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

protected 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)