avrora.stack
Class Analyzer.MonitorThread

java.lang.Object
  java.lang.Thread
      avrora.stack.Analyzer.MonitorThread

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

Analyzer

protected class Analyzer.MonitorThread

extends java.lang.Thread

The MonitorThread class represents a thread instance that constantly monitors the progress of the stack analysis and reports on the number of states explored, edges inserted, states on the frontier, as well statistics about the propagation phase.

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

protected

Analyzer.MonitorThread()

Method Summary

void	run() The run() method simply loops while the analysis is running.

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

Constructor Detail

Analyzer.MonitorThread

protected Analyzer.MonitorThread()

Method Detail

run

public void run()

The run() method simply loops while the analysis is running. Every five seconds it reports the number of states, edges, frontier states, propagations, etc.