Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Newer
Older
100644 52 lines (41 sloc) 1.569 kB
fccc685 Initial open-source release
MLstate authored
1 (*
2 Copyright © 2011 MLstate
3
5bb0f1a @Aqua-Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
4 This file is part of Opa.
fccc685 Initial open-source release
MLstate authored
5
5bb0f1a @Aqua-Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
6 Opa is free software: you can redistribute it and/or modify it under the
fccc685 Initial open-source release
MLstate authored
7 terms of the GNU Affero General Public License, version 3, as published by
8 the Free Software Foundation.
9
5bb0f1a @Aqua-Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
10 Opa is distributed in the hope that it will be useful, but WITHOUT ANY
fccc685 Initial open-source release
MLstate authored
11 WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for
13 more details.
14
15 You should have received a copy of the GNU Affero General Public License
5bb0f1a @Aqua-Ye [cleanup] compiler: typo on Opa
Aqua-Ye authored
16 along with Opa. If not, see <http://www.gnu.org/licenses/>.
fccc685 Initial open-source release
MLstate authored
17 *)
18
19 (**
20 Pass: Generation and Finalization of DB-Schema.
21
22 @author Louis Gesbert
23 @author Mathieu Barbin
24 @author Mikolaj Konarski
25 *)
26
27 module Arg :
28 sig
29
30 (**
31 Concatenation o all specs in interaction with this module.
32 + [--database name:options] override options for database [name]
33 if no name is supplied, it assumes a single, anonymous database
34 + [--print-dbschema] print the db-schema using PassTracker file system.
35 + [--display-dbschema] enforce [--print-dbschema] fork and display the schema
36 *)
37 val options : (Base.Arg.key * Base.Arg.spec * Base.Arg.doc) list
38
39 end
40
41 (**
42 About arguments:
43 + [gamma] is used read-only, for finding type definitions.
44 + [annotmap] is used for error messages only, for finding positions.
45 *)
46 val process_code :
47 QmlTypes.gamma ->
48 QmlAst.annotmap ->
49 QmlDbGen.Schema.t ->
50 QmlAst.code ->
51 QmlTypes.gamma * QmlDbGen.Schema.t * QmlAst.code
Something went wrong with that request. Please try again.