Sather Home Page

Section 6.6.4:
Routine Definition

Concrete Syntax

Apart from the first line of the specification of a routine definition, the remainder is common with that of an iter in section 6.6.5.

routine definition = [Private_SY], identifier, [routine parameter pack],
[return signature],
[pre-condition],
[post-condition],
[method body] ;
pre-condition = Pre_SY, expression ;
post-condition = Post_SY, expression ;
method body = Is_SY, statement list, 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: Wednesday, 25 April 2001.
Produced with Amaya