edu.nyu.cs.pdsg.drbac
Class ProofMonitorDialog.PListener

java.lang.Object
  extended byedu.nyu.cs.pdsg.drbac.ProofMonitorDialog.PListener
All Implemented Interfaces:
ProofChangedListener
Enclosing class:
ProofMonitorDialog

class ProofMonitorDialog.PListener
extends java.lang.Object
implements ProofChangedListener


Constructor Summary
(package private) ProofMonitorDialog.PListener()
           
 
Method Summary
 void proofChanged(ProofChangedEvent event)
          The event contains an Object source and an Object status.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofMonitorDialog.PListener

ProofMonitorDialog.PListener()
Method Detail

proofChanged

public void proofChanged(ProofChangedEvent event)
Description copied from interface: ProofChangedListener
The event contains an Object source and an Object status. What the application decides to do with these is app-dependent.

Specified by:
proofChanged in interface ProofChangedListener


Copyright (c) 2002-2003 New York University RLAB