Sather Home Page

Section 6.6.7:
Stub Definition

The stub definition is provided for use in partial classes to provide a 'forward' definition of a feature which the code written in that partial class relies on being available from the including class - or some other partial class also included.

Concrete Syntax

stub = Stub_SY, abstract signature ;

Abstract Syntax

The abstract syntax for this definition will be found in the definitions of routine and iter signatures.

Static Semantics

The well-formedness function for this definition is identical to the functions specified for the definitions of routine and iter signatures.

Dynamic Semantics

Since this is a definition for the purposes of type conformance and graph checking at compile time, there are no corresponding dynamic semantics.


Specification Index Language Index Section 6 Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Friday, 26 May 2000.
Produced with Amaya