Hi,
the admittedly now out-of-date documentation for const says, of class
member functions, that the syntax for member functions which do not
modify member variables should be
invariant void foo()
Does that mean that all "getter" property functions will have to be
re-prototyped?
As in
class C
{
private int my_x;
invariant int x() { return x; }
}
?