VDM-10 Language Manual
VDM-10 Language Manual
VDM-10 Language Manual
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Appendix A. The Syntax of the <strong>VDM</strong> <strong>Language</strong>s<br />
function export = name list, [ type variable list ], ‘:’,<br />
function type ;<br />
functions signature = ‘functions’ function signature,<br />
{ ‘;’, function signature }, [ ‘;’ ] ;<br />
function signature = name list, ‘:’, function type ;<br />
operations signature = ‘operations’ operation signature,<br />
{ ‘;’, operation signature }, [ ‘;’ ] ;<br />
operation signature = name list, ‘:’, operation type ;<br />
A.3 <strong>VDM</strong>++ and <strong>VDM</strong>-RT Document<br />
document = class | system , { class | system } ;<br />
A.4 System (<strong>VDM</strong>-RT)<br />
system = ‘system’, identifier,<br />
[ class body ],<br />
‘end’, identifier ;<br />
A.5 Classes<br />
class = ‘class’, identifier, [ inheritance clause ],<br />
[ class body ],<br />
‘end’, identifier ;<br />
inheritance clause = ‘is subclass of’, identifier, ‘,’, { identifier } ;<br />
A.6 Definitions<br />
class body = definition block, { definition block } ;<br />
module body = ‘definitions’, definition block, { definition block } ;<br />
definition block = type definitions<br />
| state definition<br />
| value definitions<br />
| function definitions<br />
175