# Section 6.7.11:
Protect Statement

#### Concrete Syntax

protect statement = | Protect_SY, statement list,
| [type guard, guarded clause],
| [{type guard, 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: Tuesday, 23 May 2000. |