de.cau.cs.kieler.krep.compiler.ceq
Class Transition
java.lang.Object
de.cau.cs.kieler.krep.compiler.ceq.Transition
public class Transition
- extends Object
A transition in an Safe State Machine, consisting of a trigger and a target state.
- Rating

- (2010-02-05) review by cmot, msp, tam
Transition
public Transition(Expression triggerExpr,
String targetState)
- Parameters:
triggerExpr
- trigger of the expressiontargetState
- id of the target state
toString
public String toString()
- Overrides:
toString
in class Object
getTarget
public String getTarget()
- Returns:
- id of the target state
compile
public LinkedList<AbstractInstruction> compile(String ssm,
String source,
String suffix)
- Parameters:
ssm
- name of the ssm that contains the transitionssource
- source statesuffix
- additional suffix to allow uniqe transition names
- Returns:
- klp instructions to implement the transitions
replace
public void replace(HashMap<String,Variable> equiv)
- Parameters:
equiv
- map of equivalent variables