next up previous
Next: Language-defined indications Up: Type Analysis Previous: Typed identifiers


An indication is a set of operators with different signatures. It is represented by a definition table key. Some indications are defined by the language, and often represented by sequences of special characters. Java methods are also indications, which are defined by the user.

The specification must associate the indication's definition table key with each occurrence of a source language representation of that indication.