internal ContractRequires(ExpressionStatementSyntax originalExpression, PredicateExpression predicateExpression, Messages.Message message)
: base(originalExpression, predicateExpression, message)
{
}
/// <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();
/// <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)
{
}