[abc-users] About the previous post: InternalCompilerError: unhandled exception during weaving/optimisation

From: Henrique Rebêlo <hemr_at_cin.ufpe.br>
Date: Sat, 7 Mar 2009 14:49:19 -0300

Hi all,

  I realized that the below post (which was my first post) didn't arrived in
the abc list. Please read it, and consider the example
  in the third post to see the problem that I have faced with ...

best regards!

Henrique Rebêlo

---------- Forwarded message ----------
From: Henrique Rebêlo <hemr_at_cin.ufpe.br>
Date: Sat, Mar 7, 2009 at 2:29 AM
Subject: Re: InternalCompilerError: unhandled exception during
weaving/optimisation
To: abc-users_at_comlab.ox.ac.uk

Hello,

 I'm new in this list, and I work with AspectJ using both ajc and abc
weavers.

 My work consists in converting JML specifications into aspects to check
those specifications during runtime. Since I allow both Java SE and Java ME
dynamic assertion checking... enventually we need to use abc for constrained
environments such as Java ME.

 In this way, I got an error during a Java ME compilation using abc...

       thread "main" polyglot.util.InternalCompilerError: unhandled
exception during weaving/optimisation
     [java] at
abc.main.CompileSequence.runSequence(CompileSequence.java:142)
     [java] at abc.main.Main.run(Main.java:406)
     [java] at abc.main.Main.main(Main.java:144)
     [java] Caused by: polyglot.util.InternalCompilerError: Exception while
processing <examples.cityguide.MapCanvas: boolean
accessor$checkPre$visitorStateChanged$251(examples.cityguide.CityMap,examples.cityguide.MapListener)>
     [java] at abc.main.CompileSequence.weave(CompileSequence.java:414)
     [java] at
abc.main.CompileSequence.runSequence(CompileSequence.java:115)
     [java] ... 2 more
     [java] Caused by: java.lang.NullPointerException
     [java] at soot.AbstractValueBox.setValue(AbstractValueBox.java:42)
     [java] at
soot.jimple.internal.JimpleLocalBox.<init>(JimpleLocalBox.java:39)
     [java] at soot.jimple.Jimple.newLocalBox(Jimple.java:850)
     [java] at
soot.jimple.internal.JInterfaceInvokeExpr.<init>(JInterfaceInvokeExpr.java:42)
     [java] at
soot.jimple.Jimple.newInterfaceInvokeExpr(Jimple.java:463)
     [java] at
abc.soot.util.MethodAccessorMethodSource.getBody(MethodAccessorMethodSource.java:100)
     [java] at
soot.SootMethod.getBodyFromMethodSource(SootMethod.java:82)
     [java] at soot.SootMethod.retrieveActiveBody(SootMethod.java:329)
     [java] at abc.main.CompileSequence.weave(CompileSequence.java:410)
     [java] ... 3 more
     [java] Java Result: 1

the files that I used are in an attached file!!

So, can someone help me with this issue?. Its important to note that this
code works fine (compiles ok) using ajc!

the above error occurs using both abc 1.2 and abc 1.3...

regards,

 Henrique Rebêlo

-- 
Henrique Rebêlo, Centro de Informática, UFPE
http://www.cin.ufpe.br/~hemr <http://www.cin.ufpe.br/%7Ehemr>
-- 
Henrique Rebêlo, Centro de Informática, UFPE
http://www.cin.ufpe.br/~hemr
Received on Sat Mar 07 2009 - 17:49:30 GMT

This archive was generated by hypermail 2.2.0 : Sun Mar 08 2009 - 23:00:11 GMT