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;
}
