| definition: |
genSetter :: String -> String -> Int -> (Attribute, Int) -> CFuncDecl
genSetter mName eName len (att@(Attribute name _ _ _), i) =
stCmtFunc ("Sets the attribute `" ++ name ++
"` of the `" ++ eName ++ "` entity.")
(mName, ("set" ++ eName ++ name))
2
Public
((baseType (mName, eName)) ~> (attr2CType mName eName att)
~> (baseType (mName, eName)))
[(simpleRule [(CPComb (mName, eName) (createParametersLeft i (len-i))),
(cpvar "a")]
(applyE (CSymbol (mName, eName))
(createParametersRight i (len-i))))]
|
| demand: |
argument 4 |
| deterministic: |
deterministic operation |
| documentation: |
-- Generates a setter method based on an attribute. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,{(,)}) |-> _}
|
| name: |
genSetter |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
String -> String -> Prelude.Int -> (Database.ERD.Attribute, Prelude.Int) -> AbstractCurry.Types.CFuncDecl |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |