|Re: Recalling an invariant from an another invariant in OCLinEcore [message #1294414 is a reply to message #1294266]
||Sun, 13 April 2014 12:37
| Ed Willink
Registered: July 2009
You can avoid cut and paste by defining the re-useable functionality as
a property or operation.
def: XYZ : Boolean = ....
(Since you can do that, there is case for a language extension that
allows invariant names to be accessed as a variable. ... implies XYZ.)
On 13/04/2014 10:42, Emre T wrote:
> is it possible to recall an in the same class declared invariant in
> another invariant? An example would look like this:
> invariant XYZ: -- something something --
> invariant Choice: self.booleanValue = true implies "XYZ"
> I know I actually can copy paste the entire invariant, but I would
> have really preferred such an option.
Powered by FUDForum
. Page generated in 0.31581 seconds