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
|
local info = {
version = 1.002,
comment = "scintilla lpeg lexer for pdf",
author = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
copyright = "PRAGMA ADE / ConTeXt Development Team",
license = "see context related readme files",
}
if not lexer._CONTEXTEXTENSIONS then require("scite-context-lexer") end
local lexer = lexer
local token = lexer.token
local P, R, S = lpeg.P, lpeg.R, lpeg.S
local pdflexer = { _NAME = "pdf", _FILENAME = "scite-context-lexer-pdf" }
local whitespace = lexer.WHITESPACE -- triggers states
local pdfobjectlexer = lexer.load("scite-context-lexer-pdf-object")
local pdfxreflexer = lexer.load("scite-context-lexer-pdf-xref")
local context = lexer.context
local patterns = context.patterns
local space = patterns.space
local spacing = patterns.spacing
local nospacing = patterns.nospacing
local anything = patterns.anything
local restofline = patterns.restofline
local t_spacing = token(whitespace, spacing)
local t_rest = token("default", nospacing) -- anything
local p_obj = P("obj")
local p_endobj = P("endobj")
local p_xref = P("xref")
local p_startxref = P("startxref")
local p_eof = P("%%EOF")
local p_trailer = P("trailer")
local p_objectnumber = patterns.cardinal
local p_comment = P('%') * restofline
local t_comment = token("comment", p_comment)
local t_openobject = token("warning", p_objectnumber)
* t_spacing
* token("warning", p_objectnumber)
* t_spacing
* token("keyword", p_obj)
* t_spacing^0
local t_closeobject = token("keyword", p_endobj)
-- We could do clever xref parsing but why should we (i.e. we should check for
-- the xref body. As a pdf file is not edited, we could do without a nested
-- lexer anyway.
local t_trailer = token("keyword", p_trailer)
* t_spacing
* pdfobjectlexer._shared.dictionary
local t_openxref = token("plain", p_xref)
local t_closexref = token("plain", p_startxref)
+ token("comment", p_eof)
+ t_trailer
local t_startxref = token("plain", p_startxref)
* t_spacing
* token("number", R("09")^1)
lexer.embed_lexer(pdflexer, pdfobjectlexer, t_openobject, t_closeobject)
lexer.embed_lexer(pdflexer, pdfxreflexer, t_openxref, t_closexref)
pdflexer._rules = {
{ 'whitespace', t_spacing },
{ 'comment', t_comment },
{ 'xref', t_startxref },
{ 'rest', t_rest },
}
pdflexer._tokenstyles = context.styleset
return pdflexer
|
