TypeSystem class

A representation of the operations defined for the type system.

Clients may not extend, implement or mix-in this class.

Constructors

TypeSystem()

Properties

hashCode int
The hash code for this object. [...]
read-only, inherited
runtimeType Type
A representation of the runtime type of the object.
read-only, inherited

Methods

flatten(DartType type) DartType
Return the result of applying the function "flatten" to the given type. [...]
instantiateToBounds2({ClassElement classElement, FunctionTypeAliasElement functionTypeAliasElement, NullabilitySuffix nullabilitySuffix}) DartType
Instantiate the given generic element using the type arguments that correspond to the bounds of its type parameters. [...]
isAssignableTo(DartType leftType, DartType rightType) bool
Return true if the leftType is assignable to the rightType. [...]
isNonNullable(DartType type) bool
Return true if the type is a non-nullable type. [...]
isNullable(DartType type) bool
Return true if the type is a nullable type. [...]
isPotentiallyNonNullable(DartType type) bool
Return true if the type is a potentially non-nullable type. [...]
isPotentiallyNullable(DartType type) bool
Return true if the type is a potentially nullable type. [...]
isStrictlyNonNullable(DartType type) bool
Return true if the type is a strictly non-nullable type. [...]
isSubtypeOf(DartType leftType, DartType rightType) bool
Return true if the leftType is a subtype of the rightType. [...]
leastUpperBound(DartType leftType, DartType rightType) DartType
Compute the least upper bound of two types. This operation if commutative, meaning that leastUpperBound(t, s) == leastUpperBound(s, t) for all t and s. [...]
noSuchMethod(Invocation invocation) → dynamic
Invoked when a non-existent method or property is accessed. [...]
inherited
promoteToNonNull(DartType type) DartType
Returns a non-nullable version of type. This is equivalent to the operation NonNull defined in the spec.
resolveToBound(DartType type) DartType
Return the result of resolving the bounds of the given type. [...]
toString() String
A string representation of this object. [...]
inherited

Operators

operator ==(Object other) bool
The equality operator. [...]
inherited