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.