2016-05-08 08:19:48 -07:00
|
|
|
class Ns.ColourableSquare (Ns.Colourable)
|
2014-05-02 15:55:51 -07:00
|
|
|
{
|
2014-06-19 15:54:36 -07:00
|
|
|
data: ColourableSquare_Data;
|
2015-05-07 08:36:45 -07:00
|
|
|
methods {
|
|
|
|
@property size {
|
2014-05-02 15:55:51 -07:00
|
|
|
set {
|
2015-06-05 09:03:36 -07:00
|
|
|
[[Sets size.]]
|
2014-06-19 15:54:36 -07:00
|
|
|
}
|
2014-05-02 15:55:51 -07:00
|
|
|
get {
|
2015-06-05 09:03:36 -07:00
|
|
|
[[Gets size.]]
|
2014-06-19 15:54:36 -07:00
|
|
|
}
|
|
|
|
values {
|
2015-06-05 09:03:36 -07:00
|
|
|
size: int; [[The size.]]
|
2014-06-19 15:54:36 -07:00
|
|
|
}
|
|
|
|
}
|
2015-06-05 09:03:36 -07:00
|
|
|
size_constructor {
|
|
|
|
legacy: null;
|
|
|
|
params {
|
|
|
|
@in size: int;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
size_print { [[Show the square.]] }
|
2014-06-19 15:54:36 -07:00
|
|
|
}
|
2014-09-01 07:53:35 -07:00
|
|
|
constructors {
|
|
|
|
.size_constructor;
|
|
|
|
}
|
2014-06-19 15:54:36 -07:00
|
|
|
}
|