A_Type

Answer the tuple type describing this function type's argument types.

Answer the type of elements that this set type's sets may hold.

Also declared in A_Phrase for block phrases and send phrases.

Dispatch to the descriptor.

Given an object type, answer its map from fields to types.

Given an A_Type, determine which TypeTag its instances will comply with.

Dispatch to the descriptor.

Is the receiver an Avail atom?

Is the receiver an Avail boolean?

Answer whether this type is ⊥ (bottom), the most specific type.

Is the receiver an Avail byte string?

Is the receiver an Avail byte tuple?

Is the receiver an Avail extended integer?

Dispatch to the descriptor.

Is the receiver an Avail function?

Dispatch to the descriptor.

Is the receiver an Avail IntTupleDescriptor? This is conservative, in that some object tuples may only contain ints but not be reported as being int tuples.

Is the receiver an Avail LongTupleDescriptor? This is conservative, in that some object tuples may only contain longs but not be reported as being long tuples.

Is the receiver an Avail map?

Dispatch to the descriptor.

Test if the receiver is the nil value.

Is the receiver an Avail nybble?

Dispatch to the descriptor.

Is the receiver an Avail string?

Answer whether this type is ⊤ (top), the most general type.

Is the receiver an Avail tuple?

Dispatch to the descriptor.

Is the receiver an Avail two-byte string?

Dispatch to the descriptor.

Is the receiver an Avail unsigned byte?

Answer whether this type is known to have no instances. For example, the bottom type (denoted ⊥) has no instances.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Test if the receiver is not the nil value.

Extract the ObjectLayoutVariant from an object type.

Extract the ObjectLayoutVariant from an object.

Dispatch to the descriptor.

Also declared in A_Phrase for phrases, not just phrase types.

Return the phrase type's expression type, which is the type of object that will be produced by phrases of that type.

Also declared in A_Phrase for block phrases and send phrases.

Dispatch to the descriptor.

Answer the type of the subexpressions tuple that instances (list phrases) of me (a list phrase type) must have.

The appropriate SystemStyle for the receiver, based on whether it's a metatype or just an ordinary type. Answer null if the type does not indicate any particular system style.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Answer whether the argument types supported by the specified function type are acceptable argument types for invoking a function whose type is the receiver.

Answer whether these are acceptable argument types for invoking a function whose type is the receiver.

Answer whether these are acceptable arguments for invoking a function whose type is the receiver.

Answer whether these are acceptable argument types for invoking a function that is an instance of the receiver. There may be more entries in the tuple than are required by the function type.

Answer whether these are acceptable arguments for invoking a function that is an instance of the receiver. There may be more entries in the tuple than are required by the function type.

Turn the receiver into an indirection to the specified object.

Given an A_Type, compute the most specific TypeTag that is ensured for instances of that type.

Compute a type that is an ancestor of the receiver, but is not an enumeration. Choose the most specific such type. Fail if the receiver is not itself an enumeration. Also fail if the receiver is bottom.

Dispatch to the descriptor.

Utility method for decomposing this object in the debugger.

Retrieve the object's {@linkplain AbstractDescriptor descriptor}.

Dispatcher helper function for routing messages to the descriptor.

Answer whether the receiver and the argument, both A_BasicObjects, are equal in value.

{@inheritDoc}

Answer whether the receiver, an object, and the argument, a tuple, are equal in value.

Answer whether the receiver, an object, and the argument, a byte string, are equal in value.

Answer whether the receiver, an object, and the argument, a byte tuple, are equal in value.

Answer whether the arguments, an object and a compiled code, are equal.

Answer whether the receiver equals the argument.

Answer whether the receiver equals the argument.

Determine whether the receiver is an enumeration with the given set of instances.

Answer whether the receiver, an object, and the argument, a fiber type, are equal in value.

Answer whether the receiver, an object, and the argument, a function, are equal in value.

Answer whether the receiver, an object, and the argument, a function type, are equal.

Answer whether the receiver equals the argument.

Answer whether this value equals the given list phrase type.

Answer whether the receiver equals the argument.

Answer whether the receiver equals the argument.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Answer whether the receiver equals the argument.

Extract a field from an object.

Extract a field from an object, using a one-based index into the field slots. This requires knowledge of the ObjectLayoutVariant, since the same field is at different indices in different variants.

Extract a field from an object, or answer null if it's not present.

Add or replace a field of an object.

Dispatch to the descriptor.

Extract a field type from an object type.

Extract a field type from an object type, using the given field index, which is specific to an ObjectLayoutVariant.

Extract a field type from an object type, or null if it's not present.

Compute the 32-bit hash of the receiver.

Dispatch to the descriptor.

Dispatch to the descriptor.

If the receiver isNil, evaluate the action. Answer either the non-nil receiver, or the result of the action.

If the receiver is notNil, evaluate the action with it.

Answer the number of integer slots. All variable integer slots occur following the last fixed integer slot.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Answer whether the receiver, a type, is a supertype of the given list phrase type.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Lock the fiber during evaluation of the Supplier, and return the produced value.

Dispatch to the descriptor.

The receiver is marked with an IMMUTABLE descriptor, but its subobjects have not yet been made immutable. Scan them now, and do any additional fix-ups necessary for the kind of object.

Dispatch to the descriptor.

The receiver is marked with a SHARED descriptor, but its subobjects have not yet been made shared. Scan them now, and do any additional fix-ups necessary for the kind of object.

Dispatch to the descriptor.

Dispatch to the descriptor.

If the receiver is notNil, evaluate the action with it, answering the value produced by the action. If the receiver was nil, answer nil cast to the action's output type.

Answer a name suitable for labeling a field containing this object.

Answer the number of object slots in this AvailObject. All variable object slots occur following the last fixed object slot.

Also declared in A_Phrase, so the same operation applies both to phrases and to phrase types.

Recursively print the receiver to the builder unless it is already present in the recursionMap. Printing will begin at the specified indent level, measured in horizontal tab characters.

Dispatch to the descriptor.

Answer whether the objects occupy the same memory addresses.

Dispatch to the descriptor.

Replace the object's {@linkplain AbstractDescriptor descriptor}.

Dispatch to the descriptor.

Replace my descriptor field with a FillerDescriptor. This blows up for most messages, catching incorrect (all, by definition) further accidental uses of this object.

Answer whether to show value-specific content in the file name for the debugger.

If the provided condition is true, synchronize with the receiver's monitor around the execution of the body function. Otherwise, run the body function without synchronization.

Follow indirections until a non-indirection is reached. Replace each indirection's target with the ultimate target.

Follow indirections until a non-indirection is reached. Replace each indirection's target with the ultimate target, even if it would cause the otherwise-forbidden immutable->mutable references. Only used during makeImmutable.

Follow indirections until a non-indirection is reached. Replace each indirection's target with the ultimate target, even if it would cause the otherwise-forbidden shared->unshared references. Only used during makeShared.

Answer a type that includes at least all values from the receiver that aren't also in the typeToRemove. Note that the answer can be conservatively large, and is typically just the receiver, even if the types overlap.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.