Examples of com.google.javascript.jscomp.type.ReverseAbstractInterpreter

Package com.google.javascript.jscomp.type

Examples of com.google.javascript.jscomp.type.ReverseAbstractInterpreter

com.google.javascript.jscomp.type.ReverseAbstractInterpreter
This interface defines what reversed abstract interpreters provide.
Abstract interpretation is the process of interpreting a program at an abstracted level (such as at the type level) instead of the concrete level (the flow of values). This reversed abstract interpreter reverses the abstract interpretation process by knowing the outcome of some computation and calculating a preciser view of the world than the view without knowing the outcome of the computation.

    // 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.

View Full Code Here

  }


  /** Returns a newly created TypeCheck. */
  private static TypeCheck createTypeCheck(Compiler compiler,
      CheckLevel level) {
    ReverseAbstractInterpreter rai =
        new SemanticReverseAbstractInterpreter(compiler.getCodingConvention(),
            compiler.getTypeRegistry());


    return new TypeCheck(compiler, rai, compiler.getTypeRegistry(), level);
  }

View Full Code Here

TOP

Related Classes of com.google.javascript.jscomp.type.ReverseAbstractInterpreter

com.google.javascript.jscomp.CompilerTestCase

com.google.javascript.jscomp.TypeInferenceTest

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.