Contents |
Prev |
Next |
Index
Type Compatibility
Compatibility between two types is sometimes required, such as in
expressions or in
relational operations. Type
compatibility is important, however, as a precondition of
assignment
compatibility.
Type compatibility exists when at least one of the following conditions
is true:
-
Both types are the same.
-
Both types are real types.
-
Both types are integer types.
-
One type is a subrange of the
other.
-
Both types are subranges of the
same host type.
-
Both types are set types with compatible
base types.
-
One type is a string type and the other is either a string type or a
CHAR type.
-
One type is a POINTER and the other is any
pointer type, with some Java-specific
restrictions.
-
Both types are class types or class
reference types, and one type is derived from the other.
-
Both types are procedure types with
matching formal parameter
lists.
Contents |
Prev |
Next |
Index
Canterbury Pascal for JVM (Last documentation update
Jun 9, 2000)
Copyright © 1998 Mill Hill & Canterbury
Corporation, Ltd. All rights reserved
Please send any comments or corrections to
mhc@webcom.com