public class ResourcePoolEvent
extends java.util.EventObject
Constructor and Description |
---|
ResourcePoolEvent(ResourcePool pool,
java.lang.Object resc,
boolean checked_out_resource,
int pool_size,
int available_size,
int removed_but_unreturned_size) |
Modifier and Type | Method and Description |
---|---|
int |
getAvailableSize() |
int |
getPoolSize() |
int |
getRemovedButUnreturnedSize() |
java.lang.Object |
getResource() |
boolean |
isCheckedOutResource() |
public ResourcePoolEvent(ResourcePool pool, java.lang.Object resc, boolean checked_out_resource, int pool_size, int available_size, int removed_but_unreturned_size)