edu.stanford.rt.credential
Class RoleDefinition

java.lang.Object
  |
  +--edu.stanford.rt.credential.RoleDefinition

public class RoleDefinition
extends java.lang.Object

Author:
Ninghui Li, Sandra Qiu
Implementation of role definition in RTML, which is represented by Definition group element. A role definition has a head and a body.

Field Summary
private  PrincipalExpression body
          Role body.
private  CredentialDomain context
          role definition context
private  Role head
          Role head.
 
Constructor Summary
RoleDefinition(CredentialDomain context, Role head, PrincipalExpression body)
          Constructor for RoleDefinition.
 
Method Summary
 PrincipalExpression getBody()
          Returns the body.
 CredentialDomain getContext()
          Method getContext.
 Role getHead()
          Returns the head.
 java.lang.String toString(java.lang.String indent)
          Method toString.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

head

private Role head
Role head.


body

private PrincipalExpression body
Role body.


context

private CredentialDomain context
role definition context

Constructor Detail

RoleDefinition

public RoleDefinition(CredentialDomain context,
                      Role head,
                      PrincipalExpression body)
Constructor for RoleDefinition.

Method Detail

getBody

public PrincipalExpression getBody()
Returns the body.

Returns:
PrincipalExpression

getHead

public Role getHead()
Returns the head.

Returns:
Role

getContext

public CredentialDomain getContext()
                            throws DomainSpecException
Method getContext.

Returns:
CredentialDomain
DomainSpecException

toString

public java.lang.String toString(java.lang.String indent)
Method toString.

Parameters:
indent -
Returns:
String