1
(**************************************************************************)
5
(* Fran�ois Pottier and Yann R�gis-Gianas, INRIA Rocquencourt *)
7
(* Copyright 2005 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* under the terms of the Q Public License version 1.0, with the *)
10
(* change described in file LICENSE. *)
12
(**************************************************************************)
14
(* This module deals with a few details regarding the definition of
15
the [token] type. In particular, if [--only-tokens] was specified,
16
it emits the type definition and exits. *)
18
(* This is the conventional name of the [token] type, for use by
19
the code generator. *)
24
(* This is the type of lexers. It refers to the [token] type,
25
which is why it is defined here. *)
29
(* This is the definition of the type of tokens, for use by the
32
val tokentypedef: IL.typedef list
34
(* This function prefixes the name of a token with an appropriate
35
Objective Caml module name, if necessary. *)
37
val tokenprefix: string -> string