| definition: |
transformDetTests :: Options -> [String] -> CurryProg
-> ([CFuncDecl],[CFuncDecl],CurryProg)
transformDetTests opts prooffiles
(CurryProg mname imports dfltdecl clsdecls instdecls
typeDecls functions opDecls) =
(map snd realtests, map snd ignoredtests,
CurryProg mname
(nub (easyCheckModule:imports))
dfltdecl clsdecls instdecls
typeDecls
(map (revertDetOpTrans detOpNames) functions ++
map snd (realtests ++ ignoredtests))
opDecls)
where
preCondOps = preCondOperations functions
-- generate determinism tests:
detOpTests = genDetOpTests prooffiles preCondOps functions
-- names of deterministic operations:
detOpNames = map (stripIsDet . funcName) detOpTests
stripIsDet (mn,fn) = (mn, take (length fn -15) fn)
(realtests,ignoredtests) = partition fst $
if not (optProp opts)
then []
else concatMap (poly2default opts)
(if optDet opts then detOpTests else [])
|
| demand: |
argument 3 |
| deterministic: |
deterministic operation |
| documentation: |
-- Extracts all determinism tests from a given Curry module and -- transforms deterministic operations back into non-deterministic operations -- in order to test their determinism property. -- The result contains a triple consisting of all actual determinism tests, -- all ignored tests (since they are polymorphic), and the public version -- of the transformed original module. |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
transformDetTests |
| precedence: |
no precedence defined |
| result-values: |
{(,,)}
|
| signature: |
CC.Options.Options -> [String] -> AbstractCurry.Types.CurryProg -> ([AbstractCurry.Types.CFuncDecl], [AbstractCurry.Types.CFuncDecl], AbstractCurry.Types.CurryProg) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |