BixieStubTest.java

import com.google.common.base.Verify;

/**
 * @author schaef
 * Examples of how to use library stubs
 * to find more bugs with Python.
 */
public class BixieStubTest {

  public void guavaContracts01(int x) {
		Verify.verify(x==0);
		if (x!=0) {
			System.err.println(x);
		}
	}

	public void guavaContracts02(int x) {
		Verify.verify(x==0, "Error {} {}", "1", "2");
		if (x!=0) {
			System.err.println(x);
		}
	}

	public void guavaContracts03(Object o) {
		Verify.verifyNotNull(o, "Error {} {}", "1", "2");
		o.toString();
	}
}