Java Code Examples for com.google.javascript.rhino.jstype.JSType#isEmptyType()

The following examples show how to use com.google.javascript.rhino.jstype.JSType#isEmptyType() . 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: TypeCheck.java    From astor with GNU General Public License v2.0 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 2
Source File: Closure_2_TypeCheck_t.java    From coming with MIT License 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 3
Source File: Closure_2_TypeCheck_s.java    From coming with MIT License 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 4
Source File: Closure_11_TypeCheck_t.java    From coming with MIT License 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 5
Source File: Closure_11_TypeCheck_s.java    From coming with MIT License 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 6
Source File: Closure_125_TypeCheck_s.java    From coming with MIT License 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 7
Source File: Closure_125_TypeCheck_s.java    From coming with MIT License 6 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties &&
      (!isPropertyTest(n) || objectType.isStruct())) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      SuggestionPair pair =
          getClosestPropertySuggestion(objectType, propName);
      if (pair != null && pair.distance * 4 < propName.length()) {
        report(t, n, INEXISTENT_PROPERTY_WITH_SUGGESTION, propName,
            validator.getReadableJSTypeName(n.getFirstChild(), true),
            pair.suggestion);
      } else {
        report(t, n, INEXISTENT_PROPERTY, propName,
            validator.getReadableJSTypeName(n.getFirstChild(), true));
      }
    }
  }
}
Example 8
Source File: Closure_125_TypeCheck_t.java    From coming with MIT License 6 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties &&
      (!isPropertyTest(n) || objectType.isStruct())) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      SuggestionPair pair =
          getClosestPropertySuggestion(objectType, propName);
      if (pair != null && pair.distance * 4 < propName.length()) {
        report(t, n, INEXISTENT_PROPERTY_WITH_SUGGESTION, propName,
            validator.getReadableJSTypeName(n.getFirstChild(), true),
            pair.suggestion);
      } else {
        report(t, n, INEXISTENT_PROPERTY, propName,
            validator.getReadableJSTypeName(n.getFirstChild(), true));
      }
    }
  }
}
Example 9
Source File: Nopol2017_0029_s.java    From coming with MIT License 6 votes vote down vote up 
/**
 * Visits a NEW node.
 */
private void visitNew(NodeTraversal t, Node n) {
  Node constructor = n.getFirstChild();
  JSType type = getJSType(constructor).restrictByNotNullOrUndefined();
  if (type.isConstructor() || type.isEmptyType() || type.isUnknownType()) {
    FunctionType fnType = type.toMaybeFunctionType();
    if (fnType != null) {
      visitParameterList(t, n, fnType);
      ensureTyped(t, n, fnType.getInstanceType());
    } else {
      ensureTyped(t, n);
    }
  } else {
    report(t, n, NOT_A_CONSTRUCTOR);
    ensureTyped(t, n);
  }
}
Example 10
Source File: TypedCodeGenerator.java    From astor with GNU General Public License v2.0 6 votes vote down vote up 
private String getTypeAnnotation(Node node) {
  // Only add annotations for things with JSDoc, or function literals.
  JSDocInfo jsdoc = NodeUtil.getBestJSDocInfo(node);
  if (jsdoc == null && !node.isFunction()) {
    return "";
  }

  JSType type = node.getJSType();
  if (type == null) {
    return "";
  } else if (type.isFunctionType()) {
    return getFunctionAnnotation(node);
  } else if (type.isEnumType()) {
    return "/** @enum {" +
        type.toMaybeEnumType().getElementsType().toAnnotationString() +
        "} */\n";
  } else if (!type.isUnknownType()
      && !type.isEmptyType()
      && !type.isVoidType()
      && !type.isFunctionPrototypeType()) {
    return "/** @type {" + node.getJSType().toAnnotationString() + "} */\n";
  } else {
    return "";
  }
}
Example 11
Source File: TightenTypes.java    From astor with GNU General Public License v2.0 5 votes vote down vote up 
/** Returns a concrete type from the given JSType. */
private ConcreteType createType(JSType jsType) {
  if (jsType.isUnknownType() || jsType.isEmptyType()) {
    return ConcreteType.ALL;
  }

  if (jsType.isUnionType()) {
    ConcreteType type = ConcreteType.NONE;
    for (JSType alt : jsType.toMaybeUnionType().getAlternates()) {
      type = type.unionWith(createType(alt));
    }
    return type;
  }

  if (jsType.isFunctionType()) {
    if (getConcreteFunction(jsType.toMaybeFunctionType()) != null) {
      return getConcreteFunction(jsType.toMaybeFunctionType());
    }
    // Since we don't have a declaration, it's not concrete.
    return ConcreteType.ALL;
  }

  if (jsType.isObject()) {
    return createConcreteInstance(jsType.toObjectType());
  }

  return ConcreteType.NONE;  // Not a reference type.
}
Example 12
Source File: Closure_11_TypeCheck_s.java    From coming with MIT License 5 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties && !isPropertyTest(n)) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      report(t, n, INEXISTENT_PROPERTY, propName,
          validator.getReadableJSTypeName(n.getFirstChild(), true));
    }
  }
}
Example 13
Source File: Closure_11_TypeCheck_t.java    From coming with MIT License 5 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties && !isPropertyTest(n)) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      report(t, n, INEXISTENT_PROPERTY, propName,
          validator.getReadableJSTypeName(n.getFirstChild(), true));
    }
  }
}
Example 14
Source File: Closure_117_TypeValidator_t.java    From coming with MIT License 5 votes vote down vote up 
/**
 * Expect the type to contain an object sometimes. If the expectation is
 * not met, issue a warning at the provided node's source code position.
 */
