| <Syntax> |
|
|
|
TYPE IS ( type-name ) [ construct-name ]
The TYPE IS statement is part of the SELECT TYPE construct.
The construct-name may appear only if the SELECT TYPE construct is named.
|
|
|
|
|
|
| <Semantics> |
|
|
|
The TYPE IS statement marks the beginning of a TYPE IS block in a SELECT TYPE construct.
This block is executed if and only if the dynamic type of the selector is the same as the named derived type.
Within a TYPE IS block, the associate-name has the declared type of type-name and is not polymorphic.
|
|
|
|
|
|
| <Related> |
|
|
|
CLASS specifier,
CLASS DEFAULT statement,
CLASS IS statement,
SELECT TYPE statement |
|
|