[abc-users] Loading aspects into Soot directly in memory

 
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Ok, thanks to Kevin. I overwrote the pass to not check my generated
sources. But now I got a problem deeper down...

Exception in thread "main" polyglot.util.InternalCompilerError:
unhandled exception during compilation
        at abc.main.Main.run(Main.java:569)
        at abc.main.Main.main(Main.java:197)
        at junit.LTLParsingTest.testParsing(LTLParsingTest.java:27)
        at junit.LTLParsingTest.main(LTLParsingTest.java:33)
Caused by: java.lang.RuntimeException: couldn't find class:
rwth.i2.ltlrv.formulas.F302749537 (is your soot-class-path set
properly?)
        at soot.SootResolver.bringToHierarchy(SootResolver.java:139)
        at soot.SootResolver.bringToSignatures(SootResolver.java:172)
        at soot.SootResolver.bringToBodies(SootResolver.java:214)
        at soot.SootResolver.processResolveWorklist(SootResolver.java:103)
        at soot.SootResolver.resolveClass(SootResolver.java:89)
        at soot.Scene.loadClass(Scene.java:329)
        at abc.main.Main.compile(Main.java:753)
        at abc.main.Main.run(Main.java:480)
        ... 3 more

Apparently Soot tries to physically load the aspect class from disk.
However, as mentioned before, it does normally not exist on disk. Is
there a way of loading the aspect directly "in memory", so without
writing it and reading it in again?

Thanks,
Eric

- --
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University

-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3

iQA/AwUBQh4/lMwiFCm7RlWCEQIX5ACgloM7/lkhhGy2+72bSd4+e56EhW0AoJs/
0jE8NdJx6+q/EzgiBP8+NQVb
=95H6
-----END PGP SIGNATURE-----
Received on Thu Feb 24 20:57:05 2005