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