Issue while compiling the project.

[ankur-1989]

@vineethk
Hello Vineeth,
As part of my research, I was actually using this project for the evaluation of my research but when I am compiling this project, it is giving me some errors. Could you please help me in a direction How can I resolve this?

[info] Loading settings for project global-plugins from idea.sbt,plugins.sbt ...
[info] Loading global plugins from /home/ankur/.sbt/1.0/plugins
[info] Loading project definition from /home/type-refine/project
[info] Loading settings for project type-refine from build.sbt ...
[info] Set current project to JSAI (in build file: /home/type-refine/)
[info] Executing in batch mode. For better performance use sbt's shell
[info] Compiling 49 Scala sources to /home/type-refine/target/scala-2.10/classes ...
[info] Non-compiled module 'compiler-bridge_2.10' for Scala 2.10.1. Compiling...
error: error while loading CharSequence, class file '/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar(java/lang/CharSequence.class)' is broken
(class java.lang.RuntimeException/bad constant pool tag 18 at byte 10)
error: error while loading Comparator, class file '/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar(java/util/Comparator.class)' is broken
(class java.lang.RuntimeException/bad constant pool tag 18 at byte 20)
error: error while loading AnnotatedElement, class file '/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar(java/lang/reflect/AnnotatedElement.class)' is broken
(class java.lang.RuntimeException/bad constant pool tag 18 at byte 76)
error: error while loading Arrays, class file '/usr/lib/jvm/java-8-oracle/jre/lib/rt.jar(java/util/Arrays.class)' is broken
(class java.lang.RuntimeException/bad constant pool tag 18 at byte 765)
/tmp/sbt_faed9a5f/xsbt/ExtractAPI.scala:710: error: java.util.Comparator does not take type parameters
private[this] val sortClasses = new Comparator[Symbol] {
^
5 errors found
[info] Attempting to fetch org.scala-sbt:compiler-bridge_2.10:1.2.4.
[error] (Compile / compileIncremental) Error compiling the sbt component 'compiler-bridge_2.10'
[error] Total time: 6 s, completed Mar 23, 2019 2:52:32 AM

Thanks and Regards,
Ankur Gupta

[maemre]

The issue seems to be caused by the version of Scala being too old to support Java 8. I upgraded the project to Scala 2.12. Please let us know if it fixes the issue for you.

[ankur-1989]

That worked. Thank a lot.
Could you please also tell me which option do I need to choose if I need to run the different type refinement analysis such as B T TP TPUNF using JSAI?
Thanks and Regards,
Ankur

[maemre]

Unfortunately I don't know how the flags map to different levels of refinement in the paper, as I am not an author of the paper. Maybe @vineethk can answer that.