Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## jif.runtime
Class FileSystem

    java.lang.Object
      jif.runtime.FileSystem

    public class FileSystem

extends java.lang.Object

This class represents the file system, through which you can query and set the security labels of files.

Constructor Summary
`FileSystem()`

Method Summary
`static java.util.Set` | `groups(NativePrincipal p)` Set the access(read) policy of `file`.
`static Label` | `labelOf(java.lang.String file)` Get the security label of `file`.

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### FileSystem

    public FileSystem()

Method Detail

### labelOf

    public static Label labelOf(java.lang.String file)
                         throws java.io.FileNotFoundException

  Get the security label of `file`.

  Throws:
    `java.io.FileNotFoundException`

### groups

    public static java.util.Set groups(NativePrincipal p)

  Set the access(read) policy of `file`.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD