[analyzer] exploded-graph-rewriter: Collapse large statement pretty-prints.

[NoQ]

Summary

When printing various statements that include braces (compound statements, lambda expressions, statement-expressions, etc.), replace the code between braces with '...'.

I don't mind losing some information here because it's easily recoverable by looking at the source code.

Before:

After:

[Charusso]

I like it! What about BlockEdge with the long terminators? (c.f. Edge.getSrc()->printTerminatorJson())

[NoQ]

In D64104#1567317, @Charusso wrote:

I like it! What about BlockEdge with the long terminators? (c.f. Edge.getSrc()->printTerminatorJson())

We don't process these yet >.< But it should be trivial to cover them in a similar manner once we implement them.

[Charusso]

In D64104#1567326, @NoQ wrote:

In D64104#1567317, @Charusso wrote:

I like it! What about BlockEdge with the long terminators? (c.f. Edge.getSrc()->printTerminatorJson())

We don't process these yet >.< But it should be trivial to cover them in a similar manner once we implement them.

Yes, great patch, thanks!

cfe/trunk/test/Analysis/exploded-graph-rewriter/program_points.dot

"{
         "location": {
           "line": 4,
           "column": 5
         },
         "tag": "ExprEngine : Clean Node"
       }
     ]}
 \l}"];
+
+// Test collapsing large pretty prints with braces.
+
+// CHECK-NEXT: <b>Program point:</b>
+// CHECK-SAME: <td>\{ ... \}</td>
+Node0x3 [shape=record,label=
+ "{
+    { "node_id": 3, "pointer": "0x3",
+      "program_state": null, "program_points": [
+      {
+        "kind": "Statement",
+        "stmt_kind": "CompoundStmt",
+        "stmt_point_kind": "PostStmt",
+        "stmd_id": 6,
+        "pointer": "0x6",
+        "pretty": "{ very very very very very very long pretty print }",
+        "location": {
+          "line": 7,
+          "column": 8
+        },
+        "tag": "ExprEngine : Clean Node"
+      }
+    ]}
+\l}"];

cfe/trunk/utils/analyzer/exploded-graph-rewriter.py

class DotDumpVisitor(object):
     @staticmethod
     def _diff_plus_minus(is_added):
         if is_added is None:
             return ''
         if is_added:
             return '<font color="forestgreen">+</font>'
         return '<font color="red">-</font>'
 
+    @staticmethod
+    def _short_pretty(s):
+        if s is None:
+            return None
+        if len(s) < 20:
+            return s
+        left = s.find('{')
+        right = s.rfind('}')
+        if left == -1 or right == -1 or left >= right:
+            return s
+        candidate = s[0:left + 1] + ' ... ' + s[right:]
+        if len(candidate) >= len(s):
+            return s
+        return candidate
+
     def visit_begin_graph(self, graph):
         self._graph = graph
         self._dump_raw('digraph "ExplodedGraph" {\n')
         if self._dark_mode:
             self._dump_raw('bgcolor="gray10";\n')
         self._dump_raw('label="";\n')
 
     def visit_program_point(self, p):
def visit_program_point(self, p):
                            '%s:<b>%s</b>:<b>%s</b>:</td>'
                            '<td align="left" width="0"><font color="%s">'
                            '%s</font></td>'
                            '<td align="left"><font color="%s">%s</font></td>'
                            '<td>%s</td></tr>'
                            % (p.loc.filename, p.loc.line,
                               p.loc.col, color, p.stmt_kind,
                               stmt_color, p.stmt_point_kind,
-                              p.pretty if not skip_pretty else ''))
+                              self._short_pretty(p.pretty)
+                              if not skip_pretty else ''))
             else:
                 self._dump('<tr><td align="left" width="0">'
                            '<i>Invalid Source Location</i>:</td>'
                            '<td align="left" width="0">'
                            '<font color="%s">%s</font></td>'
                            '<td align="left"><font color="%s">%s</font></td>'
                            '<td>%s</td></tr>'
                            % (color, p.stmt_kind,
                               stmt_color, p.stmt_point_kind,
-                              p.pretty if not skip_pretty else ''))
+                              self._short_pretty(p.pretty)
+                              if not skip_pretty else ''))
         elif p.kind == 'Edge':
             self._dump('<tr><td width="0"></td>'
                        '<td align="left" width="0">'
                        '<font color="%s">%s</font></td><td align="left">'
                        '[B%d] -\\> [B%d]</td></tr>'
                        % (color, 'BlockEdge', p.src_id, p.dst_id))
         elif p.kind == 'BlockEntrance':
             self._dump('<tr><td width="0"></td>'
def visit_environment(self, e, prev_e=None):
                        '<td align="left">%s</td></tr>'
                        % (self._diff_plus_minus(is_added),
                           b.stmt_id,
                           '<td align="left"><font color="%s"><i>'
                           '%s</i></font></td>' % (
                               'lavender' if self._dark_mode else 'darkgreen',
                               ('(%s)' % b.kind) if b.kind is not None else ' '
                           ),
-                          b.pretty, f.bindings[b]))
+                          self._short_pretty(b.pretty), f.bindings[b]))
 
         frames_updated = e.diff_frames(prev_e) if prev_e is not None else None
         if frames_updated:
             for i in frames_updated:
                 f = e.frames[i]
                 prev_f = prev_e.frames[i]
                 dump_location_context(f.location_context)
                 bindings_removed, bindings_added = f.diff_bindings(prev_f)