Sather Home Page

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.
Produced with Amaya