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.