CruxLLVMMain

Documentation

data CruxLLVMLogging

Instances

ToJSON CruxLLVMLogging

Defined in CruxLLVMMain

Methods

toJSON :: CruxLLVMLogging -> Value

toEncoding :: CruxLLVMLogging -> Encoding

toJSONList :: [CruxLLVMLogging] -> Value

toEncodingList :: [CruxLLVMLogging] -> Encoding

omitField :: CruxLLVMLogging -> Bool

Generic CruxLLVMLogging

Defined in CruxLLVMMain

Associated Types

type Rep CruxLLVMLogging :: Type -> Type

Methods

from :: CruxLLVMLogging -> Rep CruxLLVMLogging x

to :: Rep CruxLLVMLogging x -> CruxLLVMLogging

type Rep CruxLLVMLogging

Defined in CruxLLVMMain

type Rep CruxLLVMLogging = D1 ('MetaData "CruxLLVMLogging" "CruxLLVMMain" "crux-llvm-0.10-2DunQ2TwtSI7qa1EPeORx0" 'False) (C1 ('MetaCons "LoggingCrux" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CruxLogMessage)) :+: C1 ('MetaCons "LoggingCruxLLVM" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CruxLLVMLogMessage)))

cruxLLVMLoggingToSayWhat :: CruxLLVMLogging -> SayWhat

defaultOutputConfig :: IO (Maybe OutputOptions -> OutputConfig CruxLLVMLogging)

mainWithOptions :: Logs msgs => SupportsCruxLogMessage msgs => SupportsCruxLLVMLogMessage msgs => (CruxOptions, LLVMOptions) -> IO ExitCode

mainWithOutputTo :: Handle -> IO ExitCode

mainWithOutputConfig :: (Maybe OutputOptions -> OutputConfig CruxLLVMLogging) -> IO ExitCode

mkOutputConfig :: ToJSON msgs => (Handle, Bool) -> (Handle, Bool) -> (msgs -> SayWhat) -> Maybe OutputOptions -> OutputConfig msgs

Create an OutputConfig for Crux, based on an indication of whether colored output should be used, the normal and error output handles, and the parsed CruxOptions.

If no CruxOptions are available (i.e. Nothing, as used in the preliminary portions of loadOptions), then a default output stance is applied; the default stance is described along with the individual option below.

The following CruxOptions affect the generated OutputConfig:

• noColorsErr (default stance: False when the error handle supports colors, as reported by System.Console.ANSI.hSupportsANSIColor)
• noColorsOut (default stance: False when the output handle supports colors, as reported by System.Console.ANSI.hSupportsANSIColor)
• printFailures (default stance: True)
• quietMode (default stance: False)
• simVerbose (default stance: False)

processLLVMOptions :: (CruxOptions, LLVMOptions) -> IO (CruxOptions, LLVMOptions)

withCruxLLVMLogging :: (SupportsCruxLogMessage CruxLLVMLogging => SupportsCruxLLVMLogMessage CruxLLVMLogging => a) -> a