| # Section 6.7.3: If Statement |

#### Concrete Syntax

if statement = | If_SY, expression, guarded clause,
| [Elsif_SY, expression, guarded clause},
| [default clause], End_SY ;

guarded clause = Then_SY, statement list ;

default clause = Else_SY, statement list ;

#### 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. |