| definition: |
genDetProp :: [QName] -> CFuncDecl -> CFuncDecl
genDetProp prefuns (CmtFunc _ qf ar vis texp rules) =
genDetProp prefuns (CFunc qf ar vis texp rules)
genDetProp prefuns (CFunc (mn,fn) ar _ (CQualType clscon texp) _) =
CFunc (mn, forg ++ isDetSuffix) ar Public
(CQualType (foldr addEqShowContext (addShowContext clscon) rtypevars)
(propResultType texp))
[simpleRule (map CPVar cvars) $
addPreCond prefuns [(mn,forg)] cvars rnumcall ]
where
rtypevars = tvarsOfType (resultType texp)
forg = take (length fn - 9) fn
cvars = map (\i -> (i,"x" ++ show i)) [1 .. ar]
forgcall = applyF (mn,forg) (map CVar cvars)
rnumcall = applyF (easyCheckModule,"#<") [forgcall, cInt 2]
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- Transforms a declaration of a deterministic operation f_ORGNDFUN -- into a determinisim property test of the form -- fIsDeterministic x1...xn = f x1...xn #< 2 |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
genDetProp |
| precedence: |
no precedence defined |
| result-values: |
{CFunc}
|
| signature: |
[(String, String)] -> AbstractCurry.Types.CFuncDecl -> AbstractCurry.Types.CFuncDecl |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |