Package org.processmining.specpp.orchestra

Class ExecutionEnvironment.ExecutionEvironmentThread

java.lang.Object

java.lang.Thread

org.processmining.specpp.orchestra.ExecutionEnvironment.ExecutionEvironmentThread

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

ExecutionEnvironment

public static class ExecutionEnvironment.ExecutionEvironmentThread
extends java.lang.Thread

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor	Description
ExecutionEvironmentThread(ExecutionEnvironment.EnvironmentSettings envs, java.util.function.Consumer<ExecutionEnvironment> user, java.lang.Runnable finallyClause)

Method Summary

Modifier and Type	Method	Description
ExecutionEnvironment	getExecutionEnvironment()
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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ExecutionEvironmentThread

public ExecutionEvironmentThread(ExecutionEnvironment.EnvironmentSettings envs,
                                 java.util.function.Consumer<ExecutionEnvironment> user,
                                 java.lang.Runnable finallyClause)

Method Detail

getExecutionEnvironment

public ExecutionEnvironment getExecutionEnvironment()

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread