comparison src/urweb.lex @ 1285:514be09d5018

Better UTF-8 escaping for JavaScript and SQL literals
author Adam Chlipala <adam@chlipala.net>
date Tue, 10 Aug 2010 15:55:43 -0400
parents 43ca083678f8
children 3c334458c84f
comparison
equal deleted inserted replaced
1284:43ca083678f8 1285:514be09d5018
171 cid = [A-Z][A-Za-z0-9_]*; 171 cid = [A-Z][A-Za-z0-9_]*;
172 ws = [\ \t\012]; 172 ws = [\ \t\012];
173 intconst = [0-9]+; 173 intconst = [0-9]+;
174 realconst = [0-9]+\.[0-9]*; 174 realconst = [0-9]+\.[0-9]*;
175 notags = [^<{\n(]+; 175 notags = [^<{\n(]+;
176 xcom = ([^-]|(-[^-]))+; 176 xcom = ([^\-]|(-[^\-]))+;
177 oint = [0-9][0-9][0-9]; 177 oint = [0-9][0-9][0-9];
178 xint = x[0-9a-fA-F][0-9a-fA-F]; 178 xint = x[0-9a-fA-F][0-9a-fA-F];
179 179
180 %% 180 %%
181 181