libgalax-ocaml-dev 1.1-15build5 / usr / lib / ocaml / galax / planio_util.mli

This file is indexed.

/usr/lib/ocaml/galax/planio_util.mli is in libgalax-ocaml-dev 1.1-15build5.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below. 

  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
(***********************************************************************)
(*                                                                     *)
(*                                 GALAX                               *)
(*                              XQuery Engine                          *)
(*                                                                     *)
(*  Copyright 2001-2007.                                               *)
(*  Distributed only by permission.                                    *)
(*                                                                     *)
(***********************************************************************)

(* $Id: planio_util.mli,v 1.3 2007/02/01 22:08:51 simeon Exp $ *)

(* 
   Module: Planio_util
   Description:
     This module contains utilities for query plan parsing and
     serialization.
*)

(**********************)
(* Parsing Utilities  *)
(**********************)

val string_id : 'a -> 'a
val int_id : string -> int

val get_multiple : int -> ('a -> 'b) -> 'a -> 'b list
val get_multiple_cursor : int -> ('a -> 'b) -> 'a -> 'b Cursor.cursor
val parse_nested_substream :
  int ->
  Streaming_types.resolved_sax_event Stream.t ->
  Streaming_types.resolved_sax_event Cursor.cursor

val start_typed_element_get_name_no_consume :
  Streaming_types.typed_xml_stream ->
  Namespace_symbols.relem_symbol *
  Streaming_types.typed_sax_xml_attribute_forest
val start_element_get_name_no_consume :
  Streaming_types.resolved_sax_event Stream.t ->
  Namespace_symbols.relem_symbol *
  Streaming_types.resolved_sax_xml_attribute_forest
val start_element_get_name :
  Streaming_types.resolved_sax_event Stream.t ->
  Namespace_symbols.relem_symbol *
  Streaming_types.resolved_sax_xml_attribute_forest
val aux_start_element :
  ('a -> Namespace_symbols.symbol * 'b) ->
  Namespace_symbols.relem_symbol -> 'a -> 'b
val start_element :
  Namespace_symbols.relem_symbol ->
  Streaming_types.resolved_sax_event Stream.t ->
  Streaming_types.resolved_sax_xml_attribute_forest
val start_typed_element_get_name :
  Streaming_types.typed_xml_stream ->
  Namespace_symbols.relem_symbol *
  Streaming_types.typed_sax_xml_attribute_forest
val start_typed_element :
  Namespace_symbols.relem_symbol ->
  Streaming_types.typed_xml_stream ->
  Streaming_types.typed_sax_xml_attribute_forest
val is_element_end : Streaming_types.resolved_sax_event Stream.t -> bool
val consume_end_element : Streaming_types.resolved_sax_event Stream.t -> unit
val consume_typed_end_element :
  Streaming_types.typed_annotated_sax_event Cursor.cursor -> unit
val check_opt_element :
  Namespace_names.rqname ->
  Streaming_types.resolved_sax_event Stream.t -> bool
val element_parser :
  Namespace_names.rqname ->
  (Streaming_types.resolved_sax_xml_attribute_forest ->
   Streaming_types.resolved_sax_event Stream.t -> 'a) ->
  string -> Streaming_types.resolved_sax_event Stream.t -> 'a
val parse_attr_helper :
  ('a -> 'b) -> 'c -> (unit -> 'b) -> ('c * 'a) list -> 'b
val parse_get_typed_attr_from_attr_list :
  Streaming_types.typed_sax_xml_attribute_forest ->
  (Datatypes.xs_untyped -> 'a) -> Namespace_names.rqname -> 'a
val get_attr_from_attr_list :
  (Namespace_symbols.rattr_symbol * 'a) list ->
  ('a -> 'b) -> Namespace_names.rqname -> 'b
val get_opt_attr_from_attr_list :
  (Namespace_symbols.rattr_symbol * 'a) list ->
  ('a -> 'b) -> Namespace_names.rqname -> 'b option

(****************************)
(* Serialization Utilities  *)
(****************************)

val construct_element      : 
    Namespace_names.rqname -> 
      Small_stream_ast.rsattribute_forest -> 
	Small_stream_ast.rsexpr list -> 
	  Small_stream_ast.rsexpr 

val construct_attribute    : Namespace_names.rqname -> string -> Small_stream_ast.rsattribute 

val construct_comment      : string -> string -> Small_stream_ast.rsexpr list 

val attribute_of_occurrence: (Occurrence.occurs * Occurrence.occurs) option ->  Small_stream_ast.rsattribute

val box_rtype_symbol: Namespace_symbols.rtype_symbol -> Small_stream_ast.rsexpr
val box_relem_symbol: Namespace_symbols.relem_symbol -> Small_stream_ast.rsexpr
val box_rattr_symbol: Namespace_symbols.rattr_symbol -> Small_stream_ast.rsexpr

val box_kind_test     : Xquery_algebra_ast.akind_test -> Small_stream_ast.rsexpr
val box_aitemtype     : Xquery_algebra_ast.aitemtype -> Small_stream_ast.rsexpr

val box_asequencetype : Xquery_algebra_ast.asequencetype -> Small_stream_ast.rsexpr
val box_optasequencetype : Xquery_algebra_ast.asequencetype option -> Small_stream_ast.rsexpr list

(* Return attributes encoding kind of subexpression and for Many kind, its arity *)
val dep_subexpr_attrs : ('a, 'b) Xquery_algebra_ast.aalgop_sub_exprs -> (Namespace_names.rqname * string) list
val indep_subexpr_attrs : ('a, 'b) Xquery_algebra_ast.aalgop_sub_exprs -> (Namespace_names.rqname * string) list

val get_dep_subexpr_kind_arity : (Namespace_symbols.rattr_symbol * string) list -> Planio_common.algop_kind_moniker -> (int)
val get_indep_subexpr_kind_arity : (Namespace_symbols.rattr_symbol * string) list  -> Planio_common.algop_kind_moniker -> (int)

APT Browse - Built by Thomas Orozco.