avail/avail.descriptor.types/PrimitiveTypeDescriptor/Types/MESSAGE_BUNDLE_TREE

MESSAGE_BUNDLE_TREE

This is the kind of all message bundle trees, which are lazily expanded during parallel parsing of Avail expressions. They collapse together the cost of parsing method or macro invocations that start with the same tokens and arguments.

Properties

instanceTag

val instanceTag: TypeTag

intersectionTypes

val intersectionTypes: Array<A_Type?>

An array of A_Types, where the entries correspond to ordinals of other Types, and hold the intersection of that type and the current type.

name

val name: String

lateinit var o: AvailObject

Create the A_Type associated with this Types entry.

ordinal

val ordinal: Int

parent

val parent: PrimitiveTypeDescriptor.Types?

superTests

val superTests: BooleanArray

A boolean array where the entries correspond to ordinals of other Types. They are true precisely when the type with that ordinal is a supertype of the current type.

typeTag

val typeTag: TypeTag

unionTypes

val unionTypes: Array<A_Type?>

An array of A_Types, where the entries correspond to ordinals of other Types, and hold the unions of that type and the current type.