avail/avail.descriptor.types/PrimitiveTypeDescriptor/Types/FORWARD_DEFINITION

FORWARD_DEFINITION

FORWARD_DEFINITION(DEFINITION, TypeTag.NONTYPE_TYPE_TAG, TypeTag.DEFINITION_TAG)

The specific kind of definition which is a forward declaration. Such declarations must be resolved by the end of the module in which they occur.

Properties

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.

val name: String

lateinit val o: AvailObject

Create the A_Type associated with this Types entry.

val ordinal: Int

val parent: PrimitiveTypeDescriptor.Types?

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.

val typeTag: TypeTag

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.