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)` Returns the set of groups in which `p` belongs.
`static Label` | `labelOf(java.lang.String file)` Get the security label of `file`.
`static void` | `setPolicy(java.lang.String file, PrivacyPolicy p)` Set the access(read) policy 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)

  Get the security label of `file`.

### setPolicy

    public static void setPolicy(java.lang.String file,
                                 PrivacyPolicy p)
                          throws java.io.IOException

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

  Throws:
    `java.io.IOException`

### groups

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

  Returns the set of groups in which `p` belongs.

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