Invariants of BOOLEAN_REF

[Colin Adams-3]

I just ran a program compiled with ISE 6.4 for the first time.
Immediately, I got an invariant violation when attempting to create a
BOOLEAN_REF. The tag is involutive_negation.

Interestingly, Eiffel Studio expands the text of the invariants to
look like this:

        involutive_negation: (not (not Current)) ~ (Current)
        non_contradiction: not ((not Current) and create
{BOOLEAN}.make_from_reference (Current))
        completeness: (not Current) or create {BOOLEAN}.make_from_reference (Current)

Note that in the offending case, there is no expansion of Current to
make_from_reference. Franck says this is because ~ is built-in syntax,
and not a class feature like infix or and infix and.

I'm reporting it here as I presume this is freeELKS code.
--
Colin Adams
Preston,
Lancashire,
ENGLAND

------------------------------------------------------------------------------
_______________________________________________
freeelks-devel mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/freeelks-devel

[Alexander Kogtenkov [ES]-2]

This issue was fixed in the repository, revision 324.

Alexander Kogtenkov


----- Original Message -----
From: "Colin Adams" <[hidden email]>
To: "freeelks-devel" <[hidden email]>
Sent: Wednesday, July 22, 2009 9:48 PM
Subject: [freeelks-devel] Invariants of BOOLEAN_REF

>I just ran a program compiled with ISE 6.4 for the first time.
> Immediately, I got an invariant violation when attempting to create a
> BOOLEAN_REF. The tag is involutive_negation.
>
> Interestingly, Eiffel Studio expands the text of the invariants to
> look like this:
>
> involutive_negation: (not (not Current)) ~ (Current)
> non_contradiction: not ((not Current) and create
> {BOOLEAN}.make_from_reference (Current))
> completeness: (not Current) or create {BOOLEAN}.make_from_reference (Current)
>
> Note that in the offending case, there is no expansion of Current to
> make_from_reference. Franck says this is because ~ is built-in syntax,
> and not a class feature like infix or and infix and.
>
> I'm reporting it here as I presume this is freeELKS code.
> --
> Colin Adams
> Preston,
> Lancashire,
> ENGLAND
>
> ------------------------------------------------------------------------------
> _______________________________________________
> freeelks-devel mailing list
> [hidden email]
> https://lists.sourceforge.net/lists/listinfo/freeelks-devel
>
>

------------------------------------------------------------------------------
_______________________________________________
freeelks-devel mailing list
[hidden email]
https://lists.sourceforge.net/lists/listinfo/freeelks-devel