de.cau.cs.kieler.krep.compiler.ceq
Class Transition

java.lang.Object
  extended by 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 yellow
(2010-02-05) review by cmot, msp, tam

Constructor Summary
Transition(Expression triggerExpr, String targetState)
           
 
Method Summary
 LinkedList<AbstractInstruction> compile(String ssm, String source, String suffix)
           
 String getTarget()
           
 void replace(HashMap<String,Variable> equiv)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Transition

public Transition(Expression triggerExpr,
                  String targetState)
Parameters:
triggerExpr - trigger of the expression
targetState - id of the target state
Method Detail

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 transitions
source - source state
suffix - 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