blob: ecdebcb3cf11c1302116132616251e378e14df4e (
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
120
121
122
123
124
125
|
(*************************************************************************)
(* *)
(* Objective Caml LablTk library *)
(* *)
(* Jacques Garrigue, Kyoto University RIMS *)
(* *)
(* Copyright 1999 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. *)
(* *)
(*************************************************************************)
(* $Id$ *)
open Tk
open Jg_tk
open Parser
let tags =
["control"; "define"; "structure"; "char";
"infix"; "label"; "uident"]
and colors =
["blue"; "forestgreen"; "purple"; "gray40";
"indianred4"; "saddlebrown"; "midnightblue"]
let init_tags tw =
List.iter2 tags colors fun:
begin fun tag col ->
Text.tag_configure tw :tag foreground:(`Color col)
end;
Text.tag_configure tw tag:"error" foreground:`Red;
Text.tag_configure tw tag:"error" relief:`Raised;
Text.tag_raise tw tag:"error"
let tag ?(:start=tstart) ?(:end=tend) tw =
let tpos c = (Text.index tw index:start, [`Char c]) in
let text = Text.get tw :start :end in
let buffer = Lexing.from_string text in
List.iter tags
fun:(fun tag -> Text.tag_remove tw :start :end :tag);
try
while true do
let tag =
match Lexer.token buffer with
AMPERAMPER
| AMPERSAND
| BARBAR
| DO | DONE
| DOWNTO
| ELSE
| FOR
| IF
| LAZY
| MATCH
| OR
| THEN
| TO
| TRY
| WHEN
| WHILE
| WITH
-> "control"
| AND
| AS
| BAR
| CLASS
| CONSTRAINT
| EXCEPTION
| EXTERNAL
| FUN
| FUNCTION
| FUNCTOR
| IN
| INHERIT
| INITIALIZER
| LET
| METHOD
| MODULE
| MUTABLE
| NEW
| OF
| PARSER
| PRIVATE
| REC
| TYPE
| VAL
| VIRTUAL
-> "define"
| BEGIN
| END
| INCLUDE
| OBJECT
| OPEN
| SIG
| STRUCT
-> "structure"
| CHAR _
| STRING _
-> "char"
| BACKQUOTE
| INFIXOP1 _
| INFIXOP2 _
| INFIXOP3 _
| INFIXOP4 _
| PREFIXOP _
| QUESTION2
| SHARP
-> "infix"
| LABEL _
| LABELID _
| QUESTION
-> "label"
| UIDENT _ -> "uident"
| EOF -> raise End_of_file
| _ -> ""
in
if tag <> "" then
Text.tag_add tw :tag
start:(tpos (Lexing.lexeme_start buffer))
end:(tpos (Lexing.lexeme_end buffer))
done
with
End_of_file -> ()
| Lexer.Error (err, s, e) -> ()
|
