|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use XCTraceTree | |
---|---|
edu.toronto.cs.simulator | A model simulator for XChek (Victor). |
Uses of XCTraceTree in edu.toronto.cs.simulator |
---|
Methods in edu.toronto.cs.simulator that return XCTraceTree | |
---|---|
XCTraceTree |
TraceTreeBrowser.getTreeModel()
Use this as opposed to simply doing it by hand to avoid forgetting something. |
Constructors in edu.toronto.cs.simulator with parameters of type XCTraceTree | |
---|---|
SimpleVariablePanel(XCTraceTree t)
|
|
StateInfoPanel(XCTraceTree t)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |