constents in eifel
Posted on 2003-11-27
I am looking at different types of constness in eifel:
1) Feature that returns a constent
my_const : ABC is
Result := abc.make(xyz)
This is very bad, I changes the once to a do, this is better. But I cant make it truly const.
2) Constend methods.
I can do this this with:
Is there a way to put this ensure into an operation/macro so I dont have to retype it all the time.
check const_method: is_equal(callers old) end