Sather Home Page

Section 8.1.2.1:
ELT_NIL

class ELT_NIL{ETP}

Formal Types

The type definitions in this generic class specification fall into two groups :-

  1. The definition of ELT_NIL{ETP} itself (including SAME).
  2. The auxiliary vdm type needed to define the Sather type argument used in the feature definitions which follow.
types

SAME = ELT_NIL_ETP ;

-- Auxiliary Types

Element_Type = @ETP

External specifications

All features of this class are specified in the abstract class $ELT_NIL of which this class is a sub-type :-


Language Index Library Index Basic Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Monday, 26 February 2001.
Produced with Amaya