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
Sep 02, 2004)
Copyright © 1999-2004 J.Neuhoff - mhccorp.com
. All rights reserved.
Please send any comments or corrections to
neuhoff@mhccorp.com