# 1 "odoc_see_lexer.mll" (**************************************************************************) (* *) (* OCaml *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. *) (* *) (* All rights reserved. This file is distributed under the terms of *) (* the GNU Lesser General Public License version 2.1, with the *) (* special exception on linking described in the file LICENSE. *) (* *) (**************************************************************************) (** the lexer for special comments. *) open Odoc_parser let buf = Buffer.create 32 # 26 "odoc_see_lexer.ml" let __ocaml_lex_tables = { Lexing.lex_base = "\000\000\249\255\250\255\251\255\252\255\253\255\254\255\005\000\ \001\000\002\000\255\255\004\000\255\255\006\000\003\000\255\255\ \005\000\007\000\254\255\255\255"; Lexing.lex_backtrk = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\000\000\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255"; Lexing.lex_default = "\001\000\000\000\000\000\000\000\000\000\000\000\000\000\255\255\ \009\000\009\000\000\000\011\000\000\000\011\000\014\000\000\000\ \014\000\018\000\000\000\000\000"; Lexing.lex_trans = "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\007\000\006\000\000\000\007\000\007\000\007\000\000\000\ \000\000\007\000\007\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \007\000\000\000\004\000\000\000\000\000\007\000\012\000\003\000\ \012\000\000\000\015\000\000\000\015\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\005\000\000\000\000\000\255\255\ \010\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\016\000\ \013\000\016\000\013\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \002\000\255\255\255\255\255\255\255\255\255\255\255\255\019\000\ "; Lexing.lex_check = "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\000\000\000\000\255\255\000\000\000\000\007\000\255\255\ \255\255\007\000\007\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \000\000\255\255\000\000\255\255\255\255\007\000\011\000\000\000\ \013\000\255\255\014\000\255\255\016\000\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\000\000\255\255\255\255\008\000\ \009\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\014\000\ \011\000\016\000\013\000\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \000\000\008\000\009\000\014\000\011\000\016\000\013\000\017\000\ "; Lexing.lex_base_code = ""; Lexing.lex_backtrk_code = ""; Lexing.lex_default_code = ""; Lexing.lex_trans_code = ""; Lexing.lex_check_code = ""; Lexing.lex_code = ""; } let rec main lexbuf = __ocaml_lex_main_rec lexbuf 0 and __ocaml_lex_main_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 27 "odoc_see_lexer.mll" ( main lexbuf ) # 133 "odoc_see_lexer.ml" | 1 -> # 32 "odoc_see_lexer.mll" ( main lexbuf ) # 140 "odoc_see_lexer.ml" | 2 -> # 37 "odoc_see_lexer.mll" ( url lexbuf ) # 147 "odoc_see_lexer.ml" | 3 -> # 42 "odoc_see_lexer.mll" ( doc lexbuf ) # 154 "odoc_see_lexer.ml" | 4 -> # 48 "odoc_see_lexer.mll" ( file lexbuf ) # 161 "odoc_see_lexer.ml" | 5 -> # 53 "odoc_see_lexer.mll" ( EOF ) # 168 "odoc_see_lexer.ml" | 6 -> # 58 "odoc_see_lexer.mll" ( Buffer.reset buf ; Buffer.add_string buf (Lexing.lexeme lexbuf); desc lexbuf ) # 177 "odoc_see_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_main_rec lexbuf __ocaml_lex_state and url lexbuf = __ocaml_lex_url_rec lexbuf 8 and __ocaml_lex_url_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 66 "odoc_see_lexer.mll" ( let s = Lexing.lexeme lexbuf in See_url (String.sub s 0 ((String.length s) -1)) ) # 192 "odoc_see_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_url_rec lexbuf __ocaml_lex_state and doc lexbuf = __ocaml_lex_doc_rec lexbuf 11 and __ocaml_lex_doc_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 74 "odoc_see_lexer.mll" ( let s = Lexing.lexeme lexbuf in See_doc (String.sub s 0 ((String.length s) -1)) ) # 207 "odoc_see_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_doc_rec lexbuf __ocaml_lex_state and file lexbuf = __ocaml_lex_file_rec lexbuf 14 and __ocaml_lex_file_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 81 "odoc_see_lexer.mll" ( let s = Lexing.lexeme lexbuf in See_file (String.sub s 0 ((String.length s) -1)) ) # 222 "odoc_see_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_file_rec lexbuf __ocaml_lex_state and desc lexbuf = __ocaml_lex_desc_rec lexbuf 17 and __ocaml_lex_desc_rec lexbuf __ocaml_lex_state = match Lexing.engine __ocaml_lex_tables __ocaml_lex_state lexbuf with | 0 -> # 89 "odoc_see_lexer.mll" ( Desc (Buffer.contents buf) ) # 234 "odoc_see_lexer.ml" | 1 -> # 91 "odoc_see_lexer.mll" ( Buffer.add_string buf (Lexing.lexeme lexbuf); desc lexbuf ) # 242 "odoc_see_lexer.ml" | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_desc_rec lexbuf __ocaml_lex_state ;;