Package | Description |
---|---|
com.google.javascript.jscomp.newtypes |
Modifier and Type | Method and Description |
---|---|
(package private) static SubtypeCache |
SubtypeCache.create() |
(package private) SubtypeCache |
SubtypeCache.with(NominalType key,
NominalType value) |
Modifier and Type | Method and Description |
---|---|
private boolean |
ObjectType.arePropertiesSubtypes(ObjectType other,
java.util.Set<java.lang.String> otherPropNames,
SubtypeCache subSuperMap) |
(package private) static boolean |
EnumType.areSubtypes(JSType t1,
JSType t2,
SubtypeCache subSuperMap) |
(package private) boolean |
FunctionType.isLooseSubtypeOf(FunctionType f2,
SubtypeCache subSuperMap) |
(package private) boolean |
ObjectType.isLooseSubtypeOf(ObjectType other,
SubtypeCache subSuperMap) |
private static boolean |
ObjectType.isPropertySubtype(Property prop1,
Property prop2,
SubtypeCache subSuperMap) |
private boolean |
NominalType.isStructuralSubtypeOf(NominalType other,
SubtypeCache subSuperMap) |
(package private) boolean |
FunctionType.isSubtypeOf(FunctionType other,
SubtypeCache subSuperMap) |
(package private) boolean |
NominalType.isSubtypeOf(NominalType other,
SubtypeCache subSuperMap) |
(package private) boolean |
ObjectType.isSubtypeOf(ObjectType obj2,
SubtypeCache subSuperMap) |
(package private) boolean |
JSType.isSubtypeOf(TypeI other,
SubtypeCache subSuperMap) |
private boolean |
JSType.isSubtypeOfHelper(boolean keepLoosenessOfThis,
JSType other,
SubtypeCache subSuperMap) |
private boolean |
ObjectType.isSubtypeOfHelper(boolean keepLoosenessOfThis,
ObjectType other,
SubtypeCache subSuperMap)
Required properties are acceptable where an optional is required,
but not vice versa.
|
private boolean |
FunctionType.isSubtypeOfHelper(FunctionType other,
boolean checkThisType,
SubtypeCache subSuperMap) |
(package private) static boolean |
ObjectType.isUnionSubtype(boolean keepLoosenessOfThis,
java.util.Set<ObjectType> objs1,
java.util.Set<ObjectType> objs2,
SubtypeCache subSuperMap) |
private boolean |
ObjectType.unifyPropsWithSubtype(ObjectType other,
java.util.Set<java.lang.String> thisProps,
java.util.List<java.lang.String> typeParameters,
com.google.common.collect.Multimap<java.lang.String,JSType> typeMultimap,
SubtypeCache subSuperMap) |
(package private) boolean |
FunctionType.unifyWithSubtype(FunctionType other,
java.util.List<java.lang.String> typeParameters,
com.google.common.collect.Multimap<java.lang.String,JSType> typeMultimap,
SubtypeCache subSuperMap) |
(package private) boolean |
JSType.unifyWithSubtype(JSType other,
java.util.List<java.lang.String> typeParameters,
com.google.common.collect.Multimap<java.lang.String,JSType> typeMultimap,
SubtypeCache subSuperMap) |
(package private) boolean |
NominalType.unifyWithSubtype(NominalType other,
java.util.List<java.lang.String> typeParameters,
com.google.common.collect.Multimap<java.lang.String,JSType> typeMultimap,
SubtypeCache subSuperMap) |
(package private) boolean |
ObjectType.unifyWithSubtype(ObjectType other,
java.util.List<java.lang.String> typeParameters,
com.google.common.collect.Multimap<java.lang.String,JSType> typeMultimap,
SubtypeCache subSuperMap)
Unify
this , which may contain free type variables,
with other , a concrete type, modifying the supplied
typeMultimap to add any new template varaible type bindings. |
(package private) boolean |
Property.unifyWithSubtype(Property other,
java.util.List<java.lang.String> typeParameters,
com.google.common.collect.Multimap<java.lang.String,JSType> typeMultimap,
SubtypeCache subSuperMap)
Returns whether unification succeeded
|