1

Jianw

9 天以前 70f29da38121b9a467841253e3268feb5df02902

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
-- Copyright 2006-2018 Mitchell mitchell.att.foicica.com. See License.txt.
-- Plain TeX LPeg lexer.
-- Modified by Robert Gieseke.
 
local lexer = require('lexer')
local token, word_match = lexer.token, lexer.word_match
local P, R, S = lpeg.P, lpeg.R, lpeg.S
 
local lex = lexer.new('tex')
 
-- Whitespace.
lex:add_rule('whitespace', token(lexer.WHITESPACE, lexer.space^1))
 
-- Comments.
lex:add_rule('comment', token(lexer.COMMENT, '%' * lexer.nonnewline^0))
 
-- TeX environments.
lex:add_rule('environment', token('environment', '\\' * (P('begin') + 'end') *
                                                 lexer.word))
lex:add_style('environment', lexer.STYLE_KEYWORD)
 
-- Commands.
lex:add_rule('command', token(lexer.KEYWORD, '\\' *
                                             (lexer.alpha^1 + S('#$&~_^%{}'))))
 
-- Operators.
lex:add_rule('operator', token(lexer.OPERATOR, S('$&#{}[]')))
 
-- Fold points.
lex:add_fold_point(lexer.COMMENT, '%', lexer.fold_line_comments('%'))
lex:add_fold_point('environment', '\\begin', '\\end')
lex:add_fold_point(lexer.OPERATOR, '{', '}')
 
return lex