TypeSystem class abstract

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.
no setterinherited
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited

Methods

flatten(DartType type) → DartType
Return the result of applying the function "flatten" to the given type.
instantiateToBounds2({ClassElement? classElement, TypeAliasElement? typeAliasElement, required 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 nonexistent 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