internal ContractRequires(ExpressionStatementSyntax originalExpression, PredicateExpression predicateExpression, Messages.Message message)
     : base(originalExpression, predicateExpression, message)
 {
 }
示例#2
0
 /// <summary>
 /// Returns true if current assertion uses parameter <paramref name="parameter"/>.
 /// </summary>
 public bool UsesParameter(ParameterSyntax parameter)
 {
     Contract.Requires(parameter != null);
     return(PredicateExpression.Contains(parameter));
 }
 public bool HasNotNullCheck() => PredicateExpression.HasNotNullCheckWithContractResult();
示例#4
0
 /// <summary>
 /// Returns true if current assertion checks for null something with specified <paramref name="parameter"/>.
 /// </summary>
 public bool ChecksForNotNull(ParameterSyntax parameter)
 {
     Contract.Requires(parameter != null);
     return(PredicateExpression.HasNotNullCheck(parameter));
 }
 protected CodeContractAssertion(ExpressionStatementSyntax statement, PredicateExpression predicateExpression, Message message)
     : base(statement, predicateExpression, message)
 {
 }