KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > umd > cs > findbugs > ba > npe > NonNullSpecification


1 /*
2  * Bytecode analysis framework
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.npe;
21
22 import edu.umd.cs.findbugs.ba.JavaClassAndMethod;
23
24 public class NonNullSpecification {
25     private final JavaClassAndMethod classAndMethod;
26     private final ParameterNullnessProperty nonNullProperty;
27     private final ParameterNullnessProperty possiblyNullProperty;
28
29     public NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterNullnessProperty nonParamProperty, ParameterNullnessProperty possiblyNullProperty) {
30         this.classAndMethod = classAndMethod;
31         this.nonNullProperty = nonParamProperty;
32         this.possiblyNullProperty = possiblyNullProperty;
33     }
34     
35     public JavaClassAndMethod getClassAndMethod() {
36         return classAndMethod;
37     }
38     
39     public ParameterNullnessProperty getNonNullProperty() {
40         return nonNullProperty;
41     }
42     
43     public ParameterNullnessProperty getCheckForNullProperty() {
44         return possiblyNullProperty;
45     }
46     
47     @Override JavaDoc
48          public String JavaDoc toString() {
49         StringBuffer JavaDoc buf = new StringBuffer JavaDoc();
50         buf.append(classAndMethod);
51         buf.append(":");
52         if (!nonNullProperty.isEmpty()) {
53             buf.append(" nonull=");
54             buf.append(nonNullProperty);
55         }
56         if (!possiblyNullProperty.isEmpty()) {
57             buf.append(" possiblynull=");
58             buf.append(possiblyNullProperty);
59         }
60         return buf.toString();
61     }
62 }
63
Popular Tags