edu.nyu.cs.pdsg.drbac
Class SearchResultContainer

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

public class SearchResultContainer
extends java.lang.Object

The results of a successful search, as well as the delegations to support it


Field Summary
 SearchAccumulator searchAccumulator
           
 SearchResult searchResult
           
 
Constructor Summary
SearchResultContainer(SearchResult sr, SearchAccumulator sa)
          Standard initializer
 
Method Summary
 int status()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

searchResult

public SearchResult searchResult

searchAccumulator

public SearchAccumulator searchAccumulator
Constructor Detail

SearchResultContainer

public SearchResultContainer(SearchResult sr,
                             SearchAccumulator sa)
Standard initializer

Parameters:
sr - the result of the search
sa - the paths that can be reached from the role in question
Method Detail

status

public int status()
Returns:
the status of the proof

toString

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


Copyright (c) 2002-2003 New York University RLAB