RE: [abc] Indexing code generation broken?

Hi, Julian. Thanks for looking into this. Actually I thought to have a
clean and current CVS version there but maybe some old files were not
deleted properly or something. I will try again and let you know.

Cheers,

Eric

> -----Original Message-----
> From: Majordomo list server [mailto:majordomo@comlab.ox.ac.uk] On
> Behalf Of Julian Tibble
> Sent: Tuesday, August 22, 2006 12:01 PM
> To: abc@comlab.ox.ac.uk
> Subject: Re: [abc] Indexing code generation broken?
>
> Hi Eric,
>
> > I tried to do some experiments with TMs and JHotDraw today .... I
get
> > the following runtime error:
> >
> > java.lang.RuntimeException:
> > Disjunct.addBindingsForSymbolupdate_source got an invalid state
> > number: paramLocal1$526
>
> I've been trying to reproduce this problem, but with no success. Are
> you using the latest CVS abc with no modifications?
>
> One thing that puzzled me from your email is that the dava-decompiled
> version of the constraint class differed from the Jimple-decompiled
one
> - one was produced with indexing on, and the other was produced with
> indexing off.
>
> Is it possible you have mixed versions of compiled files, either
> compiled with different versions of abc or with different command-line
> options? That would likely cause the error you see.
>
> If a clean compile still produces the problems you've been seeing,
> please could you send the decompiled Java/Jimple for FailSafeEnum -
> since that is the class with the constant int which is causing the
> problem.
>
> Cheers, hope we get this sorted out!
> Julian
Received on Tue Aug 22 20:19:12 2006