GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-29 11:02:13 +03:00
Code Issues Projects Releases Wiki Activity

Pretty instance for BlockExploreReason

Browse Source
This commit is contained in:
Valentin Robert 2023-08-09 14:33:48 -07:00
parent 24a18d26d3
commit 133f3bd9d5
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
base/src/Data/Macaw/Discovery/ParsedContents.hs
View File

@ -65,6 +65,15 @@ data BlockExploreReason w
deriving (Eq, Show)
instance MemWidth w => PP.Pretty (BlockExploreReason w) where
pretty (NextIP b) = "next address after block " <> PP.pretty b
pretty FunctionEntryPoint = "function entry point"
pretty (SplitAt o prior) =
PP.vcat
[ "split at offset" PP.<+> PP.pretty o <> ", previously reachable from:"
, PP.indent 2 (PP.pretty prior)
]
-------------------------------------------------------------------------------
-- BoundedMemArray