KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > umd > cs > findbugs > ba > NullnessAnnotation


1 /*
2  * FindBugs - Find Bugs in Java programs
3  * Copyright (C) 2005, University of Maryland
4  *
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation; either
8  * version 2.1 of the License, or (at your option) any later version.
9  *
10  * This library is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13  * Lesser General Public License for more details.
14  *
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
18  */

19
20 package edu.umd.cs.findbugs.ba;
21
22 import edu.umd.cs.findbugs.annotations.CheckForNull;
23
24 /**
25  * @author pugh
26  */

27 public class NullnessAnnotation extends AnnotationEnumeration<NullnessAnnotation> {
28     public final static NullnessAnnotation CHECK_FOR_NULL = new NullnessAnnotation(
29             "CheckForNull", 3);
30
31     public final static NullnessAnnotation NONNULL = new NullnessAnnotation(
32             "NonNull", 1);
33
34     public final static NullnessAnnotation NULLABLE = new NullnessAnnotation(
35             "Nullable", 2);
36
37     public final static NullnessAnnotation UNKNOWN_NULLNESS = new NullnessAnnotation(
38             "UnknownNullness", 0);
39
40     private final static NullnessAnnotation[] myValues = { UNKNOWN_NULLNESS,
41         NONNULL, NULLABLE,
42         CHECK_FOR_NULL };
43     
44     public static class Parser {
45     @CheckForNull public static NullnessAnnotation parse(String JavaDoc s) {
46         for(NullnessAnnotation v : myValues)
47             if (s.endsWith(v.name)) return v;
48         if (s.endsWith("PossiblyNull"))
49             return CHECK_FOR_NULL;
50         return null;
51     }
52     }
53     public static NullnessAnnotation[] values() {
54         return myValues.clone();
55     }
56
57     private NullnessAnnotation(String JavaDoc s, int i) {
58         super(s,i);
59         
60     }
61
62     
63
64 }
65
Popular Tags