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	RuleModel.getParentPhase()
PhaseModel	PRRoot.getPhase(SinglePhaseTransducer spt)
PhaseModel	PrModel.getPhase(SinglePhaseTransducer spt)
PhaseModel	PrModel.getPhase(String phaseName)

Methods in debugger.resources.pr with parameters of type PhaseModel

AnnotationSet

TraceContainer.getPhaseCut(PhaseModel pm)