|
|||||||||||
| 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 | ||||||||||