| # Section 6.7.20: Select Statement |

#### Concrete Syntax

select loop statement = | Lock_SY,
| select guard, {select guard},
| [default clause], End_SY ;

select guard = conditional lock guard, guarded clause ;

conditional lock guard = [Guard_SY,expression], value guard ;

#### Abstract Syntax

#### Static Semantics

#### Dynamic Semantics

| Specification Index |  | Language Index |  | Section 6 Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 23 May 2000. |