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.
<strong>VDM</strong>-<strong>10</strong> <strong>Language</strong> <strong>Manual</strong><br />
17.2.2 The Exports Section<br />
Syntax: interface = [ import definition list ],<br />
export definition ;<br />
export definition = ‘exports’, export module signature ;<br />
export module signature = ‘all’<br />
| export signature,<br />
{ export signature } ;<br />
export signature = export types signature<br />
| values signature<br />
| export functions signature<br />
| operations signature ;<br />
export types signature = ‘types’, type export,<br />
{ ‘;’, type export }, [ ‘;’ ] ;<br />
type export = [ ‘struct’ ], name ;<br />
values signature = ‘values’, value signature,<br />
{ ‘;’, value signature }, [ ‘;’ ] ;<br />
value signature = name list, ‘:’, type ;<br />
export functions signature =<br />
‘functions’ function export,<br />
{ ‘;’, function export } ;<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 />
154