Contents | Prev | Next | Index


Type Extensions

Given a type declaration Tb = RECORD(Ta) ... END, Tb is a direct extension of Ta, and ta is a direct base type of Tb. A type Tb is an extension of a type Ta (Ta is a base type of Tb) if

  1. Ta and Tb are the same types, or
  2. Tb is a direct extension of an extension of Ta

If Pa = POINTER TO Ta and Pb = POINTER TO Pb, Pb is an extension of Pa (Pa is a base type of Pb) if Tb is an extension of Ta.


Contents | Prev | Next | Index

Canterbury Oberon-2 for Java  (Last documentation update Feb 8, 2000)
Copyright © 1998 Mill Hill & Canterbury Corporation, Ltd. All rights reserved
Please send any comments or corrections to mhc@webcom.com