Description
This command declares a named constant.
Command Syntax
'@x:const' <id> {'~' <exp>}? ':=' <exp>
No body is permitted.
The following options are permitted.
| visible | The constant name is declared as visible in the enclosing scope. If visible is specified, then local can not be specified. |
| local | The constant name is declared as local in the enclosing scope. If local is specified, then visible can not be specified. |
Name Semantics
The <id> constant name is declared the scope that surrounds the @x:const command.
Execution Semantics
The constant is initialized to the value of the initial value expression following the :=. The value must satisfy the type or view given following any ~. The result of executing the @x:const command is null.
Examples