1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
|
module ERD2Curry where
import AbstractCurry.Files (readCurry)
import AbstractCurry.Select (imports)
import AbstractCurry.Pretty
import Database.ERD
import Database.ERDGoodies
import Directory
import Distribution (curryCompiler, installDir)
import FilePath ((</>))
import List (isSuffixOf)
import System (exitWith, getArgs, system)
import Time
import XML
import XML2ERD
import Transformation
import CodeGeneration
import ERD2Graph
systemBanner :: String
systemBanner =
let bannerText = "ERD->Curry Compiler (Version of 12/01/17)"
bannerLine = take (length bannerText) (repeat '-')
in bannerLine ++ "\n" ++ bannerText ++ "\n" ++ bannerLine
--- Main function for saved state. The argument is the directory containing
--- these sources.
main :: IO ()
main = do
putStrLn systemBanner
args <- getArgs
configs <- parseArgs ("",False,SQLite ".",False,False) args
-- the directory containing the sources of this tool:
let erd2currydir = installDir </> "currytools" </> "ertools"
callStart erd2currydir configs
parseArgs :: (String,Bool,Storage,Bool,Bool) -> [String]
-> IO (Maybe (String,Bool,Storage,Bool,Bool))
parseArgs _ [] = return Nothing
parseArgs (file,fromxml,storage,vis,trerdt) (arg:args) = case arg of
"-h" -> putStrLn helpText >> exitWith 0
"-?" -> putStrLn helpText >> exitWith 0
"--help" -> putStrLn helpText >> exitWith 0
"-x" -> parseArgs (file,True,storage,vis,trerdt) args
"-l" -> parseArgs (file,fromxml,setSQLite storage,vis,trerdt) args
"-f" -> if curryCompiler == "pakcs"
then parseArgs (file,fromxml,setFileDB storage,vis,trerdt) args
else error "Wrong parameter -f: file-based database only available in PAKCS!"
"-d" -> parseArgs (file,fromxml,DB,vis,trerdt) args
"-p" -> if null args then return Nothing else
parseArgs (file,fromxml,setFilePath (head args) storage,vis,trerdt)
(tail args)
"--dbpath" ->
if null args then return Nothing else
parseArgs (file,fromxml,setFilePath (head args) storage,vis,trerdt)
(tail args)
"-t" -> parseArgs (file,fromxml,storage,vis,True) args
"-v" -> parseArgs (file,fromxml,storage,True,trerdt) args
f -> return $ if null args then Just (f,fromxml,storage,vis,trerdt)
else Nothing
where
setFilePath path (Files _) = Files path
setFilePath path (SQLite _) = SQLite path
setFilePath _ DB = DB
setSQLite (Files p) = SQLite p
setSQLite (SQLite p) = SQLite p
setSQLite DB = SQLite "."
setFileDB (Files p) = Files p
setFileDB (SQLite p) = Files p
setFileDB DB = Files "."
helpText :: String
helpText = unlines
[ "Usage:"
, ""
, " curry erd2curry [-l] [-f] [-d] [-t] [-x] [-v] [--dbpath <dir>] <prog>"
, ""
, "Parameters:"
, "-l: generate interface to SQLite3 database (default)"
, "-f: generate interface to file-based database implementation (only in PAKCS)"
, "-d: generate interface to SQL database (experimental)"
, "-x: generate from ERD xmi document instead of ERD Curry program"
, "-t: only transform ERD into ERDT term file"
, "-v: only show visualization of ERD with dotty"
, "--dbpath <dir>: name of the directory where DB files are stored"
, "<prog> : name of Curry program file containing ERD definition"
]
callStart :: String -> Maybe (String,Bool,Storage,Bool,Bool) -> IO ()
callStart _ Nothing = do
putStrLn $ "ERROR: Illegal arguments\n\n" ++ helpText
exitWith 1
callStart erd2currydir (Just (orgfile,fromxml,storage,vis,trerdt)) = do
file <- if ".curry" `isSuffixOf` orgfile
then storeERDFromProgram orgfile
else return orgfile
if vis
then readERDTermFile file >>= viewERD
else start erd2currydir (storage,WithConsistencyTest) fromxml trerdt file "."
--- Main function to invoke the ERD->Curry translator.
start :: String -> Option -> Bool -> Bool -> String -> String -> IO ()
start erd2currydir opt fromxml trerdt srcfile path = do
(erdfile,erd) <- if fromxml
then transformXmlFile srcfile path
else readERDTermFile srcfile >>= \e -> return (srcfile,e)
let transerdfile = addPath path (erdName erd ++ "_ERDT.term")
curryfile = addPath path (erdName erd ++ ".curry")
transerd = transform erd
erdprog = erd2code opt (transform erd)
writeFile transerdfile
("{- ERD specification transformed from "++erdfile++" -}\n\n " ++
showERD 2 transerd ++ "\n")
putStrLn $ "Transformed ERD term written into file '"++transerdfile++"'."
unless trerdt $ do
copyAuxiliaryFiles
moveOldVersion curryfile
curdir <- getCurrentDirectory
setCurrentDirectory path
impprogs <- mapIO readCurry (imports erdprog)
setCurrentDirectory curdir
writeFile curryfile $
prettyCurryProg
(setOnDemandQualification (erdprog:impprogs) defaultOptions)
erdprog
putStrLn $ "Database operations generated into file '"++curryfile++"'\n"++
"with " ++ showOption (erdName erd) opt ++ ".\n"
where
-- Copy auxiliary files ERDGeneric.curry and KeyDatabase.curry to target dir
copyAuxiliaryFiles = do
if isSQLite opt
then copyFile (erd2currydir </> "KeyDatabase.curry.sqlite")
(addPath path "KeyDatabase.curry")
else done
copyFile (erd2currydir </> "ERDGeneric.curry")
(addPath path "ERDGeneric.curry")
showOption _ (Files f,_) = "database files stored in directory '"++f++"'"
showOption ername (SQLite p,_) =
"SQLite3 database stored in file '"++p++"/"++ername++".db'"
showOption _ (DB,_) = "SQL database interface"
--- Adds a path to a file name.
addPath :: String -> String -> String
addPath path fname | path=="." = fname
| otherwise = path++"/"++fname
--- Moves a file (if it exists) to one with extension ".versYYMMDDhhmmss".
moveOldVersion :: String -> IO ()
moveOldVersion fname = do
exists <- doesFileExist fname
if exists
then do
mtime <- getModificationTime fname
cmtime <- toCalendarTime mtime
let fnamevers = fname ++ ".vers" ++ calTime2Digits cmtime
system $ "mv "++fname++" "++fnamevers
putStrLn $ "Old contents of file \""++fname++"\" saved into file \""++
fnamevers++"\"."
else done
where
calTime2Digits (CalendarTime y mo d h mi s _) =
toD (y `mod` 100) ++ toD mo ++ toD d ++ toD h ++ toD mi ++ toD s
toD i = if i<10 then '0':show i else show i
--- Read an ERD specification from an XML file in Umbrello format.
transformXmlFile :: String -> String -> IO (String,ERD)
transformXmlFile xmlfile path = do
putStrLn $ "Reading XML file " ++ xmlfile ++ "..."
xml <- readXmlFile xmlfile
let erd = convert xml
let erdfile = addPath path (erdName erd ++ "_ERD.term")
writeFile erdfile
("{- ERD specification read from "++xmlfile++" -}\n\n " ++
showERD 2 erd ++ "\n")
putStrLn $ "ERD term written into file \""++erdfile++"\"."
return (erdfile,erd)
{-
-- Uni.xmi -> ERD term:
(ERD "Uni"
[(Entity "Student" [(Attribute "MatNum" (IntDom Nothing) PKey False),
(Attribute "Name" (StringDom Nothing) NoKey False),
(Attribute "Firstname" (StringDom Nothing) NoKey False),
(Attribute "Email" (UserDefined "MyModule.Email" Nothing) NoKey True)]),
(Entity "Lecture" [(Attribute "Id" (IntDom Nothing) PKey False),
(Attribute "Title" (StringDom Nothing) Unique False),
(Attribute "Hours" (IntDom (Just 4)) NoKey False)]),
(Entity "Lecturer" [(Attribute "Id" (IntDom Nothing) PKey False),
(Attribute "Name" (StringDom Nothing) NoKey False),
(Attribute "Firstname" (StringDom Nothing) NoKey False)]),
(Entity "Group" [(Attribute "Time" (StringDom Nothing) NoKey False)])]
[(Relationship "Teaching" [(REnd "Lecturer" "taught_by" (Exactly 1)),
(REnd "Lecture" "teaches" (Between 0 Infinite))]),
(Relationship "Participation" [(REnd "Student" "participated_by" (Between 0 Infinite)),
(REnd "Lecture" "participates" (Between 0 Infinite))]),
(Relationship "Membership" [(REnd "Student" "consists_of" (Exactly 3)),
(REnd "Group" "member_of" (Between 0 Infinite))])])
-- Transformation of ERD term:
(ERD "Uni"
[(Entity "Membership"
[(Attribute "Student_Membership_Key" (KeyDom "Student") PKey False),
(Attribute "Group_Membership_Key" (KeyDom "Group") PKey False)]),
(Entity "Participation"
[(Attribute "Student_Participation_Key" (KeyDom "Student") PKey False),
(Attribute "Lecture_Participation_Key" (KeyDom "Lecture") PKey False)]),
(Entity "Student"
[(Attribute "Key" (IntDom Nothing) PKey False),
(Attribute "MatNum" (IntDom Nothing) Unique False),
(Attribute "Name" (StringDom Nothing) NoKey False),
(Attribute "Firstname" (StringDom Nothing) NoKey False),
(Attribute "Email" (UserDefined "MyModule.Email" Nothing) NoKey True)]),
(Entity "Lecture"
[(Attribute "Key" (IntDom Nothing) PKey False),
(Attribute "Lecturer_Teaching_Key" (KeyDom "Lecturer") NoKey False),
(Attribute "Id" (IntDom Nothing) Unique False),
(Attribute "Title" (StringDom Nothing) Unique False),
(Attribute "Hours" (IntDom (Just 4)) NoKey False)]),
(Entity "Lecturer"
[(Attribute "Key" (IntDom Nothing) PKey False),
(Attribute "Id" (IntDom Nothing) Unique False),
(Attribute "Name" (StringDom Nothing) NoKey False),
(Attribute "Firstname" (StringDom Nothing) NoKey False)]),
(Entity "Group"
[(Attribute "Key" (IntDom Nothing) PKey False),
(Attribute "Time" (StringDom Nothing) NoKey False)])]
[(Relationship [] [(REnd "Student" [] (Exactly 1)),
(REnd "Membership" "member_of" (Between 0 Infinite))]),
(Relationship [] [(REnd "Group" [] (Exactly 1)),
(REnd "Membership" "consists_of" (Exactly 3))]),
(Relationship [] [(REnd "Student" [] (Exactly 1)),
(REnd "Participation" "participates" (Between 0 Infinite))]),
(Relationship [] [(REnd "Lecture" [] (Exactly 1)),
(REnd "Participation" "participated_by" (Between 0 Infinite))]),
(Relationship "Teaching" [(REnd "Lecturer" "taught_by" (Exactly 1)),
(REnd "Lecture" "teaches" (Between 0 Infinite))])])
-}
|
