internal ContractEnsures(ICSharpStatement statement, PredicateExpression predicateExpression, Message message) : base(statement, predicateExpression, message) { _contractResultArgument = predicateExpression.Predicates.Select(p => p.Argument) .OfType<ContractResultPredicateArgument>() .FirstOrDefault(); }
internal ContractEnsures(ICSharpStatement statement, PredicateExpression predicateExpression, Message message) : base(statement, predicateExpression, message) { _contractResultArgument = predicateExpression.Predicates.Select(p => p.Argument) .OfType <ContractResultPredicateArgument>() .FirstOrDefault(); }