src.samples.java.ex.SUI_Sample Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sb-contrib Show documentation

An auxiliary findbugs.sourceforge.net plugin for java bug detectors that fall outside the narrow scope of detectors to be packaged with the product itself.

The newest version!

package ex;

import java.util.Set;

public class SUI_Sample {

    public void testAddAfterContains(Set ss) {
        if (!ss.contains("foo")) {
            ss.add("foo");
        }
    }

    public void testFpAddAfterContains(Set ss) {
        if (ss.contains("foo")) {
            ss.remove("foo");
        }
        ss.add("foo");
    }

    public void testremoveAfterContains(Set ss) {
        if (ss.contains("foo")) {
            ss.remove("foo");
        }
    }

}