Lang.Crucible.Simulator.SimError

Documentation

data SimErrorReason

Class for exceptions generated by simulator.

Constructors

GenericSimError !String

Unsupported !CallStack !String

We can't do that (yet?). The call stack identifies where in the Haskell code the error occured.

ReadBeforeWriteSimError !String

AssertFailureSimError !String !String

An assertion failed. The first parameter is a short description. The second is a more detailed explanation.

ResourceExhausted String

A loop iteration count, or similar resource limit, was exceeded.

Instances

IsString SimErrorReason

Defined in Lang.Crucible.Simulator.SimError

Methods

fromString :: String -> SimErrorReason

Show SimErrorReason

Defined in Lang.Crucible.Simulator.SimError

Methods

showsPrec :: Int -> SimErrorReason -> ShowS

show :: SimErrorReason -> String

showList :: [SimErrorReason] -> ShowS

data SimError

Constructors

SimError

Fields

• simErrorLoc :: !ProgramLoc
• simErrorReason :: !SimErrorReason

Instances

Exception SimError

Defined in Lang.Crucible.Simulator.SimError

Methods

toException :: SimError -> SomeException

fromException :: SomeException -> Maybe SimError

displayException :: SimError -> String

Show SimError

Defined in Lang.Crucible.Simulator.SimError

Methods

showsPrec :: Int -> SimError -> ShowS

show :: SimError -> String

showList :: [SimError] -> ShowS

simErrorReasonMsg :: SimErrorReason -> String

simErrorDetailsMsg :: SimErrorReason -> String

ppSimError :: SimError -> Doc ann