Sather Home Page

Section 6.6.5:
Iter Definition

Concrete Syntax

The syntax of an iter definition which follows is, apart from the first line common with that of routines given in section 6.6.4.

iter definition = [Private_SY], iter name, [iter parameter pack],
[return signature],
[pre-condition],
[post-condition],
[method body] ;

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