|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdk.brics.bisim.model.SimulatorModel
public class SimulatorModel
A data model for the CCS Simulator.
Field Summary | |
---|---|
private java.util.HashMap<java.lang.String,java.lang.String> |
allActions
|
private DotModel |
dotModel
|
private static java.lang.String |
EMP_COLOR
|
private att.grappa.Edge |
emphasizedEdge
|
private java.util.HashMap<java.lang.String,java.lang.String> |
inputActions
Input actions are mapped by (unique) name to label. |
private LTSModel |
ltsModel
|
private java.util.HashMap<java.lang.String,java.lang.String> |
outputActions
Output actions are mapped by (unique) name to label. |
private java.util.ArrayList<java.lang.String> |
tauActions
Tau actions are saved by name (label is always 'tau'). |
Constructor Summary | |
---|---|
SimulatorModel(DotModel dotModel)
|
Method Summary | |
---|---|
boolean |
createLTS(java.lang.String fileName,
java.lang.String filePath,
java.lang.String dotPath)
|
void |
deemphasizeEdge(java.lang.String nodeName,
java.lang.String edgeLabel)
De-emphasize an edge when mouse exits an action name. |
void |
emphasizeEdge(java.lang.String edgeName,
java.lang.String edgeLabel)
Emphasize an edge when mouse hovers over an action name. |
java.util.HashMap<java.lang.String,java.lang.String> |
getInputActions()
|
LTSModel |
getLTSModel()
|
java.util.HashMap<java.lang.String,java.lang.String> |
getOutputActions()
|
boolean |
hasTau()
|
void |
reset()
Reset the simulator model and its underlying LTS model. |
private void |
setActions()
|
private java.lang.String |
stepRandom(java.util.HashMap<java.lang.String,java.lang.String> actions)
Performs a randomstep from the actions available in the map. |
java.lang.String |
stepRandomAll()
Choose a random (available) action. |
java.lang.String |
stepRandomInput()
Choose a random (available) input action. |
java.lang.String |
stepRandomOutput()
Choose a random (available) output action. |
void |
stepRandomTau()
Choose a random (available) tau action. |
void |
stepTo(java.lang.String edgeName,
java.lang.String edgeLabel)
Step in the LTS model. |
void |
stepToNode(java.lang.String nodeName,
java.lang.String edgeLabel)
Step in the LTS model. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private LTSModel ltsModel
private att.grappa.Edge emphasizedEdge
private static final java.lang.String EMP_COLOR
private java.util.HashMap<java.lang.String,java.lang.String> inputActions
private java.util.HashMap<java.lang.String,java.lang.String> outputActions
private java.util.HashMap<java.lang.String,java.lang.String> allActions
private java.util.ArrayList<java.lang.String> tauActions
private DotModel dotModel
Constructor Detail |
---|
public SimulatorModel(DotModel dotModel)
Method Detail |
---|
public LTSModel getLTSModel()
private void setActions()
public java.util.HashMap<java.lang.String,java.lang.String> getOutputActions()
public java.util.HashMap<java.lang.String,java.lang.String> getInputActions()
public boolean hasTau()
private java.lang.String stepRandom(java.util.HashMap<java.lang.String,java.lang.String> actions)
actions
- A HashMap of actions
public java.lang.String stepRandomAll()
public java.lang.String stepRandomInput()
public java.lang.String stepRandomOutput()
public void stepRandomTau()
public boolean createLTS(java.lang.String fileName, java.lang.String filePath, java.lang.String dotPath)
public void reset()
public void stepTo(java.lang.String edgeName, java.lang.String edgeLabel)
edgeName
- edgeLabel
- public void stepToNode(java.lang.String nodeName, java.lang.String edgeLabel)
nodeName
- edgeLabel
- public void emphasizeEdge(java.lang.String edgeName, java.lang.String edgeLabel)
edgeName
- Name of the edgeedgeLabel
- Label of the edgepublic void deemphasizeEdge(java.lang.String nodeName, java.lang.String edgeLabel)
nodeName
- Name of the to-nodeedgeLabel
- Label of the edge
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |