diff options
Diffstat (limited to 'src/expr/predicate.cpp')
-rw-r--r-- | src/expr/predicate.cpp | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/src/expr/predicate.cpp b/src/expr/predicate.cpp index a4dd29592..5ccc3484a 100644 --- a/src/expr/predicate.cpp +++ b/src/expr/predicate.cpp @@ -34,9 +34,11 @@ Predicate::Predicate(const Expr& e) throw(IllegalArgumentException) : d_predicate(new Expr(e)) , d_witness(new Expr()) { - CheckArgument(! e.isNull(), e, "Predicate cannot be null"); - CheckArgument(e.getType().isPredicate(), e, "Expression given is not predicate"); - CheckArgument(FunctionType(e.getType()).getArgTypes().size() == 1, e, "Expression given is not predicate of a single argument"); + PrettyCheckArgument(! e.isNull(), e, "Predicate cannot be null"); + PrettyCheckArgument(e.getType().isPredicate(), e, + "Expression given is not predicate"); + PrettyCheckArgument(FunctionType(e.getType()).getArgTypes().size() == 1, e, + "Expression given is not predicate of a single argument"); } Predicate::Predicate(const Expr& e, const Expr& w) @@ -44,9 +46,11 @@ Predicate::Predicate(const Expr& e, const Expr& w) : d_predicate(new Expr(e)) , d_witness(new Expr(w)) { - CheckArgument(! e.isNull(), e, "Predicate cannot be null"); - CheckArgument(e.getType().isPredicate(), e, "Expression given is not predicate"); - CheckArgument(FunctionType(e.getType()).getArgTypes().size() == 1, e, "Expression given is not predicate of a single argument"); + PrettyCheckArgument(! e.isNull(), e, "Predicate cannot be null"); + PrettyCheckArgument(e.getType().isPredicate(), e, + "Expression given is not predicate"); + PrettyCheckArgument(FunctionType(e.getType()).getArgTypes().size() == 1, e, + "Expression given is not predicate of a single argument"); } Predicate::~Predicate() { |