|
types
|
|
RootClass = autocons system
|
|
|[
|
|
var
|
|
myOtherClassObject : OtherClass = new(OtherClass,"OtherClassObject") ;
|
|
initialized : bool = false
|
|
actions
|
|
obs init = requires initialized = false : initialized := true end
|
|
do
|
|
init ()
|
|
od
|
|
]| ;
|
|
OtherClass = system
|
|
|[
|
|
var
|
|
initialized : bool = false
|
|
actions
|
|
obs init = requires initialized = false : initialized := true end
|
|
do
|
|
init ()
|
|
od
|
|
]|
|
|
system
|
|
RootClass [] OtherClass
|