Contents |
Prev |
Next |
Index
Assignment Compatibility
An expression e of
type te is assignment compatible with a
variable v of
type Tv if one of the following conditions holds:
-
Te and Tv are the
same type.
-
Te and Tv are
numeric types and
Tv includes
Te.
-
Te and Tv are
record types and
Te is an
extension of
Tv and the dynamic type of v is
Tv.
-
Te and Tv are
pointer types and
Te is an
extension of
Tv.
-
Tv is a pointer
type or procedure type
and e is NIL.
-
Tv is ARRAY n OF CHAR, e is a
string constant with m
characters, and m < n.
-
Tv is a
procedure type and e
is the name of a
procedure whose
formal parameters
match those of
Tv.
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