report_checks -format json

commit d4337917f790d90d7e16d068a19d9d9f8f44b760
Author: James Cherry <[email protected]>
Date:   Mon Sep 16 16:42:19 2024 -0700

    report json

    Signed-off-by: James Cherry <[email protected]>

commit a2707db7210437e4afc7b6af2c0b1e5cbdc0fa2a
Author: James Cherry <[email protected]>
Date:   Mon Sep 16 15:45:08 2024 -0700

    report json

    Signed-off-by: James Cherry <[email protected]>

commit f9d511250046a5d3c5105299e42cdc4d75ccdfef
Author: James Cherry <[email protected]>
Date:   Sun Sep 15 18:42:39 2024 -0700

    report json

    Signed-off-by: James Cherry <[email protected]>

commit 82d4d5002e9d134396d199e56d47ea3fdee08a16
Author: James Cherry <[email protected]>
Date:   Sat Sep 14 20:44:45 2024 -0700

    report json

    Signed-off-by: James Cherry <[email protected]>

Signed-off-by: James Cherry <[email protected]>

include/sta/PathExpanded.hh

@@ -40,7 +40,7 @@ public:
   size_t size() const { return paths_.size(); }
   // path(0) is the startpoint.
   // path(size()-1) is the endpoint.
-  PathRef *path(size_t index);
+  const PathRef *path(size_t index) const;
   TimingArc *prevArc(size_t index);
   // Returns the path start point.
   //  Register/Latch Q pin

include/sta/Sta.hh

@@ -905,9 +905,9 @@ public:
   //   Previous path end is used to detect path group changes
   //   so headers are reported by group.
   void reportPathEnd(PathEnd *end,
-		     PathEnd *prev_end);
+		     PathEnd *prev_end,
+                     bool last);
   void reportPathEnd(PathEnd *end);
-  void reportPathEnds(PathEndSeq *ends);
   ReportPath *reportPath() { return report_path_; }
   void reportPath(Path *path);
 

include/sta/StringUtil.hh

@@ -169,6 +169,11 @@ void
 stringPrint(string &str,
 	    const char *fmt,
 	    ...) __attribute__((format (printf, 2, 3)));
+// Formated append to std::string.
+void
+stringAppend(string &str,
+             const char *fmt,
+             ...) __attribute__((format (printf, 2, 3)));
 
 // Print to a temporary string.
 char *