private static class WidgetPool.WidgetPoolData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private int |
id
The ID of this widget pool.
|
private java.lang.String |
key
This pool's key (to identify it by name, if this is a named pool).
|
private java.util.Set<WrappedResource> |
resources
Set of resources created in this widget pool.
|
Constructor and Description |
---|
WidgetPoolData(int id,
java.lang.String name)
Create a new widget pool.
|
Modifier and Type | Method and Description |
---|---|
void |
addResource(WrappedResource resource)
Add a new resource to this widget pool.
|
void |
deleteResources()
Delete all the resources from this pool.
|
void |
removeResource(WrappedResource resource)
Remove the resource from this widget pool.
|
private final java.util.Set<WrappedResource> resources
private final int id
private final java.lang.String key
public WidgetPoolData(int id, java.lang.String name)
id
- The ID of this widget pool.name
- The name of this widget pool. null
if unnamed.public void addResource(WrappedResource resource)
resource
- The resource to be added.public void removeResource(WrappedResource resource)
resource
- The resource to be removed.public void deleteResources()