avail/avail.descriptor.types/PrimitiveTypeDescriptor/Types/RAW_POJO

RAW_POJO

RAW_POJO(NONTYPE, TypeTag.NONTYPE_TYPE_TAG, TypeTag.POJO_TAG)

A POJO is a Plain Old Java Object. Avail is able to interface to arbitrary Java code via its implementation of POJOs. POJOs contain (and conform to) their own POJO types, but that requires a separate concept of raw POJOs. Avail code only works with the typed POJOs, but the Avail machinery has to be able to use the raw POJOs, placing them in sets and doing other things that occasionally require their kind to be extracted.

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 val 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.