Skip to content
Snippets Groups Projects
Commit 4e695c47 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

Use new node shape for _all_ nodes

Including ones with no outgoing edges, i.e the one in the PreIdleHook.
parent d23d934a
Branches
No related tags found
No related merge requests found
...@@ -16,6 +16,7 @@ import Control.Monad ...@@ -16,6 +16,7 @@ import Control.Monad
import System.Exit import System.Exit
import System.Process import System.Process
import System.IO import System.IO
import Data.Foldable
-- | (Syscall, Statehash) -- | (Syscall, Statehash)
type Vertex = (Text, Text) type Vertex = (Text, Text)
...@@ -156,8 +157,9 @@ graph2Dot graph = ...@@ -156,8 +157,9 @@ graph2Dot graph =
T.drop (T.length "OSEKOS_") txt T.drop (T.length "OSEKOS_") txt
dotNodes :: Graph -> Text dotNodes :: Graph -> Text
dotNodes = foldMap formatNode . M.keys dotNodes = foldMap formatNode . allNotes
where where
allNotes m = M.keysSet m `S.union` (fold m)
formatNode (call, state) = nodeId (call,state) formatNode (call, state) = nodeId (call,state)
<> " [label=\"" <> " [label=\""
<> "State: " <> state <> "\\n" <> "State: " <> state <> "\\n"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment