|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.umd.cs.findbugs.ResourceCollection<Resource>
public class ResourceCollection<Resource>
A ResourceCollection defines all of the resources created and used in a particular method. It serves two related purposes:
This distinction is important because some resources which exist in the method aren't created in the method: for example, resources passed in as parameters.
Constructor Summary | |
---|---|
ResourceCollection()
Constructor. |
Method Summary | |
---|---|
void |
addCreatedResource(Location location,
Resource resource)
Add a resource created within the analyzed method. |
void |
addPreexistingResource(Resource resource)
Add a preexisting resource. |
Resource |
getCreatedResource(Location location)
Get the resource that is created at given location. |
boolean |
isEmpty()
Return whether or not there are any resources in the collection. |
java.util.Iterator<Resource> |
resourceIterator()
Get an Iterator over all resources in the method. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ResourceCollection()
Method Detail |
---|
public void addPreexistingResource(Resource resource)
resource
- the preexisting resourcepublic void addCreatedResource(Location location, Resource resource)
location
- the locationresource
- the resource created at that locationpublic boolean isEmpty()
public java.util.Iterator<Resource> resourceIterator()
public Resource getCreatedResource(Location location)
location
- the Location
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |