Package edu.umd.cs.findbugs.ba

Examples of edu.umd.cs.findbugs.ba.NullnessAnnotation

307
308
309
310
311
312
313
314
315
316
317
        return Parser.parse(ClassName.toDottedClassName(substring));
    }

    static boolean containsNullness(Collection<AnnotationValue> annotations, NullnessAnnotation nullness) {
        for (AnnotationValue annotation : annotations) {
            NullnessAnnotation check = Parser.parse(annotation.getAnnotationClass().getDottedClassName());
            if (check == nullness) {
                return true;
            }
        }
        return false;
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
206
207
            }
            if (nonNullParameter != null) {
                for(Map.Entry<Integer, NullnessAnnotation> e : nonNullParameter.entrySet()) {
                    int i = e.getKey();
                    if (containsNullness(method.getParameterAnnotations(i), CHECK_FOR_NULL)) {
                        NullnessAnnotation a = e.getValue();
                        BugInstance bug = new BugInstance(CheckRelaxingNullnessAnnotation.this,
                                "NP_METHOD_PARAMETER_TIGHTENS_ANNOTATION", a.equals(NONNULL) ? HIGH_PRIORITY : NORMAL_PRIORITY);
                        bug.addClassAndMethod(xmethod);
                        LocalVariableAnnotation lva = null;
                        if (localVariables != null) {
                            for(LocalVariableNode lvn : localVariables) {
                                if (lvn.index == i+1) {
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
206
207
            }
            if (nonNullParameter != null) {
                for(Map.Entry<Integer, NullnessAnnotation> e : nonNullParameter.entrySet()) {
                    int i = e.getKey();
                    if (containsNullness(method.getParameterAnnotations(i), CHECK_FOR_NULL)) {
                        NullnessAnnotation a = e.getValue();
                        BugInstance bug = new BugInstance(CheckRelaxingNullnessAnnotation.this,
                                "NP_METHOD_PARAMETER_TIGHTENS_ANNOTATION", a.equals(NONNULL) ? HIGH_PRIORITY : NORMAL_PRIORITY);
                        bug.addClassAndMethod(xmethod);
                        LocalVariableAnnotation lva = null;
                        if (localVariables != null) {
                            for(LocalVariableNode lvn : localVariables) {
                                if (lvn.index == i+1) {
View Full Code Here
64
65
66
67
68
69
70
71
    private boolean isExplicitlyNullable() {
        AnalysisContext analysisContext = AnalysisContext.currentAnalysisContext();
        INullnessAnnotationDatabase nullnessAnnotationDatabase = analysisContext.getNullnessAnnotationDatabase();
        XMethod xMethod = getXMethod();
        NullnessAnnotation na = nullnessAnnotationDatabase.getResolvedAnnotation(xMethod, true);
        return na != null && na != NullnessAnnotation.NONNULL;
    }
View Full Code Here
TOP

Related Classes of edu.umd.cs.findbugs.ba.NullnessAnnotation

  • edu.umd.cs.findbugs.ba.deref.UnconditionalValueDerefAnalysis
  • edu.umd.cs.findbugs.ba.npe.DerefFinder
  • edu.umd.cs.findbugs.ba.npe.IsNullValueAnalysis
  • edu.umd.cs.findbugs.ba.npe.IsNullValueFrameModelingVisitor
  • edu.umd.cs.findbugs.ba.npe.TypeQualifierNullnessAnnotationDatabase
  • edu.umd.cs.findbugs.detect.BuildNonNullAnnotationDatabase
  • edu.umd.cs.findbugs.detect.CheckRelaxingNullnessAnnotation
  • edu.umd.cs.findbugs.detect.CheckRelaxingNullnessAnnotation$DetectorNode
  • edu.umd.cs.findbugs.detect.FindNullDeref
  • edu.umd.cs.findbugs.detect.InitializeNonnullFieldsInConstructor
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.