private static class WidgetPool.WorkArea
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Map<java.lang.String,java.lang.Integer> |
namedPools
Pool names are global, so keep a map of them (key is always lowercased).
|
private java.util.Deque<java.util.Set<java.lang.Integer>> |
namedPoolScopes
Keep the scopes of named pools.
|
private java.util.Set<java.lang.Integer> |
persistentPools
A set containing the ID of all persistent pools.
|
private java.util.Map<WrappedResource,java.lang.Integer> |
poolForResource
Identify the pool to which a resource was added (if was pooled).
|
private java.util.Map<java.lang.Integer,WidgetPool.WidgetPoolData> |
pools
A registry of pools, per its ID.
|
private java.util.Map<java.lang.Object,java.util.Set<java.lang.Integer>> |
poolsPerExtProg
Collect all the created pools for an external program.
|
private java.util.Map<java.lang.Integer,java.lang.Object> |
procForPool
Identify the external procedure used to create the pool.
|
private java.util.Set<java.lang.Integer> |
unnamedPools
A set containing the ID of all unnamed pools.
|
private java.util.Deque<java.util.Deque<java.lang.Integer>> |
unnamedPoolScopes
Keep the scopes of unnamed pools (only one can be active at a certain time).
|
Modifier | Constructor and Description |
---|---|
private |
WorkArea() |
private final java.util.Map<java.lang.Integer,WidgetPool.WidgetPoolData> pools
private final java.util.Map<java.lang.String,java.lang.Integer> namedPools
private final java.util.Set<java.lang.Integer> unnamedPools
private final java.util.Set<java.lang.Integer> persistentPools
private final java.util.Map<WrappedResource,java.lang.Integer> poolForResource
private final java.util.Map<java.lang.Integer,java.lang.Object> procForPool
private final java.util.Map<java.lang.Object,java.util.Set<java.lang.Integer>> poolsPerExtProg
private final java.util.Deque<java.util.Set<java.lang.Integer>> namedPoolScopes
private final java.util.Deque<java.util.Deque<java.lang.Integer>> unnamedPoolScopes