Search
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
OoasTools
All Projects
OoasTools
Overview
Activity
Issues
Wiki
Repository
Download (406 Bytes)
Statistics
| Revision:
root
/
branches
/
compiler
/
cSharp
/
ooasCompiler
/
doc
/
examples
/
Self.ooas
View
History
Annotate
types
Class1 = autocons system
|[
var
O2 : Class2 = new (Class2);
flag : bool = false
methods
doSomething =
flag := true
end
actions
ctr init = requires true :
O2.init(self)
end
do
init
od
]| ;
Class2 = system
|[
var
O1 : Class1 = nil
methods
init (object : Class1) = requires (object <> nil) :
O1 := object
end
end
]|
system
Class1 [] Class2
« Previous
1
…
4
5
6
7
8
9
Next »
(6-6/9)
Loading...