TypeExpectation class abstract

Contains expectations on the type that a Typeable might have.

Different instances of this class are passed along when descending into the AST during type analysis. For instance, logical binary expressions might expect that their operands are logical expressions as well. This model also allows us to construct more complicated relationships. For instance, we can express the expected column types for a INSERT INTO SELECT statement.

Implementers

Constructors

TypeExpectation.new()
const

Properties

hashCode int
The hash code for this object.
no setterinherited
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
specificity int
no setter

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
orMoreSpecific(TypeExpectation other) TypeExpectation
Returns the expectaction from this or other with a higher specificity.
toString() String
A string representation of this object.
inherited

Operators

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