/// <summary> /// Returns Code contract based preconditions only for specified <paramref name="functionDeclaration"/>. /// </summary> public static IEnumerable <ContractRequires> GetRequires(this ICSharpFunctionDeclaration functionDeclaration) { Contract.Requires(functionDeclaration != null); Contract.Ensures(Contract.Result <IEnumerable <ContractRequires> >() != null); return(functionDeclaration.GetPreconditions().OfType <ContractRequires>()); }
private bool IsArgumentAlreadyVerifiedByPrecondition( ICSharpFunctionDeclaration functionDeclaration, string parameterName) { return(functionDeclaration.GetPreconditions() .Any(p => p.ChecksForNotNull(parameterName))); }