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

Package com.google.javascript.jscomp.type

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

com.google.javascript.jscomp.type.SemanticReverseAbstractInterpreter
A reverse abstract interpreter using the semantics of the JavaScript language as a means to reverse interpret computations. This interpreter expects the parse tree inputs to be typed.


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

    return new CompilerPass() {


      @Override
      public void process(Node externs, Node root) {
        new TypeCheck(compiler,
            new SemanticReverseAbstractInterpreter(
                compiler.getCodingConvention(),
                compiler.getTypeRegistry()),
            compiler.getTypeRegistry(),
            CheckLevel.ERROR).processForTesting(externs, root);

View Full Code Here


  @Override
  public ReverseAbstractInterpreter getReverseAbstractInterpreter() {
    if (abstractInterpreter == null) {
      ChainableReverseAbstractInterpreter interpreter =
          new SemanticReverseAbstractInterpreter(
              getCodingConvention(), getTypeRegistry());
      if (options.closurePass) {
        interpreter = new ClosureReverseAbstractInterpreter(
            getCodingConvention(), getTypeRegistry())
            .append(interpreter).getFirst();

View Full Code Here

    Node externAndJsRoot = new Node(Token.BLOCK, externs, second);
    externAndJsRoot.setIsSyntheticBlock(true);


    new TypeCheck(
        compiler,
        new SemanticReverseAbstractInterpreter(
            compiler.getCodingConvention(), registry),
        registry, topScope, scopeCreator, CheckLevel.WARNING)
        .process(null, second);


    assertEquals(1, compiler.getWarningCount());

View Full Code Here


    CodingConvention convention = compiler.getCodingConvention();
    new TypeCheck(compiler,
        new ClosureReverseAbstractInterpreter(
            convention, registry).append(
                new SemanticReverseAbstractInterpreter(
                    convention, registry))
            .getFirst(),
        registry)
        .processForTesting(null, n);

View Full Code Here

  }


  private TypeCheck makeTypeCheck() {
    return new TypeCheck(
        compiler,
        new SemanticReverseAbstractInterpreter(
            compiler.getCodingConvention(), registry),
        registry,
        reportMissingOverrides);
  }

View Full Code Here


  @Override
  protected void setUp() {
    super.setUp();


    interpreter = new SemanticReverseAbstractInterpreter(
        codingConvention, registry);
  }

View Full Code Here

TOP

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

com.google.javascript.jscomp.Compiler

com.google.javascript.jscomp.CompilerTestCase

com.google.javascript.jscomp.RemoveUnusedNamesTest

com.google.javascript.jscomp.SemanticReverseAbstractInterpreterTest

com.google.javascript.jscomp.TypeCheckTest

com.google.javascript.rhino.jstype.FunctionType

com.google.javascript.rhino.jstype.JSType

com.google.javascript.rhino.jstype.JSType.TypePair

com.google.javascript.rhino.jstype.ObjectType

com.google.javascript.rhino.Node

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.