edu.nyu.cs.pdsg.drbac
Class Proof

java.lang.Object
  extended byedu.nyu.cs.pdsg.drbac.Proof

public class Proof
extends java.lang.Object

A structure containing the delegations needed to prove that a subject gets an object, and the constraints on this proof.


Field Summary
protected  AttributeSet constraints
           
protected  java.util.ArrayList delegs
          This contains DelegationWrappers, pointing to the delegations that compose the chain
protected  Role object
           
protected  boolean status
           
protected  Role subject
           
 
Constructor Summary
Proof(Role _subject, Role _object, java.util.ArrayList _delegs, AttributeSet _constraints)
          Initialize a Proof
 
Method Summary
 AttributeSet getConstraints()
           
 java.util.ArrayList getDelegs()
           
 Role getObject()
           
 Role getSubject()
           
 java.lang.String toString()
           
 boolean validate()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

delegs

protected java.util.ArrayList delegs
This contains DelegationWrappers, pointing to the delegations that compose the chain


status

protected boolean status

subject

protected Role subject

object

protected Role object

constraints

protected AttributeSet constraints
Constructor Detail

Proof

public Proof(Role _subject,
             Role _object,
             java.util.ArrayList _delegs,
             AttributeSet _constraints)
Initialize a Proof

Method Detail

validate

public boolean validate()
Returns:
true if this proof is valid

getSubject

public Role getSubject()

getObject

public Role getObject()

getDelegs

public java.util.ArrayList getDelegs()

getConstraints

public AttributeSet getConstraints()
Returns:
a copy of the constraints AttributeSet.

toString

public java.lang.String toString()
Returns:
a human readable representation of this proof


Copyright (c) 2002-2003 New York University RLAB