Package edu.umd.cs.findbugs.detect

Class CheckRelaxingNullnessAnnotation

java.lang.Object

org.objectweb.asm.ClassVisitor

org.objectweb.asm.tree.ClassNode

edu.umd.cs.findbugs.asm.ClassNodeDetector

edu.umd.cs.findbugs.detect.CheckRelaxingNullnessAnnotation

All Implemented Interfaces:

Detector2, Priorities

public class CheckRelaxingNullnessAnnotation
extends ClassNodeDetector

Checks that overriding methods do not relax Nonnull (made CheckForNull) on return values or CheckForNull (made Nonnull) on parameters. The code accepts also old (deprecated) nullness annotations from edu.umd.cs.findbugs.annotations package.

Author:

alienisty (Alessandro Nistico), Andrey Loskutov

Field Summary

Fields inherited from class edu.umd.cs.findbugs.asm.ClassNodeDetector

bugReporter, xclass

Fields inherited from class org.objectweb.asm.tree.ClassNode

access, attrs, fields, innerClasses, interfaces, invisibleAnnotations, invisibleTypeAnnotations, methods, module, name, nestHostClass, nestMembers, outerClass, outerMethod, outerMethodDesc, permittedSubclasses, recordComponents, signature, sourceDebug, sourceFile, superName, version, visibleAnnotations, visibleTypeAnnotations

Fields inherited from class org.objectweb.asm.ClassVisitor

api, cv

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
CheckRelaxingNullnessAnnotation(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
org.objectweb.asm.MethodVisitor	visitMethod(int methodAccess, String methodName, String desc, String methodSignature, String[] exceptions)

Methods inherited from class edu.umd.cs.findbugs.asm.ClassNodeDetector

finishPass, getClassInfo, visitClass

Methods inherited from class org.objectweb.asm.tree.ClassNode

accept, check, visit, visitAnnotation, visitAttribute, visitEnd, visitField, visitInnerClass, visitModule, visitNestHost, visitNestMember, visitOuterClass, visitPermittedSubclass, visitRecordComponent, visitSource, visitTypeAnnotation

Methods inherited from class org.objectweb.asm.ClassVisitor

getDelegate

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.umd.cs.findbugs.Detector2

getDetectorClassName

Constructor Details

CheckRelaxingNullnessAnnotation

public CheckRelaxingNullnessAnnotation(BugReporter bugReporter)

Method Details

visitMethod

public org.objectweb.asm.MethodVisitor visitMethod(int methodAccess,
 String methodName,
 String desc,
 String methodSignature,
 String[] exceptions)

Overrides:

visitMethod in class org.objectweb.asm.tree.ClassNode