Sather Home Page

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 sub-section 6.3.2 (iters) or sub-section 6.3.1 (routines).

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 and routine sub-sections. There can, of course, be 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: Wednesday, 25 October 2000.
Produced with Amaya