| definition: |
genMainFunction :: Options -> String -> [CFuncDecl] -> CFuncDecl
genMainFunction opts testModule testfuncs =
CFunc (testModule, "main") 0 Public (emptyClassType (ioType unitType))
[simpleRule [] body]
where
body = CDoExpr $
(if isQuiet opts
then []
else [CSExpr (applyF (pre "putStrLn")
[string2ac "Executing all tests..."])]) ++
[ CSPat (cpvar "x1") $ -- run all tests:
applyF (testModule, "runPropertyTests")
[constF (pre (if optColor opts then "True" else "False")),
constF (pre (if optTime opts then "True" else "False")),
list2ac $ map (constF . funcName) testfuncs]
, CSExpr $ applyF ("Control.Monad", "when")
[applyF (pre "/=") [cvar "x1", cInt 0],
applyF ("System.Process", "exitWith") [cvar "x1"]]
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Generates the main function which executes all property tests -- of all test modules. |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
genMainFunction |
| precedence: |
no precedence defined |
| result-values: |
{CFunc}
|
| signature: |
CC.Options.Options -> String -> [AbstractCurry.Types.CFuncDecl] -> AbstractCurry.Types.CFuncDecl |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |