Examples of ClosureReverseAbstractInterpreter

com.google.javascript.jscomp.type.ClosureReverseAbstractInterpreter
A reverse abstract interpreter (RAI) for specific closure patterns such as {@code goog.isDef}.

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

    if (abstractInterpreter == null) {
      ChainableReverseAbstractInterpreter interpreter =
          new SemanticReverseAbstractInterpreter(
              getCodingConvention(), getTypeRegistry());
      if (options.closurePass) {
        interpreter = new ClosureReverseAbstractInterpreter(
            getCodingConvention(), getTypeRegistry())
            .append(interpreter).getFirst();
      }
      abstractInterpreter = interpreter;
    }

View Full Code Here

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

    new ProcessClosurePrimitives(compiler, null, CheckLevel.ERROR, false)
        .process(null, n);


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

View Full Code Here

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

    assertEquals(Token.CALL, call.getType());
    assertEquals(Token.NAME, name.getType());


    GoogleCodingConvention convention = new GoogleCodingConvention();
    flowScope.inferSlotType("a", type);
    ClosureReverseAbstractInterpreter rai =
        new ClosureReverseAbstractInterpreter(convention, registry);


    // trueScope
    Asserts.assertTypeEquals(
        trueType,
        rai.getPreciserScopeKnowingConditionOutcome(call, flowScope, true)
        .getSlot("a").getType());


    // falseScope
    Asserts.assertTypeEquals(
        falseType,
        rai.getPreciserScopeKnowingConditionOutcome(call, flowScope, false)
        .getSlot("a").getType());
  }

View Full Code Here

TOP

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.