void expectAnyObject(NodeTraversal t, Node n, JSType type, String msg) {
  JSType anyObjectType = getNativeType(NO_OBJECT_TYPE);
  if (!anyObjectType.isSubtype(type) && !type.isEmptyType()) {
    mismatch(t, n, msg, type, anyObjectType);
  }
}
Example 15
Source File: Closure_117_TypeValidator_s.java    From coming with MIT License 5 votes vote down vote up 
/**
 * Expect the type to contain an object sometimes. If the expectation is
 * not met, issue a warning at the provided node's source code position.
 */
void expectAnyObject(NodeTraversal t, Node n, JSType type, String msg) {
  JSType anyObjectType = getNativeType(NO_OBJECT_TYPE);
  if (!anyObjectType.isSubtype(type) && !type.isEmptyType()) {
    mismatch(t, n, msg, type, anyObjectType);
  }
}
Example 16
Source File: Closure_6_TypeValidator_t.java    From coming with MIT License 5 votes vote down vote up 
/**
 * Expect the type to contain an object sometimes. If the expectation is
 * not met, issue a warning at the provided node's source code position.
 */
void expectAnyObject(NodeTraversal t, Node n, JSType type, String msg) {
  JSType anyObjectType = getNativeType(NO_OBJECT_TYPE);
  if (!anyObjectType.isSubtype(type) && !type.isEmptyType()) {
    mismatch(t, n, msg, type, anyObjectType);
  }
}
Example 17
Source File: Closure_6_TypeValidator_s.java    From coming with MIT License 5 votes vote down vote up 
/**
 * Expect the type to contain an object sometimes. If the expectation is
 * not met, issue a warning at the provided node's source code position.
 */
void expectAnyObject(NodeTraversal t, Node n, JSType type, String msg) {
  JSType anyObjectType = getNativeType(NO_OBJECT_TYPE);
  if (!anyObjectType.isSubtype(type) && !type.isEmptyType()) {
    mismatch(t, n, msg, type, anyObjectType);
  }
}
Example 18
Source File: TypeCheck.java    From astor with GNU General Public License v2.0 5 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties && !isPropertyTest(n)) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      report(t, n, INEXISTENT_PROPERTY, propName,
          validator.getReadableJSTypeName(n.getFirstChild(), true));
    }
  }
}
Example 19
Source File: Closure_2_TypeCheck_t.java    From coming with MIT License 5 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties && !isPropertyTest(n)) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      report(t, n, INEXISTENT_PROPERTY, propName,
          validator.getReadableJSTypeName(n.getFirstChild(), true));
    }
  }
}
Example 20
Source File: Nopol2017_0029_t.java    From coming with MIT License 5 votes vote down vote up 
private void checkPropertyAccessHelper(JSType objectType, String propName,
    NodeTraversal t, Node n) {
  if (!objectType.isEmptyType() &&
      reportMissingProperties && !isPropertyTest(n)) {
    if (!typeRegistry.canPropertyBeDefined(objectType, propName)) {
      report(t, n, INEXISTENT_PROPERTY, propName,
          validator.getReadableJSTypeName(n.getFirstChild(), true));
    }
  }
}