public static IMyoCommandResult Create(MyoResult result, IntPtr errorHandle) { /*//Contract.Requires<ArgumentException>( * (result == MyoResult.Success && errorHandle == IntPtr.Zero) || errorHandle != IntPtr.Zero, * "The result cannot be successful and have an error handle set.");*/ Contract.Ensures(Contract.Result <IMyoCommandResult>() != null); return(new MyoCommandResult(result, errorHandle)); }
private MyoCommandResult(MyoResult result, IntPtr errorHandle) { /*//Contract.Requires<ArgumentException>( * (result == MyoResult.Success && errorHandle == IntPtr.Zero) || errorHandle != IntPtr.Zero, * "The result cannot be successful and have an error handle set.");*/ _result = result; _errorHandle = errorHandle; }
public static IMyoCommandResult Create(MyoResult result, IntPtr errorHandle) { Contract.Requires<ArgumentException>( (result == MyoResult.Success && errorHandle == IntPtr.Zero) || errorHandle != IntPtr.Zero, "The result cannot be successful and have an error handle set."); Contract.Ensures(Contract.Result<IMyoCommandResult>() != null); return new MyoCommandResult(result, errorHandle); }
private MyoCommandResult(MyoResult result, IntPtr errorHandle) { Contract.Requires<ArgumentException>( (result == MyoResult.Success && errorHandle == IntPtr.Zero) || errorHandle != IntPtr.Zero, "The result cannot be successful and have an error handle set."); _result = result; _errorHandle = errorHandle; }
public static IMyoCommandResult Create(MyoResult result, IntPtr errorHandle) { return(new MyoCommandResult(result, errorHandle)); }
private MyoCommandResult(MyoResult result, IntPtr errorHandle) { _result = result; _errorHandle = errorHandle; }