getOpt -is:module
Process the command-line, and return the list of values that matched
(and those that didn't). The arguments are:
- The order requirements (see ArgOrder)
- The option descriptions (see OptDescr)
- The actual command line arguments (presumably got from
getArgs).
getOpt returns a triple consisting of the option arguments, a
list of non-options, and a list of error messages.
Process the command-line, and return the list of values that matched
(and those that didn't). The arguments are:
- The order requirements (see ArgOrder)
- The option descriptions (see OptDescr)
- The actual command line arguments (presumably got from
getArgs).
getOpt returns a triple consisting of the option arguments, a
list of non-options, and a list of error messages.
Changes: The list of errors will contain at most one entry, and
if an error is present then the other two lists will be empty.
Given one or more long or short option names, read the rightmost value
of this option from the command line arguments. If the value is
missing raise an error. Concatenated short flags (-a -b written as
-ab) are not supported.
Get the current value of an option. Throw an exception if the option
is not currently set.
This is almost the same as
getOpt, but returns a quadruple
consisting of the option arguments, a list of non-options, a list of
unrecognized options, and a list of error messages.
Retrieve the options corresponding to a particular opt_*
field in the correct order
Parse OPTIONS and LANGUAGE pragmas of the source file.
Throws a
SourceError if flag parsing fails (including
unsupported flags.)
Parse OPTIONS and LANGUAGE pragmas of the source file.
Throws a
SourceError if flag parsing fails (including
unsupported flags.)
Parse option pragma in JS file
Changes: This is exactly the same as
getOpt, but the 3rd
element of the tuple (second last) will be an empty list.
Get the value of the “
arg” field. When
overloading is
enabled, this is equivalent to
get optionEntry #arg
Get the value of the “
arg_data” field. When
overloading is enabled, this is equivalent to
get optionEntry #argData
Get the value of the “
arg_description” field. When
overloading is enabled, this is equivalent to
get optionEntry #argDescription
Get the value of the “
description” field. When
overloading is enabled, this is equivalent to
get optionEntry #description
Get the value of the “
flags” field. When
overloading
is enabled, this is equivalent to
get optionEntry #flags
Get the value of the “
long_name” field. When
overloading is enabled, this is equivalent to
get optionEntry #longName
Get the value of the “
short_name” field. When
overloading is enabled, this is equivalent to
get optionEntry #shortName
Strip the newtype wrapper off.
Ways to set this option via `:option`
Retrieve the value of an 'SMTOption.' The curious function argument is
on purpose here, simply pass the constructor name. Example: the call
getOption ProduceUnsatCores will return either
Nothing or
Just (ProduceUnsatCores True) or
Just
(ProduceUnsatCores False).
Result will be
Nothing if the solver does not support this
option.
NB. For a version which generalizes over the underlying monad, see
getOption