edu.nyu.cs.pdsg.drbac
Class HomeSubscription.ProofChangedThread

java.lang.Object
  extended byjava.lang.Thread
      extended byedu.nyu.cs.pdsg.drbac.HomeSubscription.ProofChangedThread
All Implemented Interfaces:
java.lang.Runnable
Enclosing class:
HomeSubscription

public class HomeSubscription.ProofChangedThread
extends java.lang.Thread


Field Summary
(package private)  DelegationWrapper delegWrapper
           
(package private)  ProofChangedEvent event
           
 
Fields inherited from class java.lang.Thread
MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY
 
Constructor Summary
HomeSubscription.ProofChangedThread(DelegationWrapper _delegWrapper, ProofChangedEvent _event)
           
 
Method Summary
 void run()
           
 
Methods inherited from class java.lang.Thread
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getContextClassLoader, getName, getPriority, getThreadGroup, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setName, setPriority, sleep, sleep, start, stop, stop, suspend, toString, yield
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

delegWrapper

DelegationWrapper delegWrapper

event

ProofChangedEvent event
Constructor Detail

HomeSubscription.ProofChangedThread

public HomeSubscription.ProofChangedThread(DelegationWrapper _delegWrapper,
                                           ProofChangedEvent _event)
Method Detail

run

public void run()


Copyright (c) 2002-2003 New York University RLAB