jif.runtime
Class FileSystem

java.lang.Object
  extended by 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.