|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.krep.compiler.ceq.State
public class State
A state in a Safe State Machine, consisting of a name, a flag whether this is an initial state, and outgoing transitions. Transitions are either weak or strong aborts, normal termination is not supported.
Constructor Summary | |
---|---|
State(String n,
boolean initial)
|
Method Summary | |
---|---|
void |
add(Automaton ssm)
|
void |
add(Equation eq)
|
void |
add(LinkedList<Variable> vars)
|
void |
addEq(LinkedList<Equation> eq)
|
void |
addSAbort(Transition t)
Add outgoing strong abort. |
void |
addWAbort(Transition t)
Add outgoing weak abort. |
LinkedList<AbstractInstruction> |
compileBody()
|
LinkedList<AbstractInstruction> |
compileCtrl(String ssm,
HashMap<String,State> states,
int prioOffset)
|
LinkedList<AbstractInstruction> |
compileInit(boolean setInputs,
boolean setOutputs,
int prioOffset)
|
DepGraph |
getDepGraph()
|
LinkedList<Variable> |
getInputs()
|
int |
getMaxPrio()
|
String |
getName()
|
LinkedList<Variable> |
getOutputs()
|
boolean |
isInitial()
|
void |
propagateConst()
propagate constant values . |
void |
replace(HashMap<String,Variable> equiv)
|
void |
setIO()
|
void |
simplify()
simplify contained equations. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public State(String n, boolean initial)
n
- unique name of the stateinitial
- true if this is an initial stateMethod Detail |
---|
public void addSAbort(Transition t)
t
- new transitionspublic void addWAbort(Transition t)
t
- new transitionspublic String toString()
toString
in class Object
public void add(LinkedList<Variable> vars)
add
in interface Scope
vars
- local variablespublic void add(Automaton ssm)
add
in interface Scope
ssm
- additional automatonpublic void add(Equation eq)
add
in interface Scope
eq
- additional equation.public void addEq(LinkedList<Equation> eq)
addEq
in interface Scope
eq
- additional equations.public void propagateConst()
public void simplify()
public String getName()
public boolean isInitial()
public LinkedList<AbstractInstruction> compileBody()
public void setIO()
public LinkedList<AbstractInstruction> compileCtrl(String ssm, HashMap<String,State> states, int prioOffset)
ssm
- the name of the ssm that constains this statestates
- all states in the fsmprioOffset
- minimal priority to use
public LinkedList<AbstractInstruction> compileInit(boolean setInputs, boolean setOutputs, int prioOffset)
setInputs
- initialize inputs?setOutputs
- initialize outputs?prioOffset
- minimal priority to use
public int getMaxPrio()
public LinkedList<Variable> getInputs()
public LinkedList<Variable> getOutputs()
public DepGraph getDepGraph()
public void replace(HashMap<String,Variable> equiv)
equiv
- list of equivalent variables
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |