| # Section 6.6.4: Routine Definition |

#### Concrete Syntax

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: Monday, 22 May 2000. |