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
|
(***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* Module: Compiled_program_units
Description:
This module contains the types for all the compiled program units:
a program, library modules, interfaces, main module, and statements.
*)
open Xquery_algebra_ast
open Logical_algebra_types
open Algebra_type
open Dm_atomic
open Physical_value
open Processing_context
open Namespace_context
open Parse_context
open Norm_context
open Typing_context
open Compile_context
open Code_selection_context
open Execution_context
open Monitoring_context
(***********************)
(* Logical compilation *)
(***********************)
val main_module_uri : string
(* Compiled statements *)
type logical_compiled_statement = logical_algop_expr
(*
(* Compiled prolog *)
type logical_compiled_prolog =
{ logical_compiled_prolog_uri : string;
mutable logical_compiled_prolog_plan : logical_algop_prolog;
mutable logical_compiled_prolog_compile_context : logical_compile_context }
(* Compiled module *)
type logical_compiled_library_module = logical_compiled_prolog
type logical_compiled_main_module = logical_compiled_prolog * logical_compiled_statement list
type logical_compiled_program =
{ logical_compiled_program_proc_context : Processing_context.processing_context;
logical_compiled_program_stdlib_norm_context : Norm_context.norm_context;
logical_compiled_program_interfaces : Norm_context.norm_interface_table;
mutable logical_compiled_program_library_list : string list;
logical_compiled_program_library_module_table : (string, logical_compiled_library_module) Hashtbl.t;
mutable logical_compiled_program_main_module : logical_compiled_main_module option; }
(* Copy a compiled program *)
val copy_logical_compiled_program : logical_compiled_program -> logical_compiled_program
*)
(************************)
(* Physical compilation *)
(************************)
(* Compiled statements *)
type compiled_statement = algop_expr
(* Compiled prolog *)
type compiled_prolog =
{ compiled_prolog_uri : string;
mutable compiled_prolog_plan : algop_prolog;
mutable compiled_prolog_code_selection_context : code_selection_context }
(* Compiled module *)
type compiled_library_module = compiled_prolog
type compiled_main_module = compiled_prolog * compiled_statement list
type compiled_program =
{ compiled_program_proc_context : Processing_context.processing_context;
compiled_program_stdlib_norm_context : Norm_context.norm_context;
mutable compiled_program_algebra_context : Execution_context.algebra_context;
compiled_program_interfaces : Norm_context.norm_interface_table;
mutable compiled_program_library_list : string list;
compiled_program_library_module_table : (string, compiled_library_module) Hashtbl.t;
mutable compiled_program_main_module : compiled_main_module option }
(* In a prepared program, all global variables' values are bound: *)
type prepared_program = compiled_program
(* Copy a compiled program *)
val copy_compiled_program : compiled_program -> compiled_program
(****************************)
(* Module context accessors *)
(****************************)
(*
val logical_main_module_of_compiled_program : logical_compiled_program -> logical_compiled_main_module
val logical_processing_context_of_compiled_program : logical_compiled_program -> processing_context
val logical_module_of_compiled_program : logical_compiled_program -> string -> logical_compiled_library_module
val logical_statements_of_compiled_program : logical_compiled_program -> logical_compiled_statement list
*)
val main_module_of_compiled_program : compiled_program -> compiled_main_module
val processing_context_of_compiled_program : compiled_program -> processing_context
val algebra_context_of_compiled_program : compiled_program -> algebra_context
val replace_algebra_context_of_compiled_program : compiled_program -> algebra_context -> unit
val module_of_compiled_program : compiled_program -> string -> compiled_library_module
val statements_of_compiled_program : compiled_program -> compiled_statement list
val main_module_defined_in_compiled_program : compiled_program -> bool
val standard_library_of_compiled_program : compiled_program -> compiled_library_module
val replace_algebra_context_of_compiled_program : compiled_program -> Execution_context.algebra_context -> unit
val nsenv_of_module : compiled_prolog -> Namespace_context.nsenv
val nsenv_of_main_module : compiled_program -> Namespace_context.nsenv
val norm_context_of_module : compiled_prolog -> Norm_context.norm_context
val norm_context_of_main_module : compiled_program -> Norm_context.norm_context
val norm_context_of_standard_library : compiled_program -> Norm_context.norm_context
val norm_context_of_prolog : compiled_prolog -> Norm_context.norm_context
val static_context_of_module : compiled_prolog -> Typing_context.static_context
val static_context_of_main_module : compiled_program -> Typing_context.static_context
val compile_context_of_module : compiled_prolog -> Logical_algebra_types.logical_compile_context
val compile_context_of_main_module : compiled_program -> Logical_algebra_types.logical_compile_context
val code_selection_context_of_module : compiled_prolog -> Code_selection_context.code_selection_context
val code_selection_context_of_main_module : compiled_program -> Code_selection_context.code_selection_context
val replace_code_selection_context_of_module :
compiled_prolog -> Code_selection_context.code_selection_context -> unit
val update_code_selection_context_in_compiled_prolog :
compiled_prolog -> Code_selection_context.code_selection_context -> unit
(*
val logical_replace_compile_context_of_main_module :
logical_compiled_program -> logical_compile_context -> unit
val logical_update_compile_context_in_compiled_prolog :
logical_compiled_prolog -> logical_compile_context -> unit
val logical_update_logical_plan_in_compiled_prolog :
logical_compiled_prolog -> logical_algop_prolog -> unit
val logical_default_compiled_module : logical_compiled_program -> logical_compiled_prolog
*)
val update_physical_plan_in_compiled_prolog :
compiled_prolog ->
(Algebra_type.alg_eval_code_dep, Algebra_type.physical_annotation,
Algebra_type.alg_eval_code_dep_prolog)
Xquery_algebra_ast.aalgop_prolog -> unit
val default_compiled_module : compiled_program -> string -> compiled_prolog
val default_compiled_program : Processing_context.processing_context -> Norm_context.norm_context -> compiled_program
val copy_compiled_module : compiled_prolog -> compiled_prolog
val copy_compiled_program : compiled_program -> compiled_program
|
