org.processmining.plugins.tsml

Class TsmlState

java.lang.Object

org.processmining.plugins.tsml.TsmlElement

org.processmining.plugins.tsml.TsmlBasicObject

org.processmining.plugins.tsml.TsmlNode

org.processmining.plugins.tsml.TsmlState

public class TsmlState
extends TsmlNode

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	TAG

Fields inherited from class org.processmining.plugins.tsml.TsmlNode

graphics, id

Fields inherited from class org.processmining.plugins.tsml.TsmlBasicObject

name, toolSpecificList

Fields inherited from class org.processmining.plugins.tsml.TsmlElement

lineNumber, tag

Constructor Summary

Constructors

Constructor and Description
TsmlState() Creates a fresh PNML place.

Method Summary

Methods

Modifier and Type	Method and Description
protected java.lang.String	exportAttributes(Tsml tsml) Exports the dimension.
protected void	importAttributes(org.xmlpull.v1.XmlPullParser xpp, Tsml tsml) Imports the known attributes.
TsmlState	marshall(State state, StartStateSet starts, AcceptStateSet accepts, org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights, java.lang.String id, org.processmining.models.connections.GraphLayoutConnection layout)
void	unmarshall(TransitionSystem ts, StartStateSet starts, AcceptStateSet accepts, org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights, java.util.Map<java.lang.String,State> idStateMap) Converts this state to a TS state.

Methods inherited from class org.processmining.plugins.tsml.TsmlNode

checkValidity, exportElements, getGraphics, importElements, marshall, unmarshall

Methods inherited from class org.processmining.plugins.tsml.TsmlBasicObject

getName, marshall, unmarshall, unmarshall

Methods inherited from class org.processmining.plugins.tsml.TsmlElement

exportAttribute, exportElement, 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

See Also:

Constant Field Values

Constructor Detail

TsmlState

public TsmlState()

Creates a fresh PNML place.

Method Detail

importAttributes

protected void importAttributes(org.xmlpull.v1.XmlPullParser xpp,
                    Tsml tsml)

Imports the known attributes.

Overrides:

importAttributes in class TsmlNode

exportAttributes

protected java.lang.String exportAttributes(Tsml tsml)

Exports the dimension.

Overrides:

exportAttributes in class TsmlNode

Returns:

unmarshall

public void unmarshall(TransitionSystem ts,
              StartStateSet starts,
              AcceptStateSet accepts,
              org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
              java.util.Map<java.lang.String,State> idStateMap)

Converts this state to a TS state.

Parameters:

ts - TS to add this state to.

map - States found so far.

marshall

public TsmlState marshall(State state,
                 StartStateSet starts,
                 AcceptStateSet accepts,
                 org.processmining.models.graphbased.directed.DirectedGraphElementWeights weights,
                 java.lang.String id,
                 org.processmining.models.connections.GraphLayoutConnection layout)