Lines Matching refs:phase

82     view.sourceResolver.forEachPhase(phase => {
85       if (phase.type == "graph" && phase.highestNodeId != 0) {
86         maxNodeId = ` ${phase.highestNodeId}`;
88       optionElement.text = `${phase.name}${maxNodeId}`;
109   displayPhase(phase, selection?: Map<string, GNode>) {
110     if (phase.type == "graph") {
111       this.displayPhaseView(this.graph, phase, selection);
112     } else if (phase.type == "schedule") {
113       this.displayPhaseView(this.schedule, phase, selection);
114     } else if (phase.type == "sequence") {
115       this.displayPhaseView(this.sequence, phase, selection);