VDM-10 Language Manual

Appendix A. The Syntax of the VDM Languages
A.9 Statements
A.9.1
statement = let statement
| let be statement
| def statement
| block statement
| general assign statement
| if statement
| cases statement
| sequence for loop
| set for loop
| index for loop
| while loop
| nondeterministic statement
| call statement
| specification statement
| start statement
| start list statement
| duration statement
| cycles statement
| return statement
| always statement
| trap statement
| recursive trap statement
| exit statement
| error statement
| identity statement ;
Local Binding Statements
let statement = ‘let’, local definition, { ‘,’, local definition },
‘in’, statement ;
local definition = value definition
| function definition ;
let be statement = ‘let’, multiple bind, [ ‘be’, ‘st’, expression ], ‘in’,
statement ;
def statement = ‘def’, equals definition,
{ ‘;’, equals definition }, [ ‘;’ ],
‘in’, statement ;
equals definition = pattern bind, ‘=’, expression ;
193