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-2020 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, S = lpeg.P, 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.to_eol('%')))
-- TeX environments.
lex:add_rule('environment', token('environment', '\\' * (P('begin') + 'end') *
lexer.word))
lex:add_style('environment', lexer.styles.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_consecutive_lines('%'))
lex:add_fold_point('environment', '\\begin', '\\end')
lex:add_fold_point(lexer.OPERATOR, '{', '}')
return lex
|
