2014-07-30 07:35:57 -07:00
|
|
|
class Object_Impl (Base) {
|
2014-05-01 05:07:26 -07:00
|
|
|
properties {
|
|
|
|
a {
|
|
|
|
set {
|
2014-08-07 08:58:45 -07:00
|
|
|
return: bool (false);
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
|
|
|
get {
|
|
|
|
}
|
|
|
|
keys {
|
2014-06-26 02:52:17 -07:00
|
|
|
const(char)* part;
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
|
|
|
values {
|
2014-09-10 07:06:12 -07:00
|
|
|
own(list<int>*) value @const_set;
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
b {
|
|
|
|
set {
|
|
|
|
}
|
|
|
|
get {
|
|
|
|
/* set as virtual pure - no implementation expected */
|
|
|
|
}
|
|
|
|
values {
|
2014-09-08 06:52:49 -07:00
|
|
|
own(list<int>*) value;
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
methods {
|
2014-09-01 07:53:35 -07:00
|
|
|
constructor_1 {
|
2014-08-27 07:01:09 -07:00
|
|
|
params {
|
|
|
|
@in int a;
|
|
|
|
@in char b;
|
|
|
|
}
|
|
|
|
}
|
2014-09-01 07:53:35 -07:00
|
|
|
constructor_2 {
|
2014-08-27 07:01:09 -07:00
|
|
|
}
|
2014-05-01 05:07:26 -07:00
|
|
|
foo1 {
|
|
|
|
/*@ comment foo */
|
|
|
|
params {
|
|
|
|
@in int a; /*@ a */
|
2014-07-08 06:15:36 -07:00
|
|
|
@inout char b;
|
2014-05-01 05:07:26 -07:00
|
|
|
@out double c;
|
|
|
|
}
|
2014-08-07 08:58:45 -07:00
|
|
|
return: char * (null); /*@ comment for method return */
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
2014-07-22 09:13:24 -07:00
|
|
|
foo2 @const {
|
2014-05-01 05:07:26 -07:00
|
|
|
/*@ comment foo */
|
|
|
|
params {
|
|
|
|
@in int a;
|
2014-06-26 02:52:17 -07:00
|
|
|
@in const(char)* b;
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
pure_foo3 {
|
|
|
|
/* set as virtual pure - no implementation expected */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
implements {
|
2014-06-20 02:45:55 -07:00
|
|
|
class.constructor;
|
|
|
|
class.destructor;
|
|
|
|
Base.constructor;
|
|
|
|
Base.destructor;
|
2014-08-29 03:40:29 -07:00
|
|
|
@virtual .pure_foo3;
|
|
|
|
@virtual .b.get;
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|
2014-09-01 07:53:35 -07:00
|
|
|
constructors {
|
|
|
|
.constructor_1;
|
|
|
|
.constructor_2;
|
|
|
|
}
|
2014-05-01 05:07:26 -07:00
|
|
|
}
|