Setting Up the Development Environment

1. Install JDK 8
2. Install the Checker Framework from source.
   • cd ~/hg
   • hg clone https://code.google.com/p/jsr308-langtools/ jsr308-langtools
   • hg clone https://code.google.com/p/checker-framework/ checker-framework
   • hg clone https://code.google.com/p/annotation-tools/ annotation-tools
   • export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(dirname $(readlink -f $(/usr/bin/which java)))))}
   • cd ~/hg/jsr308-langtools/make
   • ant clean-and-build-all-tools
   • export PATH=$HOME/hg/jsr308-langtools/dist/bin:${PATH}
   • cd ~/hg/annotation-tools
   • ant
   • cd ~/hg/checker-framework/checkers
   • ant
   • ant all-tests
3. Clone our fork of the checkers Eclipse plug-in.
   • cd ~/git/type-qualifier-inference
   • git clone [email protected]:reprogrammer/universal-type-qualifier-inference.git
   • cd ~/git/type-qualifier-inference/universal-type-qualifier-inference
4. Clone the Java 8 branch of Eclipse JDT Core and UI plug-ins.
   • mkdir ~/git/type-qualifier-inference/eclipse-for-java-8
   • cd ~/git/type-qualifier-inference/eclipse-for-java-8
   • git clone git://git.eclipse.org/gitroot/jdt/eclipse.jdt.ui.git
   • git clone git://git.eclipse.org/gitroot/jdt/eclipse.jdt.core.git
   • cd ~/git/type-qualifier-inference/eclipse-for-java-8/eclipse.jdt.core
   • git checkout -b BETA_JAVA8 origin/BETA_JAVA8
   • cd ~/git/type-qualifier-inference/eclipse-for-java-8/eclipse.jdt.ui
   • git checkout -b BETA_JAVA8 origin/BETA_JAVA8
5. Install Eclipse Kepler.
6. Change the JDK compliance level of the Eclipse workspace to 1.7.
7. Import the Eclipse projects from the following folders into Eclipse.
   • ~/hg/checker-framework/eclipse
   • ~/hg/checker-framework/checkers
   • ~/hg/checker-framework/javaparser
   • ~/hg/checker-framework/dataflow
   • ~/hg/checker-framework/javacutils
   • ~/hg/jsr308-langtools
   • ~/git/type-qualifier-inference/eclipse-for-java-8 excluding projects with names containing the words "test", "examples", "compiler", "astview", "jeview", "annotation", and "junit".