[abc] NPE in coffie

Hi. As I wrote earlier I am trying to get Aprove to weave with abc. By
now I managed to get hold of all the necessary jars (interestingly, ajc
would require less classes to be on the classpath for weaving - but
maybe that's do to the fact that they allow separate compilation and
weaving), but now I am stuck because of the following nullpointer exception:

Exception in thread "main" polyglot.util.InternalCompilerError:
Exception while processing <aprove.Framework.Logic.SetOfFilterMask:
aprove.Framework.Logic.SetOfFilterMask
andOrOr(aprove.Framework.Logic.SetOfFilterMask,aprove.Framework.Logic.SetOfFilterMask,boolean)>
        at abc.main.Main.weave(Main.java:901)
        at abc.main.Main.run(Main.java:519)
        at abc.main.Main.main(Main.java:206)
Caused by: java.lang.NullPointerException
        at java.util.Hashtable.get(Hashtable.java:336)
        at soot.coffi.CFG.adjustLineNumberTable(CFG.java:991)
        at soot.coffi.CFG.eliminateJsrRets(CFG.java:462)
        at soot.coffi.CFG.<init>(CFG.java:89)
        at soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:87)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:80)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:304)
        at abc.main.Main.weave(Main.java:897)
        ... 2 more

I think it should be caused by Coffie. Can anybody help me with this one?

Cheers,
Eric
Received on Wed Jan 18 16:05:52 2006