module Xquery_algebra_ast:sig
..end
type
aelement_test =
| |
ASchemaElementTest of |
| |
AElementTest of |
type
aattribute_test =
| |
ASchemaAttributeTest of |
| |
AAttributeTest of |
type
akind_test =
| |
ADocumentKind of |
| |
AElementKind of |
| |
AAttributeKind of |
| |
APIKind of |
| |
ACommentKind |
| |
ATextKind |
| |
AAnyKind |
type
aitemtype =
| |
AITKindTest of |
| |
AITTypeRef of |
| |
AITItem |
| |
AITNumeric |
| |
AITAnyString |
| |
AITAtomic of |
| |
AITEmpty |
type
var_kind =
| |
Immutable |
| |
Mutable |
typeasequencetype_desc =
aitemtype * Occurrence.occurrence_indicator option
type
asequencetype = {
|
pasequencetype_desc : |
|
pasequencetype_loc : |
type
anode_test =
| |
APNameTest of |
| |
APNodeKindTest of |
type
apattern = {
|
papattern_desc : |
|
papattern_loc : |
type
apattern_desc =
| |
ACase of |
| |
ADefault |
type
predicate_desc =
| |
SimpleConjunct of |
| |
ComplexConjunct of |
| |
Disjunct of |
typeafunction_signature =
asequencetype list * asequencetype
typeaoverloaded_signature_table =
(Xquery_common_ast.cfname * afunction_signature *
Xquery_common_ast.updating_modifier)
list
type
algop_insert_location =
| |
AOUAsLastInto |
| |
AOUAsFirstInto |
| |
AOUInto |
| |
AOUAfter |
| |
AOUBefore |
typeseq_group_name =
Xquery_common_ast.cvname
type
group_desc = {
|
group_by_names : |
|
induced_groups : |
|
must_be_valid : |
|
aggregate_name : |
type
twig_node = {
|
node_test : |
|
mutable out : |
|
mutable restore_out : |
|
mutable child_twig : |
|
mutable pred_twigs : |
|
mutable requires_sbdo : |
typetwig_pattern =
twig_node array
type
algop_expr_name =
type
input_signature =
| |
NoInput |
| |
OneInput of |
| |
TwoInput of |
| |
ManyInput of |
typetuple_fields =
Xquery_common_ast.cvname list
type
variable_usage =
| |
Never |
| |
Once |
| |
Many |
| |
Redefined |
typevariable_use_count =
Xquery_common_ast.cvname * (int * variable_usage)
typetuple_field_use_count =
variable_use_count
type
table_cardinality =
| |
COne |
| |
CMany |
type
cardinality =
| |
NoTable |
| |
Table of |
type
treejoin_path =
| |
Empty |
| |
Variable of |
| |
Step of |
| |
JoinChild of |
| |
Union of |
type
free_variable_desc = {
|
mutable use_counts : |
|
mutable bound_usage_counts : |
|
mutable accessed_fields : |
|
mutable returned_fields : |
|
mutable tuple_field_use_counts : |
|
mutable returned_path : |
|
mutable accessed_path : |
|
mutable updated_path : |
typeexpr_eval_sig =
Xquery_physical_algebra_ast.physop_expr_name *
input_signature * Xquery_physical_type_ast.physical_type
type ('a, 'b)
aalgop_sub_exprs =
| |
NoSub |
| |
OneSub of |
| |
TwoSub of |
| |
ManySub of |
type ('a, 'b)
aalgop_expr = {
|
mutable palgop_expr_name : |
|
mutable psub_expression : |
|
mutable pdep_sub_expression : |
|
palgop_expr_eval : |
|
mutable palgop_expr_eval_sig : |
|
annotation : |
|
mutable compile_annotations : |
|
palgop_expr_origin : |
|
palgop_expr_loc : |
type
algop_decl_name =
| |
AOEVarDecl of |
| |
AOEVarDeclExternal of |
| |
AOEVarDeclImported of |
| |
AOEValueIndexDecl of |
| |
AOENameIndexDecl of |
type ('a, 'b, 'c)
aalgop_decl = {
|
alg_decl_name : |
|
alg_decl_eval : |
|
mutable alg_decl_indep : |
|
mutable alg_decl_dep : |
|
alg_decl_annotation : |
|
alg_decl_loc : |
type ('a, 'b)
aalgop_function_plan =
| |
AOEFunctionImported |
| |
AOEFunctionUser of |
type ('a, 'b)
aalgop_function_body = {
|
palgop_func_formal_args : |
|
palgop_func_output_type : |
|
palgop_func_optimized_logical_plan : |
|
palgop_func_physical_plan : |
type ('a, 'b)
aalgop_function_decl = {
|
palgop_function_decl_desc : |
|
palgop_function_decl_loc : |
type('a, 'b)
aalgop_function_decl_desc =(Xquery_common_ast.cfname * int) * afunction_signature *
('a, 'b) aalgop_function_body *
Xquery_common_ast.updating_modifier
type ('a, 'b, 'c)
aalgop_prolog = {
|
palgop_prolog_functions : |
|
palgop_prolog_vars : |
|
palgop_prolog_indices : |
type ('a, 'b, 'c)
aalgop_xmodule = {
|
palgop_module_prolog : |
|
palgop_module_statements : |