Previous  Up  Next

Module Lexing_util

module Lexing_util: sig .. end
type language_kind =
| XPath_2_0
| XQuery_1_0 
type lex_state =
| DefaultState
| OperatorState
| RenameOperatorState
| NamespaceDeclState
| NamespaceKeywordState
| CopyNamespacesState
| XMLSpaceDeclState
| ItemTypeState
| KindTestState
| KindTestForPIState
| SchemaContextStepState
| VarNameState
| VarDeclState
| PragmaState
| StartTagState
| ElementContentState
| EndTagState
| XMLCommentState
| 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
val push_comment : 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 =
| NCNAME_KIND of string
| QNAME_KIND of Namespace_names.uqname 
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