01: package edu.umd.cs.findbugs.ba.npe;
02:
03: import junit.framework.Assert;
04: import junit.framework.TestCase;
05:
06: public class NonNullParamPropertyTest extends TestCase {
07:
08: ParameterNullnessProperty empty;
09: ParameterNullnessProperty nonEmpty;
10: ParameterNullnessProperty extremes;
11:
12: @Override
13: protected void setUp() throws Exception {
14: empty = new ParameterNullnessProperty();
15:
16: nonEmpty = new ParameterNullnessProperty();
17: nonEmpty.setNonNull(11, true);
18: nonEmpty.setNonNull(25, true);
19:
20: extremes = new ParameterNullnessProperty();
21: extremes.setNonNull(0, true);
22: extremes.setNonNull(31, true);
23: }
24:
25: public void testEmpty() {
26: for (int i = 0; i < 32; ++i) {
27: Assert.assertFalse(empty.isNonNull(i));
28: }
29: }
30:
31: public void testIsEmpty() {
32: Assert.assertTrue(empty.isEmpty());
33: Assert.assertFalse(nonEmpty.isEmpty());
34: Assert.assertFalse(extremes.isEmpty());
35: }
36:
37: public void testNonEmpty() {
38: Assert.assertTrue(nonEmpty.isNonNull(11));
39: Assert.assertTrue(nonEmpty.isNonNull(25));
40: Assert.assertFalse(nonEmpty.isNonNull(5));
41: }
42:
43: public void testExtremes() {
44: Assert.assertTrue(extremes.isNonNull(0));
45: Assert.assertTrue(extremes.isNonNull(31));
46: Assert.assertFalse(extremes.isNonNull(10));
47: }
48:
49: public void testOutOfBounds() {
50: Assert.assertFalse(nonEmpty.isNonNull(-1));
51: Assert.assertFalse(nonEmpty.isNonNull(32));
52: }
53: }
|