Copyright	(c) Galois Inc 2014-2016
License	BSD3
Maintainer	Joe Hendrix <jhendrix@galois.com>
Safe Haskell	None
Language	Haskell2010

Lang.Crucible.CFG.Common

Contents

Description

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

Synopsis

Global variables

A global variable.

Constructors

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

Instances details

TestEquality GlobalVar Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods testEquality :: forall (a :: CrucibleType) (b :: CrucibleType). GlobalVar a -> GlobalVar b -> Maybe (a :~: b) #
OrdF GlobalVar Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods compareF :: forall (x :: CrucibleType) (y :: CrucibleType). GlobalVar x -> GlobalVar y -> OrderingF x y # leqF :: forall (x :: CrucibleType) (y :: CrucibleType). GlobalVar x -> GlobalVar y -> Bool # ltF :: forall (x :: CrucibleType) (y :: CrucibleType). GlobalVar x -> GlobalVar y -> Bool # geqF :: forall (x :: CrucibleType) (y :: CrucibleType). GlobalVar x -> GlobalVar y -> Bool # gtF :: forall (x :: CrucibleType) (y :: CrucibleType). GlobalVar x -> GlobalVar y -> Bool #
ShowF GlobalVar Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods withShow :: forall p q (tp :: CrucibleType) a. p GlobalVar -> q tp -> (Show (GlobalVar tp) => a) -> a # showF :: forall (tp :: CrucibleType). GlobalVar tp -> String # showsPrecF :: forall (tp :: CrucibleType). Int -> GlobalVar tp -> String -> String #
Show (GlobalVar tp) Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods showsPrec :: Int -> GlobalVar tp -> ShowS # show :: GlobalVar tp -> String # showList :: [GlobalVar tp] -> ShowS #
Pretty (GlobalVar tp) Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods pretty :: GlobalVar tp -> Doc ann # prettyList :: [GlobalVar tp] -> Doc ann #

Constructors

CutpointName
Fields cutpointNameText :: Text

Instances details

Show CutpointName Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods showsPrec :: Int -> CutpointName -> ShowS # show :: CutpointName -> String # showList :: [CutpointName] -> ShowS #
Eq CutpointName Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods (==) :: CutpointName -> CutpointName -> Bool # (/=) :: CutpointName -> CutpointName -> Bool #
Ord CutpointName Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods compare :: CutpointName -> CutpointName -> Ordering # (<) :: CutpointName -> CutpointName -> Bool # (<=) :: CutpointName -> CutpointName -> Bool # (>) :: CutpointName -> CutpointName -> Bool # (>=) :: CutpointName -> CutpointName -> Bool # max :: CutpointName -> CutpointName -> CutpointName # min :: CutpointName -> CutpointName -> CutpointName #
Pretty CutpointName Source #
Instance details Defined in Lang.Crucible.CFG.Common Methods pretty :: CutpointName -> Doc ann # prettyList :: [CutpointName] -> Doc ann #