Contents | Prev | Next | Index
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
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 JVM (Last documentation update
Jun 2, 2000)
Copyright © 1998 Mill Hill &
Canterbury Corporation, Ltd. All rights reserved
Please send any comments or corrections to
mhc@webcom.com