private bool ResultIsAlreadyCheckedByContractEnsures(ICSharpFunctionDeclaration functionDeclaration)
{
Contract.Requires(functionDeclaration != null);
if (functionDeclaration.Body == null)
{
return(false);
}
var returnType = functionDeclaration.GetReturnType();
if (returnType == null)
{
return(false);
}
return(ResultIsAlreadyCheckedByContractEnsures(
functionDeclaration.GetEnsures(), returnType));
}
private bool ResultIsAlreadyCheckedByContractEnsures(ICSharpFunctionDeclaration functionDeclaration)
{
Contract.Requires(functionDeclaration != null);
if (functionDeclaration.Body == null)
return false;
var returnType = functionDeclaration.GetReturnType();
if (returnType == null)
return false;
return ResultIsAlreadyCheckedByContractEnsures(
functionDeclaration.GetEnsures(), returnType);
}