Sather Home Page

Section 6.7.21:
Lock Statement

This section of the specification is one of two which use the 'lock' keyword. The other variant is in 6.7.20 - the select statement. The separation has been made from the original documentation to emphasise tha this variant is a simple lock whereas the other is very similar to a select statement in Ada.

Concrete Syntax

lock statement = Lock_SY, expression,
guarded clause,
[default clause], End_SY ;

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: Wednesday, 25 April 2001.
Produced with Amaya