blob: d18a4886d2c4fdbbd843f13f52fa65bfe495183e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(* $Id$ *)
(* The lexer generator. Command-line parsing. *)
open Syntax
open Scanner
open Grammar
open Lexgen
open Output
let main () =
if Array.length Sys.argv <> 2 then begin
prerr_string "Usage: camllex <input file>\n";
exit 2
end;
let source_name = Sys.argv.(1) in
let dest_name =
if Filename.check_suffix source_name ".mll" then
Filename.chop_suffix source_name ".mll" ^ ".ml"
else
source_name ^ ".ml" in
ic := open_in source_name;
(* oc := open_out dest_name; *) ignore dest_name;
oc := stdout;
let lexbuf = Lexing.from_channel !ic in
let (Lexdef(header,_) as def) =
try
Grammar.lexer_definition Scanner.main lexbuf
with
Parsing.Parse_error ->
prerr_string "Syntax error around char ";
prerr_int (Lexing.lexeme_start lexbuf);
prerr_endline ".";
exit 2
| Scan_aux.Lexical_error s ->
prerr_string "Lexical error around char ";
prerr_int (Lexing.lexeme_start lexbuf);
prerr_string ": ";
prerr_string s;
prerr_endline ".";
exit 2 in
let ((init, states, acts) as dfa) = make_dfa def in
output_lexdef header dfa;
close_in !ic;
close_out !oc
let _ = main(); exit 0
(*****
let main () =
ic := stdin;
oc := stdout;
let lexbuf = lexing.from_channel ic in
let (Lexdef(header,_) as def) =
try
grammar.lexer_definition scanner.main lexbuf
with
parsing.Parse_error x ->
prerr_string "Syntax error around char ";
prerr_int (lexing.lexeme_start lexbuf);
prerr_endline ".";
sys.exit 2
| scan_aux.Lexical_error s ->
prerr_string "Lexical error around char ";
prerr_int (lexing.lexeme_start lexbuf);
prerr_string ": ";
prerr_string s;
prerr_endline ".";
sys.exit 2 in
let ((init, states, acts) as dfa) = make_dfa def in
output_lexdef header dfa
****)
(****
let debug_scanner lexbuf =
let tok = scanner.main lexbuf in
begin match tok with
Tident s -> prerr_string "Tident "; prerr_string s
| Tchar c -> prerr_string "Tchar "; prerr_char c
| Tstring s -> prerr_string "Tstring "; prerr_string s
| Taction(Location(i1,i2)) ->
prerr_string "Taction "; prerr_int i1; prerr_string "-";
prerr_int i2
| Trule -> prerr_string "Trule"
| Tparse -> prerr_string "Tparse"
| Tand -> prerr_string "Tand"
| Tequal -> prerr_string "Tequal"
| Tend -> prerr_string "Tend"
| Tor -> prerr_string "Tor"
| Tunderscore -> prerr_string "Tunderscore"
| Teof -> prerr_string "Teof"
| Tlbracket -> prerr_string "Tlbracket"
| Trbracket -> prerr_string "Trbracket"
| Tstar -> prerr_string "Tstar"
| Tmaybe -> prerr_string "Tmaybe"
| Tplus -> prerr_string "Tplus"
| Tlparen -> prerr_string "Tlparen"
| Trparen -> prerr_string "Trparen"
| Tcaret -> prerr_string "Tcaret"
| Tdash -> prerr_string "Tdash"
end;
prerr_newline();
tok
****)
|
