public class BuildObligationPolicyDatabase extends Object implements Detector2, NonReportingDetector
| Modifier and Type | Field and Description |
|---|---|
static boolean |
INFER_CLOSE_METHODS |
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY| Constructor and Description |
|---|
BuildObligationPolicyDatabase(BugReporter bugReporter) |
| Modifier and Type | Method and Description |
|---|---|
void |
addObligations(XMethod xmethod) |
void |
finishPass()
This method is called at the end of the analysis pass.
|
String |
getDetectorClassName()
Get the name of the detector class.
|
void |
visitClass(ClassDescriptor classDescriptor)
Visit a class.
|
public BuildObligationPolicyDatabase(BugReporter bugReporter)
public void visitClass(ClassDescriptor classDescriptor) throws CheckedAnalysisException
Detector2visitClass in interface Detector2classDescriptor - descriptor naming the class to visitCheckedAnalysisException - if an exception occurs during analysispublic void addObligations(XMethod xmethod)
xmethod - public void finishPass()
Detector2finishPass in interface Detector2public String getDetectorClassName()
Detector2getDetectorClassName in interface Detector2Copyright © 2003–2015. All rights reserved.