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
|
-- Copyright 2006-2017 Mitchell mitchell.att.foicica.com. See LICENSE.
-- Eiffel LPeg lexer.
local l = require('lexer')
local token, word_match = l.token, l.word_match
local P, R, S = lpeg.P, lpeg.R, lpeg.S
local M = {_NAME = 'eiffel'}
-- Whitespace.
local ws = token(l.WHITESPACE, l.space^1)
-- Comments.
local comment = token(l.COMMENT, '--' * l.nonnewline^0)
-- Strings.
local sq_str = l.delimited_range("'", true)
local dq_str = l.delimited_range('"', true)
local string = token(l.STRING, sq_str + dq_str)
-- Numbers.
local number = token(l.NUMBER, l.float + l.integer)
-- Keywords.
local keyword = token(l.KEYWORD, word_match{
'alias', 'all', 'and', 'as', 'check', 'class', 'creation', 'debug',
'deferred', 'do', 'else', 'elseif', 'end', 'ensure', 'expanded', 'export',
'external', 'feature', 'from', 'frozen', 'if', 'implies', 'indexing', 'infix',
'inherit', 'inspect', 'invariant', 'is', 'like', 'local', 'loop', 'not',
'obsolete', 'old', 'once', 'or', 'prefix', 'redefine', 'rename', 'require',
'rescue', 'retry', 'select', 'separate', 'then', 'undefine', 'until',
'variant', 'when', 'xor',
'current', 'false', 'precursor', 'result', 'strip', 'true', 'unique', 'void'
})
-- Types.
local type = token(l.TYPE, word_match{
'character', 'string', 'bit', 'boolean', 'integer', 'real', 'none', 'any'
})
-- Identifiers.
local identifier = token(l.IDENTIFIER, l.word)
-- Operators.
local operator = token(l.OPERATOR, S('=!<>+-/*%&|^~.,:;?()[]{}'))
M._rules = {
{'whitespace', ws},
{'keyword', keyword},
{'type', type},
{'identifier', identifier},
{'string', string},
{'comment', comment},
{'number', number},
{'operator', operator},
}
M._foldsymbols = {
_patterns = {'[a-z]+', '%-%-'},
[l.KEYWORD] = {
check = 1, debug = 1, deferred = 1, ['do'] = 1, from = 1, ['if'] = 1,
inspect = 1, once = 1, class = function(text, pos, line, s)
return line:find('deferred%s+class') and 0 or 1
end, ['end'] = -1
},
[l.COMMENT] = {['--'] = l.fold_line_comments('--')}
}
return M
|
