|
JanosVM v1.0 API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FileSystemSpec | |
edu.utah.janosvm.resources | Resources managed by the JanosVM on a per-team basis. |
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. |
|
JanosVM v1.0 API | |||||||||
PREV NEXT | FRAMES NO FRAMES |