diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-01 09:56:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-01 16:56:14 +0000 |
| commit | 05a53a2ac405bcd18a84024247145f161809c3b0 (patch) | |
| tree | 34241c0a82f79d717ddbfbb0c294f9a09c7edb0c /src/base/check.h | |
| parent | afaf4413775ff7d6054a5893f1397ad908e0773c (diff) | |
Rename namespace CVC5 to cvc5. (#6258)
Diffstat (limited to 'src/base/check.h')
| -rw-r--r-- | src/base/check.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/base/check.h b/src/base/check.h index 1e46ea85c..719c962bf 100644 --- a/src/base/check.h +++ b/src/base/check.h @@ -75,7 +75,7 @@ #define CVC4_FALLTHROUGH #endif -namespace CVC5 { +namespace cvc5 { // Implementation notes: // To understand FatalStream and OStreamVoider, it is useful to understand @@ -206,11 +206,11 @@ class AssertArgumentException : public Exception #define InternalError() CVC4_FATAL() << "Internal error detected" #define IllegalArgument(arg, msg...) \ - throw ::CVC5::IllegalArgumentException( \ + throw ::cvc5::IllegalArgumentException( \ "", \ #arg, \ __PRETTY_FUNCTION__, \ - ::CVC5::IllegalArgumentException::formatVariadic(msg).c_str()); + ::cvc5::IllegalArgumentException::formatVariadic(msg).c_str()); // This cannot use check argument directly as this forces // CheckArgument to use a va_list. This is unsupported in Swig. #define PrettyCheckArgument(cond, arg, msg...) \ @@ -218,11 +218,11 @@ class AssertArgumentException : public Exception { \ if (__builtin_expect((!(cond)), false)) \ { \ - throw ::CVC5::IllegalArgumentException( \ + throw ::cvc5::IllegalArgumentException( \ #cond, \ #arg, \ __PRETTY_FUNCTION__, \ - ::CVC5::IllegalArgumentException::formatVariadic(msg).c_str()); \ + ::cvc5::IllegalArgumentException::formatVariadic(msg).c_str()); \ } \ } while (0) #define AlwaysAssertArgument(cond, arg, msg...) \ @@ -230,7 +230,7 @@ class AssertArgumentException : public Exception { \ if (__builtin_expect((!(cond)), false)) \ { \ - throw ::CVC5::AssertArgumentException( \ + throw ::cvc5::AssertArgumentException( \ #cond, #arg, __PRETTY_FUNCTION__, __FILE__, __LINE__, ##msg); \ } \ } while (0) @@ -245,6 +245,6 @@ class AssertArgumentException : public Exception cond, arg, msg...) /*__builtin_expect( ( cond ), true )*/ #endif /* CVC4_ASSERTIONS */ -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__CHECK_H */ |