1.3 Accessing the type of an entity

TypedUseId is an applied occurrence of an identifier representing a typed entity. A module computation sets the value of the TypedUseId.Type attribute to the definition table key of the entity's type.

ChkTypedUseId checks that the key represents a typed entity, and issues an error message otherwise.

The module produces the complete type analysis and error reporting computation for an applied occurrence of a typed identifier in Mystery from a single specification line:

     SYMBOL ExpIdUse INHERITS TypedUseId, ChkTypedUseId END;