Package edu.umd.cs.findbugs.ba

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

90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
            } else if (o instanceof XMethod || o instanceof XField) {
                tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation((AnnotatedObject) o,
                        nonnullTypeQualifierValue);
            }

            NullnessAnnotation result = toNullnessAnnotation(tqa);
            if (DEBUG) {
                if (result == null) {
                    System.out.println("   ===> not found");
                } else {
                    System.out.println("   ===> " + tqa + "/" + result.toString() );
                }
            }
            return result;
        } finally {
            profiler.end(this.getClass());
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
        profiler.start(this.getClass());
        try {
            TypeQualifierAnnotation tqa
            = TypeQualifierApplications.getInheritedTypeQualifierAnnotation(m,
                    parameter, nonnullTypeQualifierValue);
            NullnessAnnotation result = toNullnessAnnotation(tqa);
            return result;
        } finally {
            profiler.end(this.getClass());
        }
    }
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
        Profiler profiler = Global.getAnalysisCache().getProfiler();
        profiler.start(this.getClass());
        try {
            TypeQualifierAnnotation tqa
            = TypeQualifierApplications.getInheritedTypeQualifierAnnotation(m, nonnullTypeQualifierValue);
            NullnessAnnotation result = toNullnessAnnotation(tqa);
            return result;
        } finally {
            profiler.end(this.getClass());
        }
    }
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
            } else if (o instanceof XMethod || o instanceof XField) {
                tqa = TypeQualifierApplications.getEffectiveTypeQualifierAnnotation((AnnotatedObject) o,
                        nonnullTypeQualifierValue);
            }

            NullnessAnnotation result = toNullnessAnnotation(tqa);
            if (DEBUG) {
                if (result == null) {
                    System.out.println("   ===> not found");
                } else {
                    System.out.println("   ===> " + tqa + "/" + result.toString() );
                }
            }
            return result;
        } finally {
            profiler.end(this.getClass());
View Full Code Here
484
485
486
487
488
489
490
491
492
493
494
        XField field = XFactory.createXField(fieldIns, methodGen.getConstantPool());
        char firstChar = field.getSignature().charAt(0);
        if (firstChar != 'L' && firstChar != '[') {
            return;
        }
        NullnessAnnotation resolvedAnnotation = database.getResolvedAnnotation(field, true);
        if (resolvedAnnotation == NullnessAnnotation.NONNULL) {
            IsNullValueFrame invFrame = invDataflow.getFactAtLocation(location);
            if (!invFrame.isValid()) {
                return;
            }
View Full Code Here
265
266
267
268
269
270
271
272
273
274
275
    static boolean containsCheckForNull(@CheckForNull List<AnnotationNode> methodAnnotations) {
        if (methodAnnotations == null) {
            return false;
        }
        for (AnnotationNode annotation : methodAnnotations) {
            NullnessAnnotation nullness = getNullness(annotation.desc);
            if (nullness == CHECK_FOR_NULL) {
                return true;
            }
        }
        return false;
View Full Code Here
285
286
287
288
289
290
291
292
293
294
295
            List<AnnotationNode> annotations = parameterAnnotations[i];
            if (annotations == null) {
                continue;
            }
            for (AnnotationNode annotation : annotations) {
                NullnessAnnotation nullness = getNullness(annotation.desc);
                if (nullness == null || nullness == CHECK_FOR_NULL) {
                    continue;
                }
                nonNullParameter.put(i, nullness);
            }
View Full Code Here
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
265
266
267
268
269
270
271
272
273
274
275
    static boolean containsCheckForNull(@CheckForNull List<AnnotationNode> methodAnnotations) {
        if (methodAnnotations == null) {
            return false;
        }
        for (AnnotationNode annotation : methodAnnotations) {
            NullnessAnnotation nullness = getNullness(annotation.desc);
            if (nullness == CHECK_FOR_NULL) {
                return true;
            }
        }
        return false;
View Full Code Here
285
286
287
288
289
290
291
292
293
294
295
            List<AnnotationNode> annotations = parameterAnnotations[i];
            if (annotations == null) {
                continue;
            }
            for (AnnotationNode annotation : annotations) {
                NullnessAnnotation nullness = getNullness(annotation.desc);
                if (nullness == null || nullness == CHECK_FOR_NULL) {
                    continue;
                }
                nonNullParameter.put(i, nullness);
            }
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.