Module Norm_context

module Norm_context: sig .. end

type norm_context 

type norm_interface_table = (Namespace_names.prefix * string,
        string list option * norm_context * Xquery_core_ast.acinterface)
       Hashtbl.t 

type function_signature = (Xquery_common_ast.cfname * int) *
       (Xquery_common_ast.cfname * Xquery_core_ast.cfunction_signature *
        Xquery_core_ast.acfunction_body_kind * Xquery_common_ast.updating_modifier) 

val default_norm_context : Processing_context.processing_context -> norm_context

val build_norm_context : Processing_context.processing_context ->
       Namespace_context.nsenv ->
       Xquery_type_core_ast.cxschema ->
       function_signature list -> norm_context

val merge_imported_norm_context : norm_context -> norm_context -> unit

val replace_namespace_env_in_norm_context : Namespace_context.nsenv ->
       norm_context -> norm_context

val copy_norm_context : norm_context -> norm_context

val copy_norm_context_with_sigs : norm_context ->
       Namespace_context.nsenv ->
       Xquery_type_core_ast.cxschema -> norm_context

val add_ns_bindings_to_norm_context : norm_context ->
       Namespace_context.binding_table ->
       norm_context * Namespace_context.nsenv

val add_sigs_to_norm_context : norm_context ->
       function_signature list -> norm_context

val add_sig_to_norm_context_in_place : norm_context -> function_signature -> unit

val get_in_scope_nsenv : norm_context -> Namespace_context.nsenv

val processing_context_from_norm_context : norm_context -> Processing_context.processing_context

val module_context_from_norm_context : norm_context -> Processing_context.module_processing_context

val nsenv_from_norm_context : norm_context -> Namespace_context.nsenv

val cxschema_from_norm_context : norm_context -> Xquery_type_core_ast.cxschema

val interface_table_from_norm_context : norm_context -> norm_interface_table

val one_sig_from_norm_context : norm_context ->
       Xquery_common_ast.cfname * int ->
       Xquery_core_ast.cfunction_signature * Xquery_core_ast.acfunction_body_kind *
       Xquery_common_ast.updating_modifier

val all_sigs_from_norm_context : norm_context ->
       Xquery_common_ast.cfname * int ->
       (Xquery_common_ast.cfname * Xquery_core_ast.cfunction_signature *
        Xquery_core_ast.acfunction_body_kind * Xquery_common_ast.updating_modifier)
       list

val register_var : norm_context ->
       Xquery_common_ast.cvname -> norm_context

val register_global_var : norm_context ->
       Xquery_common_ast.cvname ->
       Xquery_core_ast.acvar_body -> norm_context

val check_var : norm_context ->
       Finfo.finfo -> Xquery_common_ast.cvname -> Xquery_core_ast.acvar_body option

val gen_new_cvar : norm_context ->
       Xquery_ast.expr_handle ->
       Finfo.finfo -> Xquery_common_ast.cvname * Xquery_core_ast.acexpr

val gen_new_cvar_typed : norm_context ->
       Xquery_core_ast_annotation.ast_annot ->
       Xquery_ast.expr_handle ->
       Finfo.finfo -> Xquery_common_ast.cvname * Xquery_core_ast.acexpr

val set_in_execute_expr : norm_context -> bool -> unit

val get_in_execute_expr : norm_context -> bool

val set_interface_table : norm_context -> norm_interface_table -> unit

val set_top_var_decl : norm_context -> Namespace_names.rqname -> unit

val set_top_fun_decl : norm_context -> Namespace_names.rqname -> unit

val unset_top_decl : norm_context -> unit

val add_var_dependency : norm_context -> Namespace_names.rqname -> unit

val add_fun_dependency : norm_context -> Namespace_names.rqname -> unit

val check_cycles : norm_context -> unit

val dump_norm_context : norm_context -> unit