Uses of Class
edu.utah.janosvm.resources.FileSystemSpec

Packages that use FileSystemSpec

edu.utah.janosvm.resources	Resources managed by the JanosVM on a per-team basis.
java.lang.isolate	JanosVM Isolate API Prototype

Uses of FileSystemSpec in edu.utah.janosvm.resources

Methods in edu.utah.janosvm.resources that return FileSystemSpec

static FileSystemSpec	FileSystemSpec.current()
static FileSystemSpec	FileSystemSpec.defaultSpec()

Methods in edu.utah.janosvm.resources with parameters of type FileSystemSpec

static void

FileSystemResource.change(FileSystemSpec fss) Change the file system resource for this team.

Uses of FileSystemSpec in java.lang.isolate

Methods in java.lang.isolate that return FileSystemSpec

private static FileSystemSpec

Isolate.makeFileSystemSpec(java.util.prefs.TransientPreferences tp)