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.