|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XCTraceState | |
---|---|
edu.toronto.cs.simulator | A model simulator for XChek (Victor). |
Uses of XCTraceState in edu.toronto.cs.simulator |
---|
Methods in edu.toronto.cs.simulator that return XCTraceState | |
---|---|
XCTraceState |
XCTraceState.getChild(int index)
Retrieves the next state by its index. |
XCTraceState[] |
XCTraceState.getChildren()
Gets all the next states that are available. |
XCTraceState |
XCTraceTree.getLastAdded()
Returns the last node added to the tree. |
XCTraceState |
XCTraceState.getParent()
Gets the previous state from the trace. |
XCTraceState |
TraceTreeBrowser.getSelectedState()
Gets the currently selected state. |
XCTraceState |
XCTraceState.remove()
Removes the node (with the entire sub-tree) from it's parent. |
XCTraceState |
XCTraceTree.remove(XCTraceState s)
Removes the trace tree rooted at the state s (state s included except when s is the root). |
XCTraceState |
XCTraceTree.split(XCTraceState state,
CTLNode condition)
Given a (multi-)state will attempt to split a single state off of it, modifying the tree accordingly (add 2 siblings in place of the old state). |
Methods in edu.toronto.cs.simulator with parameters of type XCTraceState | |
---|---|
void |
XCTraceState.addChild(XCTraceState child)
Adds another next state. |
void |
XCTraceTree.addChild(XCTraceState parent,
XCTraceState child)
Adds a new child to the specified parent in the tree. |
void |
XCTraceTree.expand(XCTraceState state,
CTLNode condition)
Given some initial state will add the successor states (as one multistate) satisfying the condition. |
void |
XCTraceTree.expandOne(XCTraceState state,
CTLNode condition)
Given some initial state will pick one of the successor states satisfying the condition and add it as a child. |
int |
XCTraceState.getChildIndex(XCTraceState state)
Retrieves the specified next state's index. |
javax.swing.tree.TreePath |
XCTraceTree.getPath(XCTraceState s)
Returns the path from the root of the trace to the specified state. |
void |
DummySimulator.makeStep(XCTraceState s)
Trivial condition. |
void |
FileSimulator.makeStep(XCTraceState s)
Returns the condition to execute the current step fromt he given state. |
void |
UserSimulator.makeStep(XCTraceState s)
Trivial implementation. |
abstract void |
XCSimulator.makeStep(XCTraceState s)
Returns the condition to execute the current step from the given state. |
XCTraceState |
XCTraceTree.remove(XCTraceState s)
Removes the trace tree rooted at the state s (state s included except when s is the root). |
void |
XCTraceState.setParent(XCTraceState newparent)
Allows to specify the previous state in the trace. |
void |
SimpleVariablePanel.show(XCTraceState s)
Displays the variables from the StateInfo. |
void |
StateInfoPanel.show(XCTraceState state)
Displays the information about the given state. |
abstract void |
VariablePanel.show(XCTraceState s)
Displays the variables from the StateInfo. |
XCTraceState |
XCTraceTree.split(XCTraceState state,
CTLNode condition)
Given a (multi-)state will attempt to split a single state off of it, modifying the tree accordingly (add 2 siblings in place of the old state). |
Constructors in edu.toronto.cs.simulator with parameters of type XCTraceState | |
---|---|
XCTraceState(XCTraceState par,
XCStateInfo si,
boolean ms)
Makes a trace tree node with the specified parent, children and state info. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |