[Checkers] Fwd: daikon compile failure

Michael Ernst mernst at csail.mit.edu
Wed Apr 23 14:12:48 EDT 2008

We are having trouble compiling Daikon.

I copied the latest version of the type qualifiers to the Daikon codebase,
because Daikon contains

  import checkers.quals.Interned;

but the definition of Interned contains all sorts of other annotations that
want to bring in the entire Checkers Framework.
Now I've broken the entire Daikon build.  (Oops!)

What is the recommended way to obtain backward compatibility for
compilation by non-JSR-308 compilers?


------- start of forwarded message -------
From: Jeff Perkins <jhp at csail.mit.edu>
To: Michael Ernst <mernst at csail.mit.edu>
Subject: daikon compile failure
Date: Wed, 23 Apr 2008 13:48:52 -0400


I get the following errors when  trying to  compile daikon.  I think the overnight
build got the same ones:

afs/csail.mit.edu/u/j/jhp/research/invariants/java/checkers/quals/Interned.java:8: package checkers.metaquals does not exist
import checkers.metaquals.*;
/afs/csail.mit.edu/u/j/jhp/research/invariants/java/checkers/quals/Interned.java:25: cannot find symbol
symbol: class TypeQualifier
/afs/csail.mit.edu/u/j/jhp/research/invariants/java/checkers/quals/Interned.java:28: cannot find symbol
symbol: class ImplicitFor
error: in class file /afs/csail.mit.edu/u/j/jhp/research/invariants/java/lib/checkers.jar(checkers/interned/InternedChecker.class): unknown enum constant javax.lang.model.SourceVersion.RELEASE_7
4 errors

I presume something is out of date with respect to the checkers, but I'm not sure
what.  Also, the last error looks like something is relying on the modified version
of the javac compiler.

------- end of forwarded message -------

More information about the checkers mailing list