[Soot-list] Problem with classpath / J2ME

[Marco Kaufmann]

>  //  hack for J2ME library, reported by Stephen Cheng 
>    if (!G.v().isJ2ME) {
>      typeVariable(hierarchy.CLONEABLE);
>      typeVariable(hierarchy.SERIALIZABLE);
>    } 
   
  OK, just setting isJ2ME = true it works fine now. However, why is this 
  field public final and why isn't there a command line option to set it? 
  I changed it to public static and added the option "-j2me", which sets 
  it true.
   
  There was still one minor problem, namely line 239:
   
  resolveClassErrorSet.add(AnySubType.v(Scene.v().getRefType("java.lang.ClassFormatError")));
   
  in soot.toolkits.exceptions.ThrowableSet throwed a NullPointerException. 
  I just outcommented this line and it works, but I hope this won't have 
  unwanted side effects?
   
  Marco
   
   

       
---------------------------------
Heute schon einen Blick in die Zukunft von E-Mails wagen? Versuchen Sie´s mit dem  neuen Yahoo! Mail. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070524/f19bfd9a/attachment.htm