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