[e-lang] Joe-E 1.0.1 out

[Adrian Mettler]

Verifier 1.0.1 is up; it fixes the bug that Tyler found in 1.0.0.
As always, comments are welcome.
-Adrian

Adrian Mettler wrote:
> Thanks for finding this.  It's now fixed in my working copy, which I'll 
> release soon along with fixes for any other bugs that are found in the 
> next few days.
> (Ironically, I already refactored the locals handling to fix just this 
> sort of bug, but didn't implement one small part of it generally enough, 
> thus only handling a special case of the problem exposed here.  But it 
> made doing it right a much easier fix.)
> -Adrian
> 
> Tyler Close wrote:
>> Hi Adrian,
>>
>> This looks very good so far.
>>
>> I think I've hit a bug in the verifier. The following code:
>>
>> import org.joe_e.Powerless;
>> import org.joe_e.Struct;
>>
>> public final class
>> Factory extends Struct implements Powerless {
>>
>>     interface F {
>>         void
>>         run(Struct a);
>>     }
>>
>>     public F
>>     build(final Factory next) {
>>         return new F() {
>>             public void
>>             run(final Struct a) {
>>                 new Runnable() {
>>                     public void
>>                     run() { a.equals(a); }
>>                 };
>>             }
>>         };
>>     }
>> }
>>
>> produces the error:
>>
>> "Construction of anonymous class may grant access to non-Immutable local state."
>>
>> on the line that constructs the new F().
>>
>> Tyler
>>
>>
>> On 7/10/07, Adrian Mettler <amettler at cs.berkeley.edu> wrote:
>>> The Joe-E verifier version 1.0.0 is now available from
>>> http://www.joe-e.org
>>>
>>> It can be added to your eclipse install (tested with version 3.2, may
>>> work with older versions) following the instructions given there.  If
>>> you already have 0.5, upgrading should be easy; just tell Eclipse
>>> Updates to grab the new version.
>>>
>>> There have been a lot of bugs fixed since the December (0.5) version;
>>> there's also a decent test suite with unit tests for each Joe-E
>>> restriction, which hopefully means far fewer bugs remain. The only big
>>> thing missing feature-wise is a good taming database.  The taming checks
>>> should be feature-complete, and there is a way to specify taming
>>> decisions, but safej support and an adequate set of tamed classes is yet
>>> to come.
>>>
>>> Comments and suggestions are welcome.
>>>
>>> -Adrian
>>> _______________________________________________
>>> e-lang mailing list
>>> e-lang at mail.eros-os.org
>>> http://www.eros-os.org/mailman/listinfo/e-lang
>>>
>>
> 
> _______________________________________________
> e-lang mailing list
> e-lang at mail.eros-os.org
> http://www.eros-os.org/mailman/listinfo/e-lang