diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-20 11:58:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 18:58:46 +0000 |
| commit | 92fa57d6ec03ea19cf5ef177905ee59f29231e8f (patch) | |
| tree | 704f9ef88ac86122358dac4b95300146d03fb35a /src/expr/kind_template.cpp | |
| parent | 1d5a6e4a0773064ca0f1465b5e94a301af4eee2e (diff) | |
Add guards to disable clang-format around placeholders in templates. (#6375)
Diffstat (limited to 'src/expr/kind_template.cpp')
| -rw-r--r-- | src/expr/kind_template.cpp | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/src/expr/kind_template.cpp b/src/expr/kind_template.cpp index da1a75499..49f815b68 100644 --- a/src/expr/kind_template.cpp +++ b/src/expr/kind_template.cpp @@ -32,7 +32,9 @@ const char* toString(cvc5::Kind k) /* special cases */ case UNDEFINED_KIND: return "UNDEFINED_KIND"; case NULL_EXPR: return "NULL"; + // clang-format off ${kind_printers} + // clang-format on case LAST_KIND: return "LAST_KIND"; default: return "?"; } @@ -70,7 +72,9 @@ const char* toString(TypeConstant tc) { switch (tc) { + // clang-format off ${type_constant_descriptions} + // clang-format on default: return "UNKNOWN_TYPE_CONSTANT"; } } @@ -83,13 +87,15 @@ namespace theory { TheoryId kindToTheoryId(::cvc5::Kind k) { - switch(k) { - case kind::UNDEFINED_KIND: - case kind::NULL_EXPR: - break; + switch (k) + { + case kind::UNDEFINED_KIND: + case kind::NULL_EXPR: + break; + // clang-format off ${kind_to_theory_id} - case kind::LAST_KIND: - break; + // clang-format on + case kind::LAST_KIND: break; } throw IllegalArgumentException("", "k", __PRETTY_FUNCTION__, "bad kind"); } @@ -98,7 +104,9 @@ TheoryId typeConstantToTheoryId(::cvc5::TypeConstant typeConstant) { switch (typeConstant) { + // clang-format off ${type_constant_to_theory_id} + // clang-format on case LAST_TYPE: break; } throw IllegalArgumentException( |