Avoiding type errors

Knowing the type of the fitting message objects is also useful for type checking. If all methods of an accessor are reified, the return type of each such M_i can be checked for its conformance to the type bound to M_i+1. Similarly, the type of each provided argument P_i,j can be checked for its conformance to the type of the j-th formal argument of M_i. By enforcing these checks, the Invoke class rules out type errors. To enforce such checks without explicit use of reflection, message object types can also be specified by their name. This is illustrated in Section 4 through a small programming example.