import org.contracts4j.Contract; import org.contracts4j.ContractFactory; public class Example { private Contract contract = ContractFactory.getContractInstance(); public void performAction(int value) { } private Object getResult() { return new Object(); } }