| definition: |
genNewDBSchema :: String -> [Entity] -> [CFuncDecl]
genNewDBSchema mname ents =
[ stCmtFunc
("Generates a new database (name provided as the parameter) and\n" ++
"creates its schema.")
(mname,"createNewDB") 1 Public
(stringType ~> ioType unitType)
[CRule [cpvar "dbfile"]
(CSimpleRhs
(CDoExpr [CSPat (cpvar "conn")
(applyF (mConn,"connectSQLite") [cvar "dbfile"]),
CSExpr (applyF (mConn,"writeConnection") [cvar "cstr", cvar "conn"]),
CSExpr (applyF (mConn,"disconnect") [cvar "conn"])])
[CLocalPat (cpvar "cstr")
(CSimpleRhs (applyF (pre "unlines")
[list2ac (map (string2ac . entity2createTable) ents)])
[])])]
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Generates operations to create a new database with its schema. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> {:}}
|
| name: |
genNewDBSchema |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
String -> [Database.ERD.Entity] -> [AbstractCurry.Types.CFuncDecl] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
possibly non-reducible on same data term |