org.eclipse.jdt.internal.compiler.batch
Class JmlFileSystem

java.lang.Object
  org.eclipse.jdt.internal.compiler.batch.FileSystem
      org.eclipse.jdt.internal.compiler.batch.JmlFileSystem

All Implemented Interfaces:

INameEnvironment, SuffixConstants

public class JmlFileSystem
extends FileSystem

Instances of this class are useful for looking up source files. A JmlFileSystem is like a FileSystem except that findType() will return source files rather than binary files.

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.jdt.internal.compiler.batch.FileSystem

FileSystem.Classpath, FileSystem.ClasspathNormalizer, FileSystem.ClasspathSectionProblemReporter

Field Summary

Fields inherited from interface org.eclipse.jdt.internal.compiler.util.SuffixConstants

EXTENSION_class, EXTENSION_CLASS, EXTENSION_java, EXTENSION_JAVA, SUFFIX_class, SUFFIX_CLASS, SUFFIX_java, SUFFIX_JAVA, SUFFIX_STRING_class, SUFFIX_STRING_CLASS, SUFFIX_STRING_java, SUFFIX_STRING_JAVA

Constructor Summary

JmlFileSystem(FileSystem.Classpath[] paths, java.lang.String[] initialFileNames)

Method Summary

static JmlFileSystem	make(FileSystem fileSystem)
static JmlFileSystem	make(java.lang.String[] sourcePath)

Methods inherited from class org.eclipse.jdt.internal.compiler.batch.FileSystem

cleanup, findType, findType, findType, findTypeNames, getClasspath, getClasspath, isPackage

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JmlFileSystem

public JmlFileSystem(FileSystem.Classpath[] paths,
                     java.lang.String[] initialFileNames)

Method Detail

make

public static JmlFileSystem make(FileSystem fileSystem)

make

public static JmlFileSystem make(java.lang.String[] sourcePath)