[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
To: abc-users_at_comlab.ox.ac.uk


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

 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
     [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
     [java] at abc.main.CompileSequence.weave(CompileSequence.java:414)
     [java] at
     [java] ... 2 more
     [java] Caused by: java.lang.NullPointerException
     [java] at soot.AbstractValueBox.setValue(AbstractValueBox.java:42)
     [java] at
     [java] at soot.jimple.Jimple.newLocalBox(Jimple.java:850)
     [java] at
     [java] at
     [java] at
     [java] at
     [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...


 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
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