Boolean expressions
This module provides a boolean expression evaluator. See OASIS manual for the precise syntax of the boolean expression
val tests : test listMandatory tests.
val string_of_test : test -> stringConvert a test to string.
val test_of_string : string -> testConvert a string to test.
type 'a choices = (t * 'a) listChoose among different values
val eval : (string -> string) -> t -> booleval eval_tst t Evaluates the expression. Use eval_tst to get values of flags and tests.
val choose :
?printer:('a -> string) ->
?name:string ->
(string -> string) ->
'a choices ->
'achoose ~printer ~name eval_tst choices Evaluate each conditions of choices and choose the last condition that evaluates to true. If something goes wrong, use printer to display values and ~name as the choice list name.
See also eval.
Check that a boolean expression only use available flags. Not exported.
if_then_else cond choices_if choices_else Combine choices, if_then_else style.
val odn_of_choices :
('a -> OASISDataNotation.t) ->
'a choices ->
OASISDataNotation.tDump OASISDataNotation.t. Not exported.
val to_string : t -> stringTransform an expression into a string. Not exported
val string_of_choices : ('a -> string) -> 'a choices -> stringTransform a list of choice into a string. Not exported