[Soot-list] "Duplicate class" error

[Eric Bodden]

So you are trying to analyse JFlex? I guess that might lead into trouble
because Jflex classes are already loaded (Soot uses them IIRC) and then
you try to load a second version from your disk with -src-prec java ...
In any way I am 100% sure that it is a classpath / sourcepath issue.

Eric  

> -----Original Message-----
> From: soot-list-bounces at sable.mcgill.ca 
> [mailto:soot-list-bounces at sable.mcgill.ca] On Behalf Of The Hung Dao
> Sent: Tuesday, April 11, 2006 12:56 PM
> To: soot-list at sable.mcgill.ca
> Subject: [Soot-list] "Duplicate class" error
> 
> I run Soot inlining for JFlex and I have this error:
> production_part.java:13-94: Duplicate class 
> "java_cup.production_part".
> compilation failed: Could not compile
>  
> What does it mean and how to fix?
>  
> PS: I turned off all option except Call graph option. I type 
> this command: 
> java soot.Main --app -w -debug-resolver -process-dir C:\JFlex 
> -src-prec java -main-class JFlex/Main -full-resolver -p jb 
> off -p jj off -p cg verbose:true,jdkver:4,trim-clinit:false 
> -p cg.cha enabled:true -p wstp enabled:false -p wsop 
> enabled:false -p wjtp enabled:false -p wjop.smb enabled:false 
> -p wjop.si enabled:false,expansion-factor:5 -p wjap 
> enabled:false -p shimple enabled:false -p stp enabled:false 
> -p sop enabled:false -p jtp enabled:false -p jop 
> enabled:false -p jap enabled:false -p gb enabled:false -p gop 
> enabled:false -p bb enabled:false -p bop enabled:false -p tag 
> enabled:false 
>