Examples of com.google.javascript.rhino.jstype.JSType

Package com.google.javascript.rhino.jstype

Examples of com.google.javascript.rhino.jstype.JSType

com.google.javascript.rhino.jstype.JSType
Represents JavaScript value types.
Types are split into two separate families: value types and object types. A special {@link UnknownType} exists to represent a wildcard type on whichno information can be gathered. In particular, it can assign to everyone, is a subtype of everyone (and everyone is a subtype of it).
If you remove the {@link UnknownType}, the set of types in the type system forms a lattice with the {@link #isSubtype} relation defining the partialorder of types. All types are united at the top of the lattice by the {@link AllType} and at the bottom by the {@link NoType}.

    verify("out1", startType);
    verify("out2", BOOLEAN_TYPE);
  }


  public void testAssert9() {
    JSType startType = createNullableType(NUMBER_TYPE);
    assuming("x", startType);
    inFunction("out1 = x; out2 = goog.asserts.assert(y = x);");
    verify("out1", startType);
    verify("out2", NUMBER_TYPE);
  }

View Full Code Here

    verify("out1", startType);
    verify("out2", NUMBER_TYPE);
  }


  public void testAssert10() {
    JSType startType = createNullableType(OBJECT_TYPE);
    assuming("x", startType);
    assuming("y", startType);
    inFunction("out1 = x; out2 = goog.asserts.assert(x && y); out3 = x;");
    verify("out1", startType);
    verify("out2", OBJECT_TYPE);

View Full Code Here

    verify("out2", OBJECT_TYPE);
    verify("out3", OBJECT_TYPE);
  }


  public void testAssert11() {
    JSType startType = createNullableType(OBJECT_TYPE);
    assuming("x", startType);
    assuming("y", startType);
    inFunction("var z = goog.asserts.assert(x || y);");
    verify("x", startType);
    verify("y", startType);

View Full Code Here

    verify("x", startType);
    verify("y", startType);
  }


  public void testAssertNumber() {
    JSType startType = createNullableType(ALL_TYPE);
    assuming("x", startType);
    inFunction("out1 = x; goog.asserts.assertNumber(x); out2 = x;");
    verify("out1", startType);
    verify("out2", NUMBER_TYPE);
  }

View Full Code Here

    verify("out2", NUMBER_TYPE);
  }


  public void testAssertNumber2() {
    // Make sure it ignores expressions.
    JSType startType = createNullableType(ALL_TYPE);
    assuming("x", startType);
    inFunction("goog.asserts.assertNumber(x + x); out1 = x;");
    verify("out1", startType);
  }

View Full Code Here

    verify("out1", startType);
  }


  public void testAssertNumber3() {
    // Make sure it ignores expressions.
    JSType startType = createNullableType(ALL_TYPE);
    assuming("x", startType);
    inFunction("out1 = x; out2 = goog.asserts.assertNumber(x + x);");
    verify("out1", startType);
    verify("out2", NUMBER_TYPE);
  }

View Full Code Here

    verify("out1", startType);
    verify("out2", NUMBER_TYPE);
  }


  public void testAssertString() {
    JSType startType = createNullableType(ALL_TYPE);
    assuming("x", startType);
    inFunction("out1 = x; goog.asserts.assertString(x); out2 = x;");
    verify("out1", startType);
    verify("out2", STRING_TYPE);
  }

View Full Code Here

    verify("out1", startType);
    verify("out2", STRING_TYPE);
  }


  public void testAssertFunction() {
    JSType startType = createNullableType(ALL_TYPE);
    assuming("x", startType);
    inFunction("out1 = x; goog.asserts.assertFunction(x); out2 = x;");
    verify("out1", startType);
    verifySubtypeOf("out2", FUNCTION_INSTANCE_TYPE);
  }

View Full Code Here

    verify("out1", startType);
    verifySubtypeOf("out2", FUNCTION_INSTANCE_TYPE);
  }


  public void testAssertObject() {
    JSType startType = createNullableType(ALL_TYPE);
    assuming("x", startType);
    inFunction("out1 = x; goog.asserts.assertObject(x); out2 = x;");
    verify("out1", startType);
    verifySubtypeOf("out2", OBJECT_TYPE);
  }

View Full Code Here

    verify("out1", startType);
    verifySubtypeOf("out2", OBJECT_TYPE);
  }


  public void testAssertElement() {
    JSType elementType = registry.createObjectType("Element", null,
        registry.getNativeObjectType(OBJECT_TYPE));
    assuming("x", elementType);
    inFunction("out1 = x; goog.asserts.assertElement(x); out2 = x;");
    verify("out1", elementType);
  }

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of com.google.javascript.rhino.jstype.JSType

com.google.javascript.jscomp.AccessControlUtils

com.google.javascript.jscomp.AmbiguateProperties

com.google.javascript.jscomp.AmbiguateProperties$ProcessProperties

com.google.javascript.jscomp.ChainableReverseAbstractInterpreter

com.google.javascript.jscomp.ChainableReverseAbstractInterpreter$RestrictByOneTypeOfResultVisitor

com.google.javascript.jscomp.ChainableReverseAbstractInterpreter$RestrictByTypeOfResultVisitor

com.google.javascript.jscomp.CheckAccessControls

com.google.javascript.jscomp.CheckEventfulObjectDisposal

com.google.javascript.jscomp.CheckEventfulObjectDisposal$ComputeEventizeTraversal

com.google.javascript.jscomp.CheckEventfulObjectDisposal$Traversal

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.