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

Packages that use JmlFileSystem

org.eclipse.jdt.internal.compiler.batch

Uses of JmlFileSystem in org.eclipse.jdt.internal.compiler.batch

Methods in org.eclipse.jdt.internal.compiler.batch that return JmlFileSystem

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