StandardMethodContract (int arity, ParamValueBasedDirection inOut, ContractReturnValue returnValue) { ValueConstraint[] constraints = new ValueConstraint[arity]; Arrays.fill(constraints, ValueConstraint.ANY_VALUE); constraints[inOut.paramIndex] = inOut.inValue.toValueConstraint(); return new StandardMethodContract(constraints, returnValue); }