module Procmod_compiler: sig
.. end
type
ginput =
type
ast =
type
core_ast =
type
logical_plan =
type
logical_plan_statement = Logical_algebra_types.logical_algop_expr
type
logical_plan_main_module = Logical_algebra_types.logical_algop_xmodule
type
physical_plan =
type
external_context = {
}
val create_external_context : Processing_context.processing_context ->
Physical_value.item option ->
Dm_atomic.atomicDayTimeDuration option ->
(string * Physical_value.item list) list -> external_context
val default_external_context : unit -> external_context
val logical_compile_statement : Compiled_program_units.compiled_program ->
Galax_io.input_spec ->
Compiled_program_units.compiled_program *
Compiled_program_units.logical_compiled_statement
val compile_statement : Compiled_program_units.compiled_program ->
Galax_io.input_spec ->
Compiled_program_units.compiled_program *
Compiled_program_units.compiled_statement
val compile_statement_from_logical_plan : Compiled_program_units.compiled_program ->
Compiled_program_units.compiled_prolog ->
logical_plan_statement ->
Compiled_program_units.compiled_program *
Compiled_program_units.compiled_statement
val compile_statement_from_optimized_logical_plan : Compiled_program_units.compiled_program ->
logical_plan_statement ->
Compiled_program_units.compiled_program *
Compiled_program_units.compiled_statement
val compile_prolog : bool ->
Compiled_program_units.compiled_program ->
Galax_io.input_spec -> Compiled_program_units.compiled_program
val logical_compile_main_module : bool ->
Compiled_program_units.compiled_program ->
Galax_io.input_spec ->
Compiled_program_units.compiled_program *
(Logical_algebra_types.logical_compile_context *
logical_plan_main_module)
val compile_library_module : Compiled_program_units.compiled_program ->
Galax_io.input_spec ->
Namespace_names.ncname * string * Compiled_program_units.compiled_program
val compile_main_module : bool ->
Compiled_program_units.compiled_program ->
Galax_io.input_spec ->
Compiled_program_units.compiled_program *
Compiled_program_units.compiled_statement list
val compile_main_module_from_logical_plan : Compiled_program_units.compiled_program ->
Logical_algebra_types.logical_compile_context *
logical_plan_main_module ->
Compiled_program_units.compiled_program *
Compiled_program_units.compiled_statement list
val compile_main_module_from_optimized_logical_plan : Compiled_program_units.compiled_program ->
Logical_algebra_types.logical_compile_context *
logical_plan_main_module ->
Compiled_program_units.compiled_program *
Compiled_program_units.compiled_statement list
val compile_standard_library_module : Processing_context.processing_context ->
Compiled_program_units.compiled_program
val prepare_compiled_program : external_context option ->
Compiled_program_units.compiled_program ->
Compiled_program_units.prepared_program
val execute_compiled_statement : Compiled_program_units.prepared_program ->
Compiled_program_units.compiled_statement -> Physical_value.physical_value