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

The following examples show how to use com.google.javascript.jscomp.type.ReverseAbstractInterpreter. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example #1

Source File: Nopol2017_0029_t.java From coming with MIT License

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    MemoizedScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #2

Source File: Closure_11_TypeCheck_t.java From coming with MIT License

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    ScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #3

Source File: Closure_11_TypeCheck_s.java From coming with MIT License

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    ScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #4

Source File: Closure_2_TypeCheck_s.java From coming with MIT License

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    MemoizedScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #5

Source File: Closure_2_TypeCheck_t.java From coming with MIT License

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    MemoizedScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #6

Source File: TypeCheck.java From astor with GNU General Public License v2.0

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    MemoizedScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #7

Source File: Nopol2017_0029_s.java From coming with MIT License

6 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    MemoizedScopeCreator scopeCreator,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = reportUnknownTypes;
  this.inferJSDocInfo = new InferJSDocInfo(compiler);
}

Example #8

Source File: TypeInference.java From astor with GNU General Public License v2.0

5 votes

TypeInference(AbstractCompiler compiler, ControlFlowGraph<Node> cfg,
              ReverseAbstractInterpreter reverseInterpreter,
              Scope functionScope,
              Map<String, AssertionFunctionSpec> assertionFunctionsMap) {
  super(cfg, new LinkedFlowScope.FlowScopeJoinOp());
  this.compiler = compiler;
  this.registry = compiler.getTypeRegistry();
  this.reverseInterpreter = reverseInterpreter;
  this.unknownType = registry.getNativeObjectType(UNKNOWN_TYPE);

  this.syntacticScope = functionScope;
  inferArguments(functionScope);

  this.functionScope = LinkedFlowScope.createEntryLattice(functionScope);
  this.assertionFunctionsMap = assertionFunctionsMap;

  // For each local variable declared with the VAR keyword, the entry
  // type is VOID.
  Iterator<Var> varIt =
      functionScope.getDeclarativelyUnboundVarsWithoutTypes();
  while (varIt.hasNext()) {
    Var var = varIt.next();
    if (isUnflowable(var)) {
      continue;
    }

    this.functionScope.inferSlotType(
        var.getName(), getNativeType(VOID_TYPE));
  }

  this.bottomScope = LinkedFlowScope.createEntryLattice(
      Scope.createLatticeBottom(functionScope.getRootNode()));
}

Example #9

Source File: TypeInferencePass.java From astor with GNU General Public License v2.0

5 votes

TypeInferencePass(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    Scope topScope, MemoizedScopeCreator scopeCreator) {
  this.compiler = compiler;
  this.reverseInterpreter = reverseInterpreter;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;

  assertionFunctionsMap = Maps.newHashMap();
  for (AssertionFunctionSpec assertionFucntion :
      compiler.getCodingConvention().getAssertionFunctions()) {
    assertionFunctionsMap.put(assertionFucntion.getFunctionName(),
        assertionFucntion);
  }
}

Example #10

Source File: Compiler.java From astor with GNU General Public License v2.0

5 votes

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

Example #11

Source File: TypeCheck.java From astor with GNU General Public License v2.0

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #12

Source File: CompilerTestCase.java From astor with GNU General Public License v2.0

5 votes

