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 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.
Produced with Amaya