| definition: |
genGetter :: String -> String -> Int -> (Attribute, Int) -> CFuncDecl
genGetter mName eName len (att@(Attribute name _ _ _), i) =
stCmtFunc ("Gets the attribute `" ++ name ++
"` of the `" ++ eName ++ "` entity.")
(mName, ((firstLow eName) ++ name))
1
Public
((baseType (mName, eName)) ~> (attr2CType mName eName att))
[(simpleRule [CPComb (mName, eName) (createUnderscores i (len-i))]
(cvar "a"))]
|
| demand: |
argument 4 |
| deterministic: |
deterministic operation |
| documentation: |
-- Generates a getter method based on an attribute. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,{(,)}) |-> _}
|
| name: |
genGetter |
| 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 |