Lang.Crucible.LLVM.MemModel.CallStack.Internal

Documentation

newtype FunctionName

Constructors

FunctionName

Fields

• getFunctionName :: Text

Instances

Monoid FunctionName

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

mempty :: FunctionName

mappend :: FunctionName -> FunctionName -> FunctionName

mconcat :: [FunctionName] -> FunctionName

Semigroup FunctionName

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

(<>) :: FunctionName -> FunctionName -> FunctionName

sconcat :: NonEmpty FunctionName -> FunctionName

stimes :: Integral b => b -> FunctionName -> FunctionName

Eq FunctionName

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

(==) :: FunctionName -> FunctionName -> Bool

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

Ord FunctionName

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

compare :: FunctionName -> FunctionName -> Ordering

(<) :: FunctionName -> FunctionName -> Bool

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

(>) :: FunctionName -> FunctionName -> Bool

(>=) :: FunctionName -> FunctionName -> Bool

max :: FunctionName -> FunctionName -> FunctionName

min :: FunctionName -> FunctionName -> FunctionName

newtype CallStack

Call stacks (lists of function names), mostly for diagnostics

Constructors

CallStack

Fields

• runCallStack :: Seq FunctionName

Instances

Monoid CallStack

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

mempty :: CallStack

mappend :: CallStack -> CallStack -> CallStack

mconcat :: [CallStack] -> CallStack

Semigroup CallStack

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

(<>) :: CallStack -> CallStack -> CallStack

sconcat :: NonEmpty CallStack -> CallStack

stimes :: Integral b => b -> CallStack -> CallStack

Eq CallStack

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

(==) :: CallStack -> CallStack -> Bool

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

Ord CallStack

Defined in Lang.Crucible.LLVM.MemModel.CallStack.Internal

Methods

compare :: CallStack -> CallStack -> Ordering

(<) :: CallStack -> CallStack -> Bool

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

(>) :: CallStack -> CallStack -> Bool

(>=) :: CallStack -> CallStack -> Bool

max :: CallStack -> CallStack -> CallStack

min :: CallStack -> CallStack -> CallStack

cons :: FunctionName -> CallStack -> CallStack

Add a function name to the top of the call stack

null :: CallStack -> Bool

Is this CallStack empty?

getCallStack :: MemState sym -> CallStack

Summarize the StackFrames of a MemState into a CallStack

ppCallStack :: CallStack -> Doc ann

Pretty-print a call stack (one function per line)