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

Lang.Crucible.Simulator.SimError

Description

Synopsis

Documentation

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 details

IsString SimErrorReason Source #
Instance details Defined in Lang.Crucible.Simulator.SimError Methods fromString :: String -> SimErrorReason #
Show SimErrorReason Source #
Instance details Defined in Lang.Crucible.Simulator.SimError Methods showsPrec :: Int -> SimErrorReason -> ShowS # show :: SimErrorReason -> String # showList :: [SimErrorReason] -> ShowS #

Constructors

SimError
Fields simErrorLoc :: !ProgramLoc simErrorReason :: !SimErrorReason

Instances details

Exception SimError Source #
Instance details Defined in Lang.Crucible.Simulator.SimError Methods toException :: SimError -> SomeException # fromException :: SomeException -> Maybe SimError # displayException :: SimError -> String #
Show SimError Source #
Instance details Defined in Lang.Crucible.Simulator.SimError Methods showsPrec :: Int -> SimError -> ShowS # show :: SimError -> String # showList :: [SimError] -> ShowS #