Skip to content
This repository
Newer
Older
100644 81 lines (58 sloc) 2.202 kb
fccc6851 » MLstate
2011-06-21 Initial open-source release
1 (*
4495235c » Aqua-Ye
2012-09-19 [enhance] opadoc, surfaceAst, qmlAst: transfer opacapi and module inf…
2 Copyright © 2011, 2012 MLstate
fccc6851 » MLstate
2011-06-21 Initial open-source release
3
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
4 This file is part of Opa.
fccc6851 » MLstate
2011-06-21 Initial open-source release
5
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
6 Opa is free software: you can redistribute it and/or modify it under the
fccc6851 » MLstate
2011-06-21 Initial open-source release
7 terms of the GNU Affero General Public License, version 3, as published by
8 the Free Software Foundation.
9
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
10 Opa is distributed in the hope that it will be useful, but WITHOUT ANY
fccc6851 » MLstate
2011-06-21 Initial open-source release
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
5bb0f1a4 » Aqua-Ye
2012-07-09 [cleanup] compiler: typo on Opa
16 along with Opa. If not, see <http://www.gnu.org/licenses/>.
fccc6851 » MLstate
2011-06-21 Initial open-source release
17 *)
18
19 (**
20 Conversion from OpaAst to QmlAst.
21
22 @author Valentin Gatien-Baron
23 @author Mathieu Barbin
24 *)
25
26 (** {6 Opa to Qml} *)
27
28 (**
29 Convesion from SurfaceAst to QmlAst.
30
31 No hack allowed there, this is not a libconvert, but part of the official flow of the compiler.
32 Ideally, this traduction should appear once at some point along the passes of opa.
33 *)
34
35 (** {6 Errors} *)
36
37 type error
38 exception Exception of error
39 val string_of_error : error -> string
40
41
42 (** {6 Options} *)
43
44 type options = unit
45
46 val options : options
47
48 (** {6 Traduction before renaming} *)
49
50 module NonuidOpaToQml :
51 sig
52 val code :
53 ?options:options ->
54 (SurfaceAst.nonuid, SurfaceAst.all_directives) SurfaceAst.code ->
55 Ident.t list * QmlAst.code
56 end
57
58 (** {6 Traduction after renaming } *)
59
60 module UidsOpaToQml :
61 sig
62 val typeident_aux : ?check:bool -> Ident.t -> QmlAst.TypeIdent.t
63
64 val typedef : Ident.t SurfaceAst.typedef_node -> QmlAst.typedef
65 val code :
66 ?options:options ->
67 (SurfaceAst.uids, SurfaceAst.basic_directive) SurfaceAst.code ->
68 Ident.t list * QmlAst.code
69 end
70
71 (** please do not provide QmlAst To OpaAst *)
72
73 (** {6 Mixity Parsing } *)
74 (** Parse a opa syntax file contents and return a qml ast *)
75 module Parser :
76 sig
77 exception Exception of string
78 val of_string : ?filename:string -> string -> QmlAst.code
79 end
80
81 val propagate_slicer_annotation : ('a, [< SurfaceAst.all_directives > `coerce `doctype `opacapi `side_annotation `visibility_annotation ] as 'b) SurfaceAst.expr -> (('a, 'b) SurfaceAst.expr -> ('a, 'b) SurfaceAst.expr)
Something went wrong with that request. Please try again.