| definition: |
domVar2NewExp :: (Domain, String) -> CExpr
domVar2NewExp (dom, v) = case dom of
IntDom (Just x) -> genMaybeWith (cInt x)
FloatDom (Just x) -> genMaybeWith (cFloat x)
CharDom (Just x) -> genMaybeWith (cChar x)
BoolDom (Just x) -> genMaybeWith (boolCExpr x)
StringDom (Just x) -> applyF (pre "if_then_else")
[applyF (pre "null") [cvar v], string2ac x, cvar v]
DateDom (Just (CalendarTime yr mo dy hr mi sc tz)) ->
genMaybeWith (applyF (inTime "toClockTime")
[applyF (inTime "CalendarTime")
[cInt yr, cInt mo, cInt dy,
cInt hr, cInt mi, cInt sc, cInt tz]])
_ -> cvar v
where
genMaybeWith dflt = applyF (pre "maybe") [dflt, constF (pre "id"), cvar v]
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
-- Translates an attribute domain and a variable into an expression. -- If the domain has a default value, a maybe expression is generated. |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({(,)}) |-> _}
|
| name: |
domVar2NewExp |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
(Database.ERD.Domain, String) -> AbstractCurry.Types.CExpr |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |