GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-11-29 13:55:51 +03:00
Code Issues Projects Releases Wiki Activity

Add explicit set routines for Unicode, Integer, and Bool options.

Browse Source
This commit is contained in:
Kevin Quick 2021-04-26 11:55:15 -07:00
parent a957690f2e
commit 2749035ec4
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 40 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

40
what4/src/What4/Config.hs
View File

@ -101,6 +101,9 @@ module What4.Config
-- * Option settings
, OptionSetting(..)
, Opt(..)
, setUnicodeOpt
, setIntegerOpt
, setBoolOpt
-- * Defining option styles
, OptionStyle(..)
@ -796,6 +799,43 @@ instance Opt BaseBoolType Bool where
getMaybeOpt x = fmap fromConcreteBool <$> getOption x
trySetOpt x v = setOption x (ConcreteBool v)
-- | Given a unicode text value, set the named option to that value or
-- generate an OptSetFailure exception if the option is not a unicode
-- text valued option.
setUnicodeOpt :: Some OptionSetting -> Text -> IO [Doc Void]
setUnicodeOpt (Some optset) val =
let tyOpt = configOptionType (optionSettingName optset)
in case testEquality tyOpt (BaseStringRepr UnicodeRepr) of
Just Refl -> setOpt optset val
Nothing ->
checkOptSetResult optset $ optErr $
"option type is a" <+> pretty tyOpt <+> "but given an text string"
-- | Given an integer value, set the named option to that value or
-- generate an OptSetFailure exception if the option is not an integer
-- valued option.
setIntegerOpt :: Some OptionSetting -> Integer -> IO [Doc Void]
setIntegerOpt (Some optset) val =
let tyOpt = configOptionType (optionSettingName optset)
in case testEquality tyOpt BaseIntegerRepr of
Just Refl -> setOpt optset val
Nothing ->
checkOptSetResult optset $ optErr $
"option type is a" <+> pretty tyOpt <+> "but given an integer"
-- | Given a boolean value, set the named option to that value or
-- generate an OptSetFailure exception if the option is not a boolean
-- valued option.
setBoolOpt :: Some OptionSetting -> Bool -> IO [Doc Void]
setBoolOpt (Some optset) val =
let tyOpt = configOptionType (optionSettingName optset)
in case testEquality tyOpt BaseBoolRepr of
Just Refl -> setOpt optset val
Nothing ->
checkOptSetResult optset $ optErr $
"option type is a" <+> pretty tyOpt <+> "but given an boolean"
-- | Given a @ConfigOption@ name, produce an @OptionSetting@
-- object for accessing and setting the value of that option.
--