/** 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, CheckLevel.OFF);
}

Example #13

Source File: Closure_2_TypeCheck_t.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #14

Source File: TypeInferenceTest.java From astor with GNU General Public License v2.0

5 votes

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();
}

Example #15

Source File: Closure_2_TypeCheck_s.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #16

Source File: Closure_112_TypeInference_s.java From coming with MIT License

5 votes

TypeInference(AbstractCompiler compiler, ControlFlowGraph<Node> cfg,
              ReverseAbstractInterpreter reverseInterpreter,
              Scope functionScope,
              Map<String, AssertionFunctionSpec> assertionFunctionsMap) {
  super(cfg, new LinkedFlowScope.FlowScopeJoinOp());
  this.compiler = compiler;
  this.registry = compiler.getTypeRegistry();
  this.reverseInterpreter = reverseInterpreter;
  this.unknownType = registry.getNativeObjectType(UNKNOWN_TYPE);

  this.syntacticScope = functionScope;
  inferArguments(functionScope);

  this.functionScope = LinkedFlowScope.createEntryLattice(functionScope);
  this.assertionFunctionsMap = assertionFunctionsMap;

  // For each local variable declared with the VAR keyword, the entry
  // type is VOID.
  Iterator<Var> varIt =
      functionScope.getDeclarativelyUnboundVarsWithoutTypes();
  while (varIt.hasNext()) {
    Var var = varIt.next();
    if (isUnflowable(var)) {
      continue;
    }

    this.functionScope.inferSlotType(
        var.getName(), getNativeType(VOID_TYPE));
  }

  this.bottomScope = LinkedFlowScope.createEntryLattice(
      Scope.createLatticeBottom(functionScope.getRootNode()));
}

Example #17

Source File: CompilerTestCase.java From ng-closure-runner with MIT License

5 votes

/** 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);
}

Example #18

Source File: Closure_112_TypeInference_t.java From coming with MIT License

5 votes

TypeInference(AbstractCompiler compiler, ControlFlowGraph<Node> cfg,
              ReverseAbstractInterpreter reverseInterpreter,
              Scope functionScope,
              Map<String, AssertionFunctionSpec> assertionFunctionsMap) {
  super(cfg, new LinkedFlowScope.FlowScopeJoinOp());
  this.compiler = compiler;
  this.registry = compiler.getTypeRegistry();
  this.reverseInterpreter = reverseInterpreter;
  this.unknownType = registry.getNativeObjectType(UNKNOWN_TYPE);

  this.syntacticScope = functionScope;
  inferArguments(functionScope);

  this.functionScope = LinkedFlowScope.createEntryLattice(functionScope);
  this.assertionFunctionsMap = assertionFunctionsMap;

  // For each local variable declared with the VAR keyword, the entry
  // type is VOID.
  Iterator<Var> varIt =
      functionScope.getDeclarativelyUnboundVarsWithoutTypes();
  while (varIt.hasNext()) {
    Var var = varIt.next();
    if (isUnflowable(var)) {
      continue;
    }

    this.functionScope.inferSlotType(
        var.getName(), getNativeType(VOID_TYPE));
  }

  this.bottomScope = LinkedFlowScope.createEntryLattice(
      Scope.createLatticeBottom(functionScope.getRootNode()));
}

Example #19

Source File: Closure_25_TypeInference_t.java From coming with MIT License

5 votes

TypeInference(AbstractCompiler compiler, ControlFlowGraph<Node> cfg,
              ReverseAbstractInterpreter reverseInterpreter,
              Scope functionScope,
              Map<String, AssertionFunctionSpec> assertionFunctionsMap) {
  super(cfg, new LinkedFlowScope.FlowScopeJoinOp());
  this.compiler = compiler;
  this.registry = compiler.getTypeRegistry();
  this.reverseInterpreter = reverseInterpreter;
  this.syntacticScope = functionScope;
  this.functionScope = LinkedFlowScope.createEntryLattice(functionScope);
  this.assertionFunctionsMap = assertionFunctionsMap;

  // For each local variable declared with the VAR keyword, the entry
  // type is VOID.
  Iterator<Var> varIt =
      functionScope.getDeclarativelyUnboundVarsWithoutTypes();
  while (varIt.hasNext()) {
    Var var = varIt.next();
    if (isUnflowable(var)) {
      continue;
    }

    this.functionScope.inferSlotType(
        var.getName(), getNativeType(VOID_TYPE));
  }

  this.bottomScope = LinkedFlowScope.createEntryLattice(
      new Scope(functionScope.getRootNode(), functionScope.getTypeOfThis()));
}

Example #20

Source File: Nopol2017_0029_t.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #21

Source File: Closure_25_TypeInference_s.java From coming with MIT License

5 votes

TypeInference(AbstractCompiler compiler, ControlFlowGraph<Node> cfg,
              ReverseAbstractInterpreter reverseInterpreter,
              Scope functionScope,
              Map<String, AssertionFunctionSpec> assertionFunctionsMap) {
  super(cfg, new LinkedFlowScope.FlowScopeJoinOp());
  this.compiler = compiler;
  this.registry = compiler.getTypeRegistry();
  this.reverseInterpreter = reverseInterpreter;
  this.syntacticScope = functionScope;
  this.functionScope = LinkedFlowScope.createEntryLattice(functionScope);
  this.assertionFunctionsMap = assertionFunctionsMap;

  // For each local variable declared with the VAR keyword, the entry
  // type is VOID.
  Iterator<Var> varIt =
      functionScope.getDeclarativelyUnboundVarsWithoutTypes();
  while (varIt.hasNext()) {
    Var var = varIt.next();
    if (isUnflowable(var)) {
      continue;
    }

    this.functionScope.inferSlotType(
        var.getName(), getNativeType(VOID_TYPE));
  }

  this.bottomScope = LinkedFlowScope.createEntryLattice(
      new Scope(functionScope.getRootNode(), functionScope.getTypeOfThis()));
}

Example #22

Source File: Closure_11_TypeCheck_t.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #23

Source File: Closure_11_TypeCheck_s.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #24

Source File: Closure_31_Compiler_t.java From coming with MIT License

5 votes

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

Example #25

Source File: Closure_31_Compiler_s.java From coming with MIT License

5 votes

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

Example #26

Source File: Nopol2017_0029_s.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride,
    CheckLevel reportUnknownTypes) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride, reportUnknownTypes);
}

Example #27

Source File: Closure_125_TypeCheck_s.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    CheckLevel reportMissingOverride) {
  this(compiler, reverseInterpreter, typeRegistry, null, null,
      reportMissingOverride);
}

Example #28

Source File: Closure_125_TypeCheck_s.java From coming with MIT License

5 votes

public TypeCheck(AbstractCompiler compiler,
    ReverseAbstractInterpreter reverseInterpreter,
    JSTypeRegistry typeRegistry,
    Scope topScope,
    MemoizedScopeCreator scopeCreator,
    CheckLevel reportMissingOverride) {
  this.compiler = compiler;
  this.validator = compiler.getTypeValidator();
  this.reverseInterpreter = reverseInterpreter;
  this.typeRegistry = typeRegistry;
  this.topScope = topScope;
  this.scopeCreator = scopeCreator;
  this.reportMissingOverride = reportMissingOverride;
  this.reportUnknownTypes = ((Compiler) compiler).getOptions().enables(
      DiagnosticGroups.REPORT_UNKNOWN_TYPES);
  this.inferJSDocInfo = new InferJSDocInfo(compiler);

  ClassLoader classLoader = TypeCheck.class.getClassLoader();
  try {
    Class<?> c = classLoader.loadClass(
        "com.google.common.string.EditDistance");
    editDistance = c.getDeclaredMethod(
        "getEditDistance", String.class, String.class, boolean.class);
  } catch (Exception ignored) {
    editDistance = null;
  }
}

Example #29

Source File: Closure_18_Compiler_t.java From coming with MIT License

5 votes

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

Example #30

Source File: Closure_18_Compiler_s.java From coming with MIT License

5 votes

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