Package org.checkerframework.checker.resourceleak

Class ResourceLeakUtils

java.lang.Object

org.checkerframework.checker.resourceleak.ResourceLeakUtils

public class ResourceLeakUtils
extends Object

Collection of static utility functions related to the various (sub-) checkers within the ResourceLeakChecker.

Field Summary

Fields

Modifier and Type	Field	Description
static List<String>	rlcCheckers	List of checker names associated with the Resource Leak Checker.

Method Summary

Modifier and Type	Method	Description
static ResourceLeakChecker	getResourceLeakChecker(SourceChecker referenceChecker)	Given a checker that is part of the resource leak checker hierarchy, returns the ResourceLeakChecker in the checker hierarchy.
static ResourceLeakChecker	getResourceLeakChecker(AnnotatedTypeFactory referenceAtf)	Given a type factory that is part of the resource leak checker hierarchy, returns the ResourceLeakChecker in the checker hierarchy.
static RLCCalledMethodsChecker	getRLCCalledMethodsChecker(SourceChecker referenceChecker)	Given a checker that is part of the resource leak checker hierarchy, returns the RLCCalledMethodsChecker in the checker hierarchy.
static RLCCalledMethodsChecker	getRLCCalledMethodsChecker(AnnotatedTypeFactory referenceAtf)	Given a type factory that is part of the resource leak checker hierarchy, returns the RLCCalledMethodsChecker in the checker hierarchy.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

rlcCheckers

public static List<String> rlcCheckers

List of checker names associated with the Resource Leak Checker.

Method Details

getResourceLeakChecker

public static ResourceLeakChecker getResourceLeakChecker(AnnotatedTypeFactory referenceAtf)

Given a type factory that is part of the resource leak checker hierarchy, returns the ResourceLeakChecker in the checker hierarchy.

Parameters:

referenceAtf - the type factory to retrieve the ResourceLeakChecker from; must be part of the Resource Leak hierarchy

Returns:

the ResourceLeakChecker in the checker hierarchy

getResourceLeakChecker

public static ResourceLeakChecker getResourceLeakChecker(SourceChecker referenceChecker)

Given a checker that is part of the resource leak checker hierarchy, returns the ResourceLeakChecker in the checker hierarchy.

Parameters:

referenceChecker - the checker to retrieve the ResourceLeakChecker from; must be part of the Resource Leak hierarchy

Returns:

the ResourceLeakChecker in the checker hierarchy

getRLCCalledMethodsChecker

public static RLCCalledMethodsChecker getRLCCalledMethodsChecker(AnnotatedTypeFactory referenceAtf)

Given a type factory that is part of the resource leak checker hierarchy, returns the RLCCalledMethodsChecker in the checker hierarchy.

Parameters:

referenceAtf - the type factory to retrieve the RLCCalledMethodsChecker from; must be part of the Resource Leak hierarchy

Returns:

the RLCCalledMethodsChecker in the checker hierarchy

getRLCCalledMethodsChecker

public static RLCCalledMethodsChecker getRLCCalledMethodsChecker(SourceChecker referenceChecker)

Given a checker that is part of the resource leak checker hierarchy, returns the RLCCalledMethodsChecker in the checker hierarchy.

Parameters:

referenceChecker - the checker to retrieve the RLCCalledMethodsChecker from; must be part of the Resource Leak hierarchy

Returns:

the RLCCalledMethodsChecker in the checker hierarchy