|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.simulator.XCTraceTree
public class XCTraceTree
XCTraceTree is the trace tree for the simulator.
Constructor Summary | |
---|---|
XCTraceTree(MvSetModelChecker modelChecker)
Builds a trace tree using a modelchecker initialized with a model. |
Method Summary | |
---|---|
void |
addChild(XCTraceState parent,
XCTraceState child)
Adds a new child to the specified parent in the tree. |
boolean |
addPath(javax.swing.tree.TreePath path)
Adds a node specified by the path to the tree. |
void |
addTreeModelListener(javax.swing.event.TreeModelListener l)
Adds a listener for the TreeModelEvent posted after the tree changes. |
void |
expand(XCTraceState state,
CTLNode condition)
Given some initial state will add the successor states (as one multistate) satisfying the condition. |
void |
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. |
protected void |
fireTreeNodesChanged(javax.swing.event.TreeModelEvent e)
Invoked after a node (or a set of siblings) has changed in some way. |
protected void |
fireTreeNodesInserted(javax.swing.event.TreeModelEvent e)
Invoked after nodes have been inserted into the tree. |
protected void |
fireTreeNodesRemoved(javax.swing.event.TreeModelEvent e)
Invoked after nodes have been removed from the tree. |
protected void |
fireTreeStructureChanged(javax.swing.event.TreeModelEvent e)
Invoked after the tree has drastically changed structure from a given node down. |
IAlgebra |
getAlgebra()
Gets the algebra used by states in the trace. |
java.lang.Object |
getChild(java.lang.Object parent,
int index)
Returns the child of parent at index index in the parent's child array. |
int |
getChildCount(java.lang.Object parent)
Returns the number of children of parent. |
int |
getIndexOfChild(java.lang.Object parent,
java.lang.Object child)
Returns the index of child in parent. |
XCTraceState |
getLastAdded()
Returns the last node added to the tree. |
javax.swing.tree.TreePath |
getPath(XCTraceState s)
Returns the path from the root of the trace to the specified state. |
java.lang.Object |
getRoot()
Returns the root of the tree. |
boolean |
isLeaf(java.lang.Object node)
Returns true if node is a leaf. |
XCTraceState |
remove(XCTraceState s)
Removes the trace tree rooted at the state s (state s included except when s is the root). |
void |
removeTreeModelListener(javax.swing.event.TreeModelListener l)
Removes a listener previously added with addTreeModelListener. |
XCTraceState |
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). |
CTLNode[] |
stateToArray(XCStateInfo info)
Eventually this will allow to merge siblings into one multi-state. |
void |
valueForPathChanged(javax.swing.tree.TreePath path,
java.lang.Object newValue)
Messaged when the user has altered the value for the item identified by path to newValue. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public XCTraceTree(MvSetModelChecker modelChecker)
Method Detail |
---|
public void addTreeModelListener(javax.swing.event.TreeModelListener l)
addTreeModelListener
in interface javax.swing.tree.TreeModel
public java.lang.Object getChild(java.lang.Object parent, int index)
getChild
in interface javax.swing.tree.TreeModel
public int getChildCount(java.lang.Object parent)
getChildCount
in interface javax.swing.tree.TreeModel
public int getIndexOfChild(java.lang.Object parent, java.lang.Object child)
getIndexOfChild
in interface javax.swing.tree.TreeModel
public java.lang.Object getRoot()
getRoot
in interface javax.swing.tree.TreeModel
public boolean isLeaf(java.lang.Object node)
isLeaf
in interface javax.swing.tree.TreeModel
public void removeTreeModelListener(javax.swing.event.TreeModelListener l)
removeTreeModelListener
in interface javax.swing.tree.TreeModel
public void valueForPathChanged(javax.swing.tree.TreePath path, java.lang.Object newValue)
valueForPathChanged
in interface javax.swing.tree.TreeModel
public IAlgebra getAlgebra()
public void addChild(XCTraceState parent, XCTraceState child)
parent
- - parent nodechild
- - child node to be addedpublic boolean addPath(javax.swing.tree.TreePath path)
public XCTraceState remove(XCTraceState s)
s
- - node to be removed.
public javax.swing.tree.TreePath getPath(XCTraceState s)
s
- - state to get the path of.
protected void fireTreeNodesChanged(javax.swing.event.TreeModelEvent e)
protected void fireTreeNodesInserted(javax.swing.event.TreeModelEvent e)
protected void fireTreeNodesRemoved(javax.swing.event.TreeModelEvent e)
protected void fireTreeStructureChanged(javax.swing.event.TreeModelEvent e)
public void expand(XCTraceState state, CTLNode condition)
public void expandOne(XCTraceState state, CTLNode condition)
public XCTraceState split(XCTraceState state, CTLNode condition)
public CTLNode[] stateToArray(XCStateInfo info)
public XCTraceState getLastAdded()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |