jif.policy
Class Principal

java.lang.Object
  |
  +--jif.policy.Principal

Direct Known Subclasses:

Group, User

public class Principal

extends java.lang.Object

This class contains information about a Jif principal. It should be distinguished from jif.lang.Principal, which represents a Jif principal itself.

Constructor Summary

Principal(java.lang.String name)

Principal(java.lang.String name, java.util.Set superiors)

Method Summary

void	addSuper(Principal p)
static java.lang.String	dismangle(java.lang.String name)
boolean	isGroup()
static java.lang.String	mangle(java.lang.String name)
static java.lang.String	mangle(java.lang.String name, boolean isGroup)
void	save() Saves the principal to a Java class that extends jif.lang.Principal.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Principal

public Principal(java.lang.String name)

Principal

public Principal(java.lang.String name,
                 java.util.Set superiors)

Method Detail

addSuper

public void addSuper(Principal p)

isGroup

public boolean isGroup()

mangle

public static java.lang.String mangle(java.lang.String name)

mangle

public static java.lang.String mangle(java.lang.String name,
                                      boolean isGroup)

dismangle

public static java.lang.String dismangle(java.lang.String name)

save

public void save()
          throws java.io.IOException

Saves the principal to a Java class that extends jif.lang.Principal.