Pseudo Types

The PseudoType class is a special form of ‘indirect type’ that is used by the JADE compiler and has meaning only in the context of methods.

At compile time, a pseudo type is mapped to a single actual type or to a list of parameter types, depending on the Type in which the method is defined. (For details about parameter type lists, see "Passing Variable Parameters to Methods", later in this chapter.)

The pseudo types are as follows.

• InstanceType

• KeyType

• MemberType

• ParamListType

• PropertyListType

• SelfType

In all pseudo types, the compiler substitutes the pseudo type with a specific type when the method is compiled.