diff options
author | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
---|---|---|
committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-28 21:54:47 +0000 |
commit | 6b649aba925b6f7462da07599fe67ebb12a3460e (patch) | |
tree | 43656bcaa51164548f3fa14e5b10de5ef1088574 /parsing/lexer.mli |
Imported Upstream version 8.0pl1upstream/8.0pl1
Diffstat (limited to 'parsing/lexer.mli')
-rw-r--r-- | parsing/lexer.mli | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/parsing/lexer.mli b/parsing/lexer.mli new file mode 100644 index 00000000..133bca65 --- /dev/null +++ b/parsing/lexer.mli @@ -0,0 +1,50 @@ +(************************************************************************) +(* v * The Coq Proof Assistant / The Coq Development Team *) +(* <O___,, * CNRS-Ecole Polytechnique-INRIA Futurs-Universite Paris Sud *) +(* \VV/ **************************************************************) +(* // * This file is distributed under the terms of the *) +(* * GNU Lesser General Public License Version 2.1 *) +(************************************************************************) + +(*i $Id: lexer.mli,v 1.20.2.2 2004/07/16 19:30:39 herbelin Exp $ i*) + +open Pp +open Util + +type error = + | Illegal_character + | Unterminated_comment + | Unterminated_string + | Undefined_token + | Bad_token of string + +exception Error of error + +val add_token : string * string -> unit +val is_keyword : string -> bool + +val func : char Stream.t -> (string * string) Stream.t * (int -> loc) +val location_function : int -> loc + +(* for coqdoc *) +type location_table +val location_table : unit -> location_table +val restore_location_table : location_table -> unit + +val check_ident : string -> unit +val check_keyword : string -> unit + +val tparse : string * string -> ((string * string) Stream.t -> string) option + +val token_text : string * string -> string + +type frozen_t +val freeze : unit -> frozen_t +val unfreeze : frozen_t -> unit +val init : unit -> unit + +type com_state +val com_state: unit -> com_state +val restore_com_state: com_state -> unit + +val set_xml_output_comment : (string -> unit) -> unit |