Module Alg_analysis_context

module Alg_analysis_context: sig .. end

type analysis_context 

val build_analysis_context : unit -> analysis_context

val add_var_paths : analysis_context ->
       Xquery_common_ast.cvname ->
       Alg_path_struct.rooted_path_sequence -> analysis_context

val get_var_paths : analysis_context ->
       Xquery_common_ast.cvname -> Alg_path_struct.rooted_path_sequence

val set_input_tuple_paths : analysis_context ->
       (Xquery_common_ast.cvname * Alg_path_struct.rooted_path_sequence) list ->
       analysis_context

val get_input_tuple_paths : analysis_context ->
       (Xquery_common_ast.cvname * Alg_path_struct.rooted_path_sequence) list