39   phase: string;  property
69 interface Phase {  interface
85   phases: Array<Phase>;
87   disassemblyPhase: Phase;
106     // Maps phase ids to phases.
108     // Maps phase names to phaseIds.
110     // The disassembly phase is stored separately.
298   recordOrigins(phase) {
299     if (phase.type != "graph") return;
300     for (const node of phase.data.nodes) {
382     for (const [phaseId, phase] of Object.entries<Phase>(phases)) {  constant
383       if (phase.type == 'disassembly') {
384         this.disassemblyPhase = phase;
385       } else if (phase.type == 'schedule') {
386         this.phases.push(this.parseSchedule(phase))
387         this.phaseNames.set(phase.name, this.phases.length);
388       } else if (phase.type == 'instructions') {
389         if (phase.nodeIdToInstructionRange) {
390           this.readNodeIdToInstructionRange(phase.nodeIdToInstructionRange);
392         if (phase.blockIdtoInstructionRange) {
393           this.readBlockIdToInstructionRange(phase.blockIdtoInstructionRange);
395         if (phase.instructionOffsetToPCOffset) {
396           this.readInstructionOffsetToPCOffset(phase.instructionOffsetToPCOffset);
399         this.phases.push(phase);
400         this.recordOrigins(phase);
401         this.phaseNames.set(phase.name, this.phases.length);
444   parseSchedule(phase) {
509     const lines = phase.data.split(/[\n]/);
525     phase.schedule = state;  property in SourceResolver
526     return phase;  property in SourceResolver