SEdit.Formalisms.Petri
Class PetriTransition
java.lang.Object
SEdit.SElement
SEdit.SNode
SEdit.SimpleNode
SEdit.Formalisms.Petri.PetriTransition
- All Implemented Interfaces:
- PetriTransitionBehavior
- public class PetriTransition
- extends SimpleNode
- implements PetriTransitionBehavior
Methods inherited from class SEdit.SimpleNode |
addInArrow, addOutArrow, delete, deleteInArrow, deleteOutArrow, getInArrows, getInArrows, getOutArrows, getOutArrows, isConnectable, toString |
Methods inherited from class SEdit.SElement |
dump, getComment, getDescriptor, getGObject, getID, getLabel, getStructure, init, inspect, setComment, setDescriptor, setGObject, setID, setLabel, setStructure |
PetriTransition
public PetriTransition()
getPredicate
public Object getPredicate()
getAction
public Object getAction()
setActionString
public void setActionString(String s)
getActionString
public String getActionString()
setPredicateString
public void setPredicateString(String s)
getPredicateString
public String getPredicateString()
wakeUp
public void wakeUp()
- Specified by:
wakeUp
in interface PetriTransitionBehavior
goToSleep
public void goToSleep()
- Specified by:
goToSleep
in interface PetriTransitionBehavior
validate
public void validate()
- Specified by:
validate
in interface PetriTransitionBehavior
modifyPredicate
public void modifyPredicate()
modifyAction
public void modifyAction()
Copyright © J. Ferber, O. Gutknecht All Rights Reserved.