Companion

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.

Static method to extract the argsTupleType of a function type.

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.

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.

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

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.

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.

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 the tuple type describing this function type's argument types.

The CheckedMethod for argsTupleTypeStatic.

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.

The CheckedMethod for isSubtypeOfStatic.

Dispatch to the descriptor.

Dispatch to the descriptor.

Dispatch to the descriptor.

Extract the ObjectLayoutVariant from an object type.

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.

The CheckedMethod for typeAtIndexStatic.

Dispatch to the descriptor.

The CheckedMethod for typeUnionStatic.

Dispatch to the descriptor.

Dispatch to the descriptor.