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