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 Java (Last documentation update
Apr 19, 2000)
Copyright © 1998 Mill Hill &
Canterbury Corporation, Ltd. All rights reserved
Please send any comments or corrections to
mhc@webcom.com