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

    Constructors
    Constructor and Description
    `FileSystem()`

  - ### Method Summary

    All Methods Static Methods Concrete Methods
    Modifier and Type | Method and Description
    --- | ---
    `static java.util.Set<Principal>` | `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<Principal> groups(NativePrincipal p)

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