edu.nyu.cs.pdsg.drbac
Interface ProofChangedListener

All Known Implementing Classes:
CodeServerInstantiator, DelegationWrapper, DrbacAuthorizationMonitor, DrbacRoleAuthorizationMonitor, ProofMonitorDialog.PListener

public interface ProofChangedListener

An interface implemented by anyone who is interested in finding out the status of a proof


Method Summary
 void proofChanged(ProofChangedEvent e)
          The event contains an Object source and an Object status.
 

Method Detail

proofChanged

public void proofChanged(ProofChangedEvent e)
The event contains an Object source and an Object status. What the application decides to do with these is app-dependent.



Copyright (c) 2002-2003 New York University RLAB