module Lexing_util: sig
.. end
type
language_kind =
type
lex_state =
| |
DefaultState |
| |
OperatorState |
| |
RenameOperatorState |
| |
NamespaceDeclState |
| |
NamespaceKeywordState |
| |
CopyNamespacesState |
| |
XMLSpaceDeclState |
| |
ItemTypeState |
| |
KindTestState |
| |
KindTestForPIState |
| |
SchemaContextStepState |
| |
VarNameState |
| |
VarDeclState |
| |
PragmaState |
| |
StartTagState |
| |
ElementContentState |
| |
EndTagState |
| |
|
| |
PIState |
| |
CDATASectionState |
| |
QuoteAttributeContentState |
| |
AposAttributeContentState |
| |
EntityIncludedInLiteralState |
| |
SchemaDeclarationState |
| |
TypeDeclarationState |
| |
XTypeState |
type
lexing_handler
val init_xquery_lexing : unit -> lexing_handler
val init_type_lexing : unit -> lexing_handler
val get_current_lex_state : lexing_handler -> lex_state
val get_whole_lex_stack : lexing_handler -> lex_state list
val get_depth : lexing_handler -> int
val set_depth : lexing_handler -> int -> unit
val reset_string : lexing_handler -> unit
val add_char_to_string : lexing_handler -> char -> unit
val add_string_to_string : lexing_handler -> string -> unit
val get_string : lexing_handler -> string
type
attribute_quote_kind =
| |
SingleQuoteKind |
| |
DoubleQuoteKind |
| |
EntityIncludedInLiteralKind |
val attribute_quote_kind : lexing_handler -> attribute_quote_kind
val push_state : lex_state -> lexing_handler -> unit
val push_none : lexing_handler -> unit
val push_default : lexing_handler -> unit
val push_operator : lexing_handler -> unit
val push_rename_op : lexing_handler -> unit
val push_namespacedecl : lexing_handler -> unit
val push_namespacekeyword : lexing_handler -> unit
val push_copynamespaces : lexing_handler -> unit
val push_xmlspacedecl : lexing_handler -> unit
val push_itemtype : lexing_handler -> unit
val push_kindtest : lexing_handler -> unit
val push_kindtestforpi : lexing_handler -> unit
val push_schemacontextstep : lexing_handler -> unit
val push_varname : lexing_handler -> unit
val push_vardecl : lexing_handler -> unit
val push_opening_tag : lexing_handler -> unit
val push_text : lexing_handler -> unit
val push_closing_tag : lexing_handler -> unit
: lexing_handler -> unit
val push_processing_instruction : lexing_handler -> unit
val push_pragma : lexing_handler -> unit
val push_cdata : lexing_handler -> unit
val push_attribute_text_double : lexing_handler -> unit
val push_attribute_text_single : lexing_handler -> unit
val push_entity_included : lexing_handler -> unit
val push_entity_included_in_literal : lexing_handler -> unit
val push_schema_declaration : lexing_handler -> unit
val push_type_declaration : lexing_handler -> unit
val push_xtype : lexing_handler -> unit
val pop_state : lexing_handler -> unit
val pop_state_keep_buffer : lexing_handler -> unit
val get_parsing_kind : lexing_handler -> language_kind
type
qname_kind =
val process_qname_string : string -> qname_kind
val get_axis : string -> Xquery_common_ast.axis
val get_escaped_name : string -> string
val get_target_pi : string -> string
val get_xml_encoding_quotes : string -> string
val get_xml_encoding_single_quotes : string -> string
val get_char_ref : string -> string
val get_hexchar_ref : string -> string
val get_entity_ref : string -> string
val qname_lexing_error : Finfo.finfo -> 'a
val qnamesep_lexing_error : Finfo.finfo -> 'a
val match_operator_keyword : Finfo.finfo ->
lexing_handler -> string -> Parse_xquery.token option
val match_default_keyword : Finfo.finfo ->
lexing_handler -> string -> Parse_xquery.token option
val match_namespace_keyword : Finfo.finfo ->
lexing_handler -> string -> Parse_xquery.token option
val match_curly : Finfo.finfo -> lexing_handler -> Parse_xquery.token option
val match_paren : Finfo.finfo -> lexing_handler -> Parse_xquery.token option
val get_buffered_tokens : lexing_handler -> Parse_xquery.token list
val set_buffered_tokens : lexing_handler -> Parse_xquery.token list -> unit
val get_buffered : lexing_handler -> string list
val set_buffered : lexing_handler -> string list -> unit
val default_token : lexing_handler -> bool
val make_new_token : Finfo.finfo ->
lexing_handler ->
(lexing_handler -> unit) ->
Parse_xquery.token -> Parse_xquery.token option
val toop_pushdef : lexing_handler -> unit
val todef : lexing_handler -> unit
val toren_pushdef : lexing_handler -> unit
val toop_pushitem : lexing_handler -> unit
val toop_pushvar : lexing_handler -> unit
val tonamespace : lexing_handler -> unit
val todecl : lexing_handler -> unit
val tonamespace : lexing_handler -> unit
val tocopy : lexing_handler -> unit
val pushitem : lexing_handler -> unit
val pushdef : lexing_handler -> unit
val tokinddef : lexing_handler -> unit
val tonone : lexing_handler -> unit
val set_item_type : lexing_handler -> unit
val unset_item_type : lexing_handler -> unit
val check_item_type : lexing_handler -> bool