root / branches / compiler / cSharp / ooasCompiler / doc / examples / Objects.ooas
| 1 | 3 | krennw | types |
|---|---|---|---|
| 2 | RootClass = autocons system |
||
| 3 | |[ |
||
| 4 | var |
||
| 5 | myOtherClassObject : OtherClass = new(OtherClass,"OtherClassObject") ; |
||
| 6 | initialized : bool = false |
||
| 7 | actions |
||
| 8 | obs init = requires initialized = false : initialized := true end |
||
| 9 | do |
||
| 10 | init () |
||
| 11 | od |
||
| 12 | ]| ; |
||
| 13 | OtherClass = system |
||
| 14 | |[ |
||
| 15 | var |
||
| 16 | initialized : bool = false |
||
| 17 | actions |
||
| 18 | obs init = requires initialized = false : initialized := true end |
||
| 19 | do |
||
| 20 | init () |
||
| 21 | od |
||
| 22 | ]| |
||
| 23 | system |
||
| 24 | RootClass [] OtherClass |