root/branches/compiler/cSharp/ooasCompiler/doc/examples/Cast.ooas
| 3 | krennw | types
|
|
Class1 = autocons system
|
|||
|[
|
|||
var
|
|||
O2 : Class2 = new (Class2);
|
|||
O3 : Class3 = new (Class3);
|
|||
OL : list[2] of Class2 = [nil]
|
|||
actions
|
|||
ctr fill = requires true :
|
|||
OL := [O2]^[O3 as Class2]
|
|||
end
|
|||
do
|
|||
fill
|
|||
od
|
|||
]| ;
|
|||
Class2 = system
|
|||
|[
|
|||
]| ;
|
|||
Class3 = system (Class2)
|
|||
|[
|
|||
]|
|
|||
system
|
|||
Class1
|