SEQUENCE_PHRASE

SEQUENCE_PHRASE("sequence phrase type", STATEMENT_PHRASE, TypeTag.SEQUENCE_PHRASE_TAG)

The kind of a sequence phrase.

Functions

Link copied to clipboard

Answer the PhraseKind that is the nearest common ancestor to both the receiver and the argument. Only use this after static initialization has completed.

Link copied to clipboard

Answer the PhraseKind that is the nearest common descendant to both the receiver and the argument. Only use this after static initialization has completed.

Link copied to clipboard
fun create(yieldType: A_Type): A_Type

Create a phrase type given the yield type (the type of object produced by the expression).

Link copied to clipboard
open fun createDescriptor(mutability: Mutability): PhraseTypeDescriptor

Create a descriptor for this kind.

Link copied to clipboard
open fun createNoCheck(yieldType: A_Type): A_Type

Create a phrase type given the yield type (the type of object produced by the expression).

Link copied to clipboard
fun isSubkindOf(purportedParent: PhraseTypeDescriptor.PhraseKind): Boolean

Answer whether this is a subkind of (or equal to) the specified PhraseKind.

Link copied to clipboard
fun parentKind(): PhraseTypeDescriptor.PhraseKind?

Answer the kind of phrase of which this object is the type.

Properties

Link copied to clipboard
var depth: Int = 0

The depth of this object in the PhraseKind hierarchy.

Link copied to clipboard
open override val fieldName: String

Answer the name of this enumeration value.

Link copied to clipboard
open override val fieldOrdinal: Int

Answer an integer that identifies this enumeration value uniquely within this enumeration subclass (i.e., any enumeration class implementing this interface). These values are allocated sequentially to the enumeration values, starting at zero.

Link copied to clipboard
val immutableDescriptor: PhraseTypeDescriptor

The descriptor for mutable instances of this kind.

Link copied to clipboard
val jsonName: String

The JSON name of this type.

Link copied to clipboard
val mostGeneralType: A_Type

Answer a phrase type whose kind is the receiver and whose expression type is top. This is the most general phrase type of that kind.

Link copied to clipboard
val mostGeneralYieldType: A_Type

The most general inner type for this kind of phrase. Computed lazily via the overrideable produceMostGeneralYieldType.

Link copied to clipboard
val mutableDescriptor: PhraseTypeDescriptor

The descriptor for mutable instances of this kind.

Link copied to clipboard
val name: String
Link copied to clipboard
val ordinal: Int
Link copied to clipboard
val sharedDescriptor: PhraseTypeDescriptor

The descriptor for shared instances of this kind.

Link copied to clipboard
val typeTag: TypeTag

The type tag associated with phrases of this kind.