Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD