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 fb-contrib Show documentation
Show all versions of fb-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.
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");
}
}
}