Lang.Crucible.CFG.Common

Data structures and operations that are common to both the registerized and the SSA form CFG representations.

Global variables

data GlobalVar (tp :: CrucibleType)

A global variable.

Constructors

GlobalVar

Fields

• globalNonce :: !(Nonce GlobalNonceGenerator tp)
• globalName :: !Text
• globalType :: !(TypeRepr tp)

Instances

TestEquality GlobalVar

Defined in Lang.Crucible.CFG.Common

Methods

testEquality :: forall (a :: k) (b :: k). GlobalVar a -> GlobalVar b -> Maybe (a :~: b)

OrdF GlobalVar

Defined in Lang.Crucible.CFG.Common

Methods

compareF :: forall (x :: k) (y :: k). GlobalVar x -> GlobalVar y -> OrderingF x y

leqF :: forall (x :: k) (y :: k). GlobalVar x -> GlobalVar y -> Bool

ltF :: forall (x :: k) (y :: k). GlobalVar x -> GlobalVar y -> Bool

geqF :: forall (x :: k) (y :: k). GlobalVar x -> GlobalVar y -> Bool

gtF :: forall (x :: k) (y :: k). GlobalVar x -> GlobalVar y -> Bool

ShowF GlobalVar

Defined in Lang.Crucible.CFG.Common

Methods

withShow :: forall p q (tp :: k) a. p GlobalVar -> q tp -> (Show (GlobalVar tp) => a) -> a

showF :: forall (tp :: k). GlobalVar tp -> String

showsPrecF :: forall (tp :: k). Int -> GlobalVar tp -> String -> String

Show (GlobalVar tp)

Defined in Lang.Crucible.CFG.Common

Methods

showsPrec :: Int -> GlobalVar tp -> ShowS

show :: GlobalVar tp -> String

showList :: [GlobalVar tp] -> ShowS

Pretty (GlobalVar tp)

Defined in Lang.Crucible.CFG.Common

Methods

pretty :: GlobalVar tp -> Doc ann

prettyList :: [GlobalVar tp] -> Doc ann

freshGlobalVar :: HandleAllocator -> Text -> TypeRepr tp -> IO (GlobalVar tp)

newtype BreakpointName

Constructors

BreakpointName

Fields

• breakpointNameText :: Text

Instances

Show BreakpointName

Defined in Lang.Crucible.CFG.Common

Methods

showsPrec :: Int -> BreakpointName -> ShowS

show :: BreakpointName -> String

showList :: [BreakpointName] -> ShowS

Eq BreakpointName

Defined in Lang.Crucible.CFG.Common

Methods

(==) :: BreakpointName -> BreakpointName -> Bool

(/=) :: BreakpointName -> BreakpointName -> Bool

Ord BreakpointName

Defined in Lang.Crucible.CFG.Common

Methods

compare :: BreakpointName -> BreakpointName -> Ordering

(<) :: BreakpointName -> BreakpointName -> Bool

(<=) :: BreakpointName -> BreakpointName -> Bool

(>) :: BreakpointName -> BreakpointName -> Bool

(>=) :: BreakpointName -> BreakpointName -> Bool

max :: BreakpointName -> BreakpointName -> BreakpointName

min :: BreakpointName -> BreakpointName -> BreakpointName

Pretty BreakpointName

Defined in Lang.Crucible.CFG.Common

Methods

pretty :: BreakpointName -> Doc ann

prettyList :: [BreakpointName] -> Doc ann