EnumInfo class

Constructors

EnumInfo(DatatypeSort sort, Map<Sym, ConstVar> constants, List<FuncDecl> testers)

Properties

constants Map<Sym, ConstVar>
final
hashCode int
The hash code for this object.
no setterinherited
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
sort DatatypeSort
final
testers List<FuncDecl>
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() String
A string representation of this object.
inherited

Operators

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