Uses of Class
debugger.resources.pr.PhaseModel

Packages that use PhaseModel
debugger.gui.debugging   
debugger.resources.pr   
 

Uses of PhaseModel in debugger.gui.debugging
 

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)