public class Pool
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
POOL_DEFAULT
Default number of worker threads in the fixed pool.
|
static java.lang.Integer |
POOL_UNLIMITED
Special constant for variable number of worker threads.
|
Constructor and Description |
---|
Pool(java.lang.Integer poolSize)
Creates and initialises a new pool of workers.
|
Modifier and Type | Method and Description |
---|---|
void |
executeRequestedHandler(Handler requestedHandler)
Executes the given prepared correction handler.
|
public static int POOL_DEFAULT
Executors.newFixedThreadPool(int)
public static java.lang.Integer POOL_UNLIMITED
Executors.newCachedThreadPool()
public Pool(java.lang.Integer poolSize)
poolSize
- Requested size of the pool or null
.POOL_UNLIMITED
public void executeRequestedHandler(Handler requestedHandler)
requestedHandler
- Correction handler instance to be executed.