Sather Home Page

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