Using OpenJML class, source, and specifications paths

Finding source, class and specification files

When a Java compiler compiles source files, it considers three types of files: The OpenJML tool considers the same files, but also needs

The OpenJML tool behaves in a way similar to a typical Java compiler, making use of three directory paths - the classpath, the sourcepath, and the specspath. These paths are standard lists of directories or jar files, separated either by colons (Unix) or semicolons (Windows). Java packages are subdirectories of these directories.

Note that with no command-line options or Java properties set, the result is simply that the system CLASSPATH is used for all of these paths. A common practice is to simply use a single directory path, specified on the command-line using -classpath, for all three paths. The paths are used as follows to find relevant files: