MethodContract (ContractReturnValue value) { return new MethodContract(value) { @Override String getArgumentsPresentation() { return "()"; } @Override public List<ContractValue> getConditions() { return Collections.emptyList(); } }; }