TOM has three kinds of types: basic types, objects and tuples.
Furthermore, there is one special type,
void, and there are two
special type indications:
dynamic indicates that the actual type
will be dynamically checked; and
id which, in denotes an
actual object instead of the containing declaring object.
entity_type: basic_type | tuple_type | object_type ;
entity_type is the possible type of an entity, such as an
object variable, method argument or local variable.
argument_type: `dynamic' | entity_type ;
In addition to the usual types, an argument can have the
type. The type actually passed will be encoded in the selector of the
method being invoked. It is the responsibility of that method to
retrieve the correct types as indicated by the selector
(see section Selectors).
return_type: `void' | argument_type ;
The type of value returned by a method can be anything that can be the
type of an argument, plus
void, indicating that the method will
not return any value.
Go to the first, previous, next, last section, table of contents.