import com.google.javascript.jscomp.DataFlowAnalysis.BranchedFlowState; //导入依赖的package包/类
private void inFunction(String js) {
  // Parse the body of the function.
  Node n = compiler.parseTestCode("function() {" + js + "}");
  assertEquals("parsing error: " +
      Joiner.on(", ").join(compiler.getErrors()),
      0, compiler.getErrorCount());
  n = n.getFirstChild();
  // Create the scope with the assumptions.
  Scope assumedScope =
      new SyntacticScopeCreator(compiler).createScope(n, null);
  for (Map.Entry<String,JSType> entry : assumptions.entrySet()) {
    assumedScope.declare(entry.getKey(), null, entry.getValue(), null);
  }
  // Create the control graph.
  ControlFlowAnalysis cfa = new ControlFlowAnalysis(compiler, false);
  cfa.process(null, n);
  ControlFlowGraph<Node> cfg = cfa.getCfg();
  // Create a simple reverse abstract interpreter.
  ReverseAbstractInterpreter rai = new SemanticReverseAbstractInterpreter(
          compiler.getCodingConvention(), registry);
  // Do the type inference by data-flow analysis.
  TypeInference dfa =
      new TypeInference(compiler, cfg, rai, assumedScope);
  dfa.analyze();
  // Get the scope of the implicit return.
  BranchedFlowState<FlowScope> rtnState =
      cfg.getImplicitReturn().getAnnotation();
  returnScope = rtnState.getIn();
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.BranchedFlowState; //导入依赖的package包/类
private void inFunction(String js) {
  // Parse the body of the function.
  Node n = compiler.parseTestCode("function() {" + js + "}");
  assertEquals("parsing error: " +
      Joiner.on(", ").join(compiler.getErrors()),
      0, compiler.getErrorCount());
  n = n.getFirstChild();
  // Create the scope with the assumptions.
  Scope assumedScope =
      new SyntacticScopeCreator(compiler).createScope(n, null);
  for (Map.Entry<String,JSType> entry : assumptions.entrySet()) {
    assumedScope.declare(entry.getKey(), null, entry.getValue(), null);
  }
  // Create the control graph.
  ControlFlowAnalysis cfa = new ControlFlowAnalysis(compiler, false);
  cfa.process(null, n);
  ControlFlowGraph<Node> cfg = cfa.getCfg();
  // Create a simple reverse abstract interpreter.
  ReverseAbstractInterpreter rai = new SemanticReverseAbstractInterpreter(
      compiler.getCodingConvention(), registry);
  // Do the type inference by data-flow analysis.
  TypeInference dfa = new TypeInference(compiler, cfg, rai, assumedScope,
      ASSERTION_FUNCTION_MAP);
  dfa.analyze();
  // Get the scope of the implicit return.
  BranchedFlowState<FlowScope> rtnState =
      cfg.getImplicitReturn().getAnnotation();
  returnScope = rtnState.getIn();
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.BranchedFlowState; //导入依赖的package包/类
private void inFunction(String js) {
  // Parse the body of the function.
  String thisBlock = assumedThisType == null
      ? ""
      : "/** @this {" + assumedThisType + "} */";
  Node root = compiler.parseTestCode(
      "(" + thisBlock + " function() {" + js + "});");
  assertEquals("parsing error: " +
      Joiner.on(", ").join(compiler.getErrors()),
      0, compiler.getErrorCount());

  Node n = root.getFirstChild().getFirstChild();
  // Create the scope with the assumptions.
  TypedScopeCreator scopeCreator = new TypedScopeCreator(compiler);
  Scope assumedScope = scopeCreator.createScope(
      n, scopeCreator.createScope(root, null));
  for (Map.Entry<String,JSType> entry : assumptions.entrySet()) {
    assumedScope.declare(entry.getKey(), null, entry.getValue(), null, false);
  }
  // Create the control graph.
  ControlFlowAnalysis cfa = new ControlFlowAnalysis(compiler, false, false);
  cfa.process(null, n);
  ControlFlowGraph<Node> cfg = cfa.getCfg();
  // Create a simple reverse abstract interpreter.
  ReverseAbstractInterpreter rai = compiler.getReverseAbstractInterpreter();
  // Do the type inference by data-flow analysis.
  TypeInference dfa = new TypeInference(compiler, cfg, rai, assumedScope,
      ASSERTION_FUNCTION_MAP);
  dfa.analyze();
  // Get the scope of the implicit return.
  BranchedFlowState<FlowScope> rtnState =
      cfg.getImplicitReturn().getAnnotation();
  returnScope = rtnState.getIn();
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.BranchedFlowState; //导入依赖的package包/类
private void inFunction(String js) {
  // Parse the body of the function.
  String thisBlock = assumedThisType == null
      ? ""
      : "/** @this {" + assumedThisType + "} */";
  Node root = compiler.parseTestCode(
      "(" + thisBlock + " function() {" + js + "});");
  assertEquals("parsing error: " +
      Joiner.on(", ").join(compiler.getErrors()),
      0, compiler.getErrorCount());

  Node n = root.getFirstFirstChild();
  // Create the scope with the assumptions.
  TypedScopeCreator scopeCreator = new TypedScopeCreator(compiler);
  TypedScope assumedScope = scopeCreator.createScope(
      n, scopeCreator.createScope(root, null));
  for (Map.Entry<String,JSType> entry : assumptions.entrySet()) {
    assumedScope.declare(entry.getKey(), null, entry.getValue(), null, false);
  }
  // Create the control graph.
  ControlFlowAnalysis cfa = new ControlFlowAnalysis(compiler, false, false);
  cfa.process(null, n);
  ControlFlowGraph<Node> cfg = cfa.getCfg();
  // Create a simple reverse abstract interpreter.
  ReverseAbstractInterpreter rai = compiler.getReverseAbstractInterpreter();
  // Do the type inference by data-flow analysis.
  TypeInference dfa = new TypeInference(compiler, cfg, rai, assumedScope,
      ASSERTION_FUNCTION_MAP);
  dfa.analyze();
  // Get the scope of the implicit return.
  BranchedFlowState<FlowScope> rtnState =
      cfg.getImplicitReturn().getAnnotation();
  returnScope = rtnState.getIn();
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.BranchedFlowState; //导入依赖的package包/类
static void verifyBranchedInHas(GraphNode<Instruction, Branch> node,
    Variable var, Integer constant) {
  BranchedFlowState<ConstPropLatticeElement> fState = node.getAnnotation();
  assertEquals(constant, fState.getIn().constMap.get(var));
}
 

import com.google.javascript.jscomp.DataFlowAnalysis.BranchedFlowState; //导入依赖的package包/类
static void verifyBranchedInHas(GraphNode<Instruction, Branch> node,
    Variable var, Integer constant) {
  BranchedFlowState<ConstPropLatticeElement> fState = node.getAnnotation();
  veritfyLatticeElementHas(fState.getIn(), var, constant);
}