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.