42   phase: string;  property
391   recordOrigins(phase: GraphPhase) {
392     if (phase.type != "graph") return;
393     for (const node of phase.data.nodes) {
394       phase.highestNodeId = Math.max(phase.highestNodeId, node.id);
572     for (const [, phase] of Object.entries<Phase>(phases)) {  constant
573       switch (phase.type) {
575           this.disassemblyPhase = phase;
576           if (phase['blockIdToOffset']) {
577             for (const [blockId, pc] of Object.entries<number>(phase['blockIdToOffset'])) {
587           this.phaseNames.set(phase.name, this.phases.length);
588           this.phases.push(this.parseSchedule(phase));
591           this.phaseNames.set(phase.name, this.phases.length);
592           this.phases.push(this.parseSequence(phase));
595           if (phase.nodeIdToInstructionRange) {
596             this.readNodeIdToInstructionRange(phase.nodeIdToInstructionRange);
598           if (phase.blockIdToInstructionRange) {
599             this.readBlockIdToInstructionRange(phase.blockIdToInstructionRange);
601           if (phase.instructionOffsetToPCOffset) {
602             this.readInstructionOffsetToPCOffset(phase.instructionOffsetToPCOffset);
604           if (phase.codeOffsetsInfo) {
605             this.codeOffsetsInfo = phase.codeOffsetsInfo;
609           const graphPhase: GraphPhase = Object.assign(phase, { highestNodeId: 0 });
622   internNodeLabels(phase: GraphPhase, nodeLabelMap: Array<NodeLabel>) {
623     for (const n of phase.data.nodes) {
630           label.setInplaceUpdatePhase(phase.name);
676   parseSchedule(phase) {
741     const lines = phase.data.split(/[\n]/);
757     phase.schedule = state;  property in SourceResolver
758     return phase;  property in SourceResolver
761   parseSequence(phase) {
762     phase.sequence = { blocks: phase.blocks,
763 … register_allocation: phase.register_allocation ? new RegisterAllocation(phase.register_allocation)
765     return phase;