[Soot-list] Class java.util.Collections$EmptySet doesn't have method <init>([java.util.Collections$1]) : void; failed to resolve in superclasses and interfaces

[Ondrej Lhotak]

What command-line options have you set?

One possible cause of this is trying to do whole-program analyses
without putting Soot in whole-program mode (with the -whole-program
option).

The default "fast" abc resolver only resolves classes needed for
intra-procedural analyses. Whole-program mode switches to the full
resolver which resolves everything needed.

Ondrej

On Wed, Jan 25, 2006 at 05:10:53PM -0500, Aiwu Shi wrote:
> 
> hi,
>    I am using the Spark/soot for points-to analysis. when I execute the
> SparkTransformer.v().transform("cg.spark", sparkOptions), I got the error
> message like:
>  
> Class java.util.Collections$EmptySet doesn't have method <init>(
> [java.util.Collections$1]) : void; failed to resolve in superclasses and
> interfaces
>  
> actually, all the library jar files are in the soot class path.
> if I manually load the class, e.g.,  Scene.v().loadClassAndSupport
> ("java.util.Collections$EmptySet ")  before executing SparkTransformer,   the
> error message disappear.
>  
> I dont know why?   how to fix the problem?
>  
> thanks
>  
>  Aiwu
>    

> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list