format_type can now format range_typet

This adds formatting for range_typet as { from, ..., to }.
diffblue · Sep 25, 2024 · 4b789bf · 4b789bf
1 parent 4c59d28
commit 4b789bf
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/src/util/format_type.cpp b/src/util/format_type.cpp
@@ -98,6 +98,12 @@ std::ostream &format_rec(std::ostream &os, const typet &type)
     return os << "\xe2\x84\xa4"; // u+2124, 'Z'
   else if(id == ID_natural)
     return os << "\xe2\x84\x95"; // u+2115, 'N'
+  else if(id == ID_range)
+  {
+    auto &range_type = to_range_type(type);
+    return os << "{ " << range_type.get_from() << ", ..., "
+              << range_type.get_to() << " }";
+  }
   else if(id == ID_rational)
     return os << "\xe2\x84\x9a"; // u+211A, 'Q'
   else if(id == ID_mathematical_function)

diff --git a/unit/Makefile b/unit/Makefile
@@ -144,6 +144,7 @@ SRC += analyses/ai/ai.cpp \
        util/format.cpp \
        util/format_expr.cpp \
        util/format_number_range.cpp \
+       util/format_type.cpp \
        util/get_base_name.cpp \
        util/graph.cpp \
        util/help_formatter.cpp \