The scope of a variable is the block in which it is defined.
A variable can be initialized with an initialization expression. If there is no initialization expression then its value is initialized to void.
Constraints :
TypeOf(VariableDecl.initialization) <: AsType( VariableDecl.type )
Returned Type :
|
Expression |
Type |
|---|---|
|
VariableDecl |
AsType( VariableDecl.type ) |