(***********************************************************************)

(*                                                                     *)

(*                 MLTk, Tcl/Tk interface of OCaml                     *)

(*                                                                     *)

(*    Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis    *)

(*               projet Cristal, INRIA Rocquencourt                    *)

(*            Jacques Garrigue, Kyoto University RIMS                  *)

(*                                                                     *)

(*  Copyright 2002 Institut National de Recherche en Informatique et   *)

(*  en Automatique and Kyoto University.  All rights reserved.         *)

(*  This file is distributed under the terms of the GNU Library        *)

(*  General Public License, with the special exception on linking      *)

(*  described in file ../../../LICENSE.                                *)

(*                                                                     *)

(***********************************************************************)

{

open Ppyac

exception Error of string

let linenum = ref 1

}

let blank = [' ' '\013' '\009' '\012']

let identchar =

  ['A'-'Z' 'a'-'z' '_' '\192'-'\214' '\216'-'\246' '\248'-'\255' '\'' '0'-'9']

let lowercase = ['a'-'z' '\223'-'\246' '\248'-'\255' '_']

let uppercase = ['A'-'Z' '\192'-'\214' '\216'-'\222']

rule token = parse

  blank + { token lexbuf }

| "##" [' ' '\t']* { directive lexbuf }

| ("#")? [^ '#' '\n']* '\n'? {

       begin

         let str = Lexing.lexeme lexbuf in

         if String.length str <> 0 && str.[String.length str - 1] = '\n' then

         begin

           incr linenum

         end;

         OTHER (str)

       end

    }

|  eof { EOF }

and directive = parse

| "ifdef" [' ' '\t']+  { IFDEF (ident lexbuf)}

| "ifndef" [' ' '\t']+  { IFNDEF (ident lexbuf)}

| "else"   { ELSE }

| "endif"  { ENDIF }

| "define" [' ' '\t']+* { DEFINE (ident lexbuf)}

| "undef"  [' ' '\t']+ { UNDEF (ident lexbuf)}

| _ { raise (Error (Printf.sprintf "unknown directive at line %d" !linenum))}

and ident = parse

| lowercase identchar* | uppercase identchar*

    { Lexing.lexeme lexbuf }

| _ { raise (Error (Printf.sprintf "illegal identifier at line %d" !linenum)) }