| # Section 6.3: Method Signatures |

The features of abstract classes are all expressed as method signatures - either as a routine or as an iter. This section specifies the common concrete syntax only. All abstract syntax and semantics are specified under iter or routine pages.

#### Concrete Syntax

abstract signature = abstract routine signature | abstract iter signature ;

identifier list = identifier {Comma_SY, identifier} ;

return signature = Colon_SY, type specifier ;

### Semantics

The abstract syntax and static semantics associated with a method signature are given in the iter/routine specifications. There can be, of course, no dynamic semantics as these features are merely signatures.

| Specification Index |  | Language Index |  | Section 6 Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Monday, 22 May 2000. |