Package | Description |
---|---|
com.google.javascript.jscomp.newtypes |
Modifier and Type | Field and Description |
---|---|
private static Property |
ObjectType.UNKNOWN_PROP |
Modifier and Type | Field and Description |
---|---|
private static PersistentMap<java.lang.String,Property> |
ObjectType.BOTTOM_MAP |
private PersistentMap<java.lang.String,Property> |
RawNominalType.classProps |
protected PersistentMap<java.lang.String,Property> |
Namespace.otherProps |
private PersistentMap<java.lang.String,Property> |
ObjectType.props |
private PersistentMap<java.lang.String,Property> |
RawNominalType.protoProps |
private PersistentMap<java.lang.String,Property> |
RawNominalType.randomProps |
Modifier and Type | Method and Description |
---|---|
private Property |
ObjectType.getLeftmostProp(QualifiedName qname) |
(package private) Property |
Namespace.getNsProp(java.lang.String pname) |
private Property |
RawNominalType.getOwnProp(java.lang.String pname) |
private static Property |
ObjectType.getProp(java.util.Map<java.lang.String,Property> props,
NominalType nom,
java.lang.String pname) |
(package private) Property |
RawNominalType.getProp(java.lang.String pname) |
(package private) Property |
NominalType.getProp(java.lang.String pname) |
private Property |
RawNominalType.getPropFromClass(java.lang.String pname) |
private Property |
RawNominalType.getPropFromInterface(java.lang.String pname) |
private static Property |
ObjectType.getPropHelper(java.lang.String pname,
Namespace ns,
NominalType nt) |
(package private) static Property |
Property.join(Property p1,
Property p2) |
(package private) static Property |
Property.make(JSType inferredType,
JSType declaredType) |
(package private) static Property |
Property.makeConstant(Node defSite,
JSType inferredType,
JSType declaredType) |
(package private) static Property |
Property.makeOptional(Node defSite,
JSType inferredType,
JSType declaredType) |
(package private) static Property |
Property.makeWithDefsite(Node defSite,
JSType inferredType,
JSType declaredType) |
(package private) static Property |
Property.meet(Property p1,
Property p2) |
(package private) Property |
Property.specialize(Property other) |
(package private) Property |
Property.substituteGenerics(java.util.Map<java.lang.String,JSType> concreteTypes) |
(package private) static Property |
Property.unifyUnknowns(Property p1,
Property p2)
Unify the two types bidirectionally, ignoring type variables, but
treating JSType.UNKNOWN as a "hole" to be filled.
|
(package private) Property |
Property.withOptional() |
(package private) Property |
Property.withRequired() |
Modifier and Type | Method and Description |
---|---|
private static PersistentMap<java.lang.String,Property> |
ObjectType.addOrRemoveProp(boolean specializeProps1,
PersistentMap<java.lang.String,Property> props,
java.lang.String pname,
Property nomProp,
Property objProp) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.joinProps(java.util.Map<java.lang.String,Property> props1,
java.util.Map<java.lang.String,Property> props2,
NominalType nom1,
NominalType nom2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.joinPropsLoosely(java.util.Map<java.lang.String,Property> props1,
java.util.Map<java.lang.String,Property> props2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.loosenProps(PersistentMap<java.lang.String,Property> props) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.meetPropsHelper(boolean specializeProps1,
NominalType resultNominalType,
Namespace resultNs,
PersistentMap<java.lang.String,Property> props1,
PersistentMap<java.lang.String,Property> props2) |
Modifier and Type | Method and Description |
---|---|
private static PersistentMap<java.lang.String,Property> |
ObjectType.addOrRemoveProp(boolean specializeProps1,
PersistentMap<java.lang.String,Property> props,
java.lang.String pname,
Property nomProp,
Property objProp) |
private static boolean |
ObjectType.isPropertySubtype(Property prop1,
Property prop2,
SubtypeCache subSuperMap) |
(package private) static Property |
Property.join(Property p1,
Property p2) |
(package private) static Property |
Property.meet(Property p1,
Property p2) |
(package private) Property |
Property.specialize(Property other) |
(package private) static Property |
Property.unifyUnknowns(Property p1,
Property p2)
Unify the two types bidirectionally, ignoring type variables, but
treating JSType.UNKNOWN as a "hole" to be filled.
|
(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
|
Modifier and Type | Method and Description |
---|---|
private static PersistentMap<java.lang.String,Property> |
ObjectType.addOrRemoveProp(boolean specializeProps1,
PersistentMap<java.lang.String,Property> props,
java.lang.String pname,
Property nomProp,
Property objProp) |
(package private) static boolean |
ObjectType.containsBottomProp(PersistentMap<java.lang.String,Property> props) |
(package private) static ObjectType |
ObjectType.fromProperties(java.util.Map<java.lang.String,Property> oldProps)
Construct an object with the given declared properties.
|
private static Property |
ObjectType.getProp(java.util.Map<java.lang.String,Property> props,
NominalType nom,
java.lang.String pname) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.joinProps(java.util.Map<java.lang.String,Property> props1,
java.util.Map<java.lang.String,Property> props2,
NominalType nom1,
NominalType nom2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.joinProps(java.util.Map<java.lang.String,Property> props1,
java.util.Map<java.lang.String,Property> props2,
NominalType nom1,
NominalType nom2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.joinPropsLoosely(java.util.Map<java.lang.String,Property> props1,
java.util.Map<java.lang.String,Property> props2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.joinPropsLoosely(java.util.Map<java.lang.String,Property> props1,
java.util.Map<java.lang.String,Property> props2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.loosenProps(PersistentMap<java.lang.String,Property> props) |
(package private) static ObjectType |
ObjectType.makeObjectType(NominalType nominalType,
PersistentMap<java.lang.String,Property> props,
FunctionType fn,
Namespace ns,
boolean isLoose,
ObjectKind ok) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.meetPropsHelper(boolean specializeProps1,
NominalType resultNominalType,
Namespace resultNs,
PersistentMap<java.lang.String,Property> props1,
PersistentMap<java.lang.String,Property> props2) |
private static PersistentMap<java.lang.String,Property> |
ObjectType.meetPropsHelper(boolean specializeProps1,
NominalType resultNominalType,
Namespace resultNs,
PersistentMap<java.lang.String,Property> props1,
PersistentMap<java.lang.String,Property> props2) |
Constructor and Description |
---|
ObjectType(NominalType nominalType,
PersistentMap<java.lang.String,Property> props,
FunctionType fn,
Namespace ns,
boolean isLoose,
ObjectKind objectKind) |