edu.nyu.cs.pdsg.drbac
Class ProofChangedEvent

java.lang.Object
  extended byjava.util.EventObject
      extended byedu.nyu.cs.pdsg.drbac.ProofChangedEvent
All Implemented Interfaces:
java.io.Serializable

public class ProofChangedEvent
extends java.util.EventObject

Event signaling a proof's status has changed

See Also:
Serialized Form

Field Summary
private  Proof proof
           
private  java.lang.Object status
           
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
(package private) ProofChangedEvent(java.lang.Object source, java.lang.Object status)
          Instantiate a ProofChangedEvent
 
Method Summary
 java.lang.Object getStatus()
           
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

status

private java.lang.Object status

proof

private Proof proof
Constructor Detail

ProofChangedEvent

ProofChangedEvent(java.lang.Object source,
                  java.lang.Object status)
Instantiate a ProofChangedEvent

Parameters:
source - the object which spawned this event
status - the new status of the proof
Method Detail

getStatus

public java.lang.Object getStatus()
Returns:
the status of the proof


Copyright (c) 2002-2003 New York University RLAB