|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PhaseModel | |
debugger.gui.debugging | |
debugger.resources.pr |
Uses of PhaseModel in debugger.gui.debugging |
Fields in debugger.gui.debugging declared as PhaseModel | |
private PhaseModel |
JapeDebuggingPanel.currentPhaseModel
|
private PhaseModel |
TraceHistoryPanel.currentPhaseModel
|
Methods in debugger.gui.debugging with parameters of type PhaseModel | |
void |
JapeDebuggingPanel.setCurrentPhase(PhaseModel phaseModel)
Updates panel after user has selected a phase in the ResourceTree. |
void |
TraceHistoryPanel.setCurrentPhase(PhaseModel phaseModel)
Updates panel after user has selected a phase in the ResourceTree. |
Uses of PhaseModel in debugger.resources.pr |
Methods in debugger.resources.pr that return PhaseModel | |
PhaseModel |
PRRoot.getPhase(SinglePhaseTransducer spt)
|
PhaseModel |
PrModel.getPhase(String phaseName)
|
PhaseModel |
PrModel.getPhase(SinglePhaseTransducer spt)
|
PhaseModel |
RuleModel.getParentPhase()
|
Methods in debugger.resources.pr with parameters of type PhaseModel | |
AnnotationSet |
TraceContainer.getPhaseCut(PhaseModel pm)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |