import com.google.javascript.jscomp.DataFlowAnalysis.MaxIterationsExceededException; //导入依赖的package包/类
public void testMaxIterationsExceededException() {
  final int MAX_STEP = 10;
  Variable a = new Variable("a");
  Instruction inst1 = new ArithmeticInstruction(a, a, Operation.ADD, a);
  ControlFlowGraph<Instruction> cfg =
    new ControlFlowGraph<Instruction>(inst1) {
    @Override
    public Comparator<DiGraphNode<Instruction, Branch>>
        getOptionalNodeComparator(boolean isForward) {
      return new Comparator<DiGraphNode<Instruction, Branch>>() {
        @Override
        public int compare(DiGraphNode<Instruction, Branch> o1,
            DiGraphNode<Instruction, Branch> o2) {
          return o1.getValue().order - o2.getValue().order;
        }
      };
    }
  };
  cfg.createNode(inst1);

  // We have MAX_STEP + 1 nodes, it is impossible to finish the analysis with
  // MAX_STEP number of steps.
  for (int i = 0; i < MAX_STEP + 1; i++) {
    Instruction inst2 = new ArithmeticInstruction(a, a, Operation.ADD, a);
    cfg.createNode(inst2);
    inst2.order = i + 1;
    cfg.connect(inst1, ControlFlowGraph.Branch.UNCOND, inst2);
    inst1 = inst2;
  }
  DummyConstPropagation constProp = new DummyConstPropagation(cfg);
  try {
    constProp.analyze(MAX_STEP);
    fail("Expected MaxIterationsExceededException to be thrown.");
  } catch (MaxIterationsExceededException e) {
    assertEquals(e.getMessage(), "Analysis did not terminate after "
        + MAX_STEP + " iterations");
  }
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.MaxIterationsExceededException; //导入依赖的package包/类
public void testMaxIterationsExceededException() {
  final int MAX_STEP = 10;
  Variable a = new Variable("a");
  Instruction inst1 = new ArithmeticInstruction(a, a, Operation.ADD, a);
  ControlFlowGraph<Instruction> cfg =
    new ControlFlowGraph<Instruction>(inst1, true, true) {
    @Override
    public Comparator<DiGraphNode<Instruction, Branch>>
        getOptionalNodeComparator(boolean isForward) {
      return new Comparator<DiGraphNode<Instruction, Branch>>() {
        @Override
        public int compare(DiGraphNode<Instruction, Branch> o1,
            DiGraphNode<Instruction, Branch> o2) {
          return o1.getValue().order - o2.getValue().order;
        }
      };
    }
  };
  cfg.createNode(inst1);

  // We have MAX_STEP + 1 nodes, it is impossible to finish the analysis with
  // MAX_STEP number of steps.
  for (int i = 0; i < MAX_STEP + 1; i++) {
    Instruction inst2 = new ArithmeticInstruction(a, a, Operation.ADD, a);
    cfg.createNode(inst2);
    inst2.order = i + 1;
    cfg.connect(inst1, ControlFlowGraph.Branch.UNCOND, inst2);
    inst1 = inst2;
  }
  DummyConstPropagation constProp = new DummyConstPropagation(cfg);
  try {
    constProp.analyze(MAX_STEP);
    fail("Expected MaxIterationsExceededException to be thrown.");
  } catch (MaxIterationsExceededException e) {
    assertEquals(e.getMessage(), "Analysis did not terminate after "
        + MAX_STEP + " iterations");
  }
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.MaxIterationsExceededException; //导入依赖的package包/类
public void testMaxIterationsExceededException() {
  Variable a = new Variable("a");
  Instruction inst1 = new ArithmeticInstruction(a, a, Operation.ADD, a);
  ControlFlowGraph<Instruction> cfg =
      new ControlFlowGraph<Instruction>(inst1, true, true) {
        @Override
        public Comparator<DiGraphNode<Instruction, Branch>> getOptionalNodeComparator(
            boolean isForward) {
          return comparingInt(arg -> arg.getValue().order);
        }
      };
  cfg.createNode(inst1);

  // We have MAX_STEP + 1 nodes, it is impossible to finish the analysis with
  // MAX_STEP number of steps.
  for (int i = 0; i < MAX_STEP + 1; i++) {
    Instruction inst2 = new ArithmeticInstruction(a, a, Operation.ADD, a);
    inst2.order = i + 1;
    cfg.createNode(inst2);
    cfg.connect(inst1, ControlFlowGraph.Branch.UNCOND, inst2);
    inst1 = inst2;
  }
  DummyConstPropagation constProp = new DummyConstPropagation(cfg);
  try {
    constProp.analyze(MAX_STEP);
    fail("Expected MaxIterationsExceededException to be thrown.");
  } catch (MaxIterationsExceededException e) {
    assertThat(e)
        .hasMessageThat()
        .isEqualTo("Analysis did not terminate after " + MAX_STEP + " iterations");
  }
}