add "blocked" status to JSON output

this is a boolean that indicates if the given element or sub-element is blocked waiting for user input
GaloisInc · Nov 5, 2024 · 2552402 · 2552402
1 parent 8687a77
commit 2552402
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/tools/pate-repl/Repl.hs b/tools/pate-repl/Repl.hs
@@ -478,6 +478,7 @@ prettyNextNodes startAt onlyFinished = do
                       , PO.outPP = pp
                       , PO.outDuration = duration
                       , PO.outFinished = isFinished b
+                      , PO.outIsBlocked = isBlockedStatus b
                       , PO.outSuffix = suf
                       , PO.outMoreResults = nesting < 0
                       , PO.outJSON = json
@@ -493,6 +494,7 @@ prettyNextNodes startAt onlyFinished = do
                       , PO.outPP = "<ERROR: Unexpected missing printer>"
                       , PO.outDuration = duration
                       , PO.outFinished = isFinished b
+                      , PO.outIsBlocked = isBlockedStatus b
                       , PO.outSuffix = Nothing
                       , PO.outMoreResults = nesting < 0
                       , PO.outJSON = json

diff --git a/tools/pate/Output.hs b/tools/pate/Output.hs
@@ -48,6 +48,7 @@ data OutputElem =
     , outDuration :: Maybe (PP.Doc ())
     , outPP :: PP.Doc ()
     , outJSON :: JSON.Value
+    , outIsBlocked :: Bool
     , outSuffix :: Maybe (PP.Doc ())
     , outMoreResults :: Bool
     -- ^ more results at this nesting level that were omitted
@@ -194,6 +195,7 @@ outputElemJSON e =
     [ "index" .= outIdx e
     , "indent" .= outIndent e
     , "finished" .= outFinished e
+    , "blocked" .= outIsBlocked e
     , "pretty" .= show (outPP e)
     , "content" .= outJSON e
     , "more" .= outMoreResults e