Package org.jacop.fz
Class RunWhenShuttingDown
- java.lang.Object
-
- java.lang.Thread
-
- org.jacop.fz.RunWhenShuttingDown
-
- All Implemented Interfaces:
java.lang.Runnable
public class RunWhenShuttingDown extends java.lang.Thread
-
-
Constructor Summary
Constructors Constructor Description RunWhenShuttingDown(Parser parser)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
run()
-
Methods inherited from class java.lang.Thread
activeCount, checkAccess, clone, countStackFrames, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, onSpinWait, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, suspend, toString, yield
-
-