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.
CONTENTS<br />
A.7.19 The Undefined Expression . . . . . . . . . . . . . . . . . . . . . . . . . . 191<br />
A.7.20 The Precondition Expression . . . . . . . . . . . . . . . . . . . . . . . . . 191<br />
A.7.21 Base Class Membership (<strong>VDM</strong>++ and <strong>VDM</strong>-RT) . . . . . . . . . . . . . . 191<br />
A.7.22 Class Membership (<strong>VDM</strong>++ and <strong>VDM</strong>-RT) . . . . . . . . . . . . . . . . . 191<br />
A.7.23 Same Base Class Membership (<strong>VDM</strong>++ and <strong>VDM</strong>-RT) . . . . . . . . . . 191<br />
A.7.24 Same Class Membership (<strong>VDM</strong>++ and <strong>VDM</strong>-RT) . . . . . . . . . . . . . 191<br />
A.7.25 History Expressions (<strong>VDM</strong>++ and <strong>VDM</strong>-RT) . . . . . . . . . . . . . . . . 192<br />
A.7.26 Time Expressions (<strong>VDM</strong>-RT) . . . . . . . . . . . . . . . . . . . . . . . . 192<br />
A.7.27 Names . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192<br />
A.8 State Designators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192<br />
A.9 Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193<br />
A.9.1 Local Binding Statements . . . . . . . . . . . . . . . . . . . . . . . . . . 193<br />
A.9.2 Block and Assignment Statements . . . . . . . . . . . . . . . . . . . . . . 194<br />
A.9.3 Conditional Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194<br />
A.9.4 Loop Statements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194<br />
A.9.5 The Nondeterministic Statement . . . . . . . . . . . . . . . . . . . . . . . 195<br />
A.9.6 Call and Return Statements . . . . . . . . . . . . . . . . . . . . . . . . . . 195<br />
A.9.7 The Specification Statement . . . . . . . . . . . . . . . . . . . . . . . . . 195<br />
A.9.8 Start and Start List Statements (<strong>VDM</strong>++ and <strong>VDM</strong>-RT) . . . . . . . . . . 195<br />
A.9.9 The Duration and Cycles Statements (<strong>VDM</strong>-RT) . . . . . . . . . . . . . . 195<br />
A.9.<strong>10</strong> Exception Handling Statements . . . . . . . . . . . . . . . . . . . . . . . 196<br />
A.9.11 The Error Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196<br />
A.9.12 The Identity Statement . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196<br />
A.<strong>10</strong> Patterns and Bindings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196<br />
A.<strong>10</strong>.1 Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196<br />
A.<strong>10</strong>.2 Bindings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197<br />
B Lexical Specification 199<br />
B.1 Characters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199<br />
B.2 Symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201<br />
C Operator Precedence 205<br />
C.1 The Family of Combinators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206<br />
C.2 The Family of Applicators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206<br />
C.3 The Family of Evaluators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206<br />
C.4 The Family of Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 207<br />
C.5 The Family of Connectives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 208<br />
C.6 The Family of Constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209<br />
C.7 Grouping . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209<br />
C.8 The Type Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209<br />
D Differences between the Concrete Syntaxes 211<br />
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213<br />
vii