public class CosaScript extends CosaElement
Constructor and Description |
---|
CosaScript() |
Modifier and Type | Method and Description |
---|---|
void |
convertToNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet subnet,
org.processmining.models.semantics.petrinet.Marking marking) |
void |
convertToNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet subnet,
org.processmining.models.graphbased.directed.petrinet.elements.Place startPlace,
org.processmining.models.graphbased.directed.petrinet.elements.Place endPlace) |
java.lang.String |
getName() |
void |
parse(CosaStream input,
CosaScript parent,
java.lang.String path) |
parse
public void parse(CosaStream input, CosaScript parent, java.lang.String path) throws java.io.IOException
java.io.IOException
public java.lang.String getName()
public void convertToNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet subnet, org.processmining.models.semantics.petrinet.Marking marking)
public void convertToNet(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet subnet, org.processmining.models.graphbased.directed.petrinet.elements.Place startPlace, org.processmining.models.graphbased.directed.petrinet.elements.Place endPlace)