summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua
diff options
context:
space:
mode:
authorMojca Miklavec <mojca.miklavec@gmail.com>2012-05-14 17:38:55 +0000
committerMojca Miklavec <mojca.miklavec@gmail.com>2012-05-14 17:38:55 +0000
commit15995e10bfc68edf79970c4ea4fbb6678566c46e (patch)
tree2de7ca2a83f2d37ef043ad7429a5cb945bb79ddb /Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua
parentc9a39f716f1e5ec820ed3aab2c9aef25c5a9d730 (diff)
ConTeXt 2012.05.14 16:00
git-svn-id: svn://tug.org/texlive/trunk@26371 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua')
-rw-r--r--Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua51
1 files changed, 51 insertions, 0 deletions
diff --git a/Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua b/Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua
new file mode 100644
index 00000000000..f205e913053
--- /dev/null
+++ b/Master/texmf-dist/context/data/scite/lexers/scite-context-lexer-pdf-xref.lua
@@ -0,0 +1,51 @@
+local info = {
+ version = 1.002,
+ comment = "scintilla lpeg lexer for pdf xref",
+ author = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
+ copyright = "PRAGMA ADE / ConTeXt Development Team",
+ license = "see context related readme files",
+}
+
+local lexer = lexer
+local token = lexer.token
+local P, R = lpeg.P, lpeg.R
+
+-- xref
+-- cardinal cardinal [character]
+-- ..
+-- %%EOF | startxref | trailer
+
+local pdfxreflexer = { _NAME = "pdf-xref", _FILENAME = "scite-context-lexer-pdf-xref" }
+local whitespace = lexer.WHITESPACE -- triggers states
+local context = lexer.context
+local patterns = context.patterns
+
+local pdfobjectlexer = lexer.load("scite-context-lexer-pdf-object")
+
+local spacing = patterns.spacing
+
+local t_spacing = token(whitespace, spacing)
+
+local p_trailer = P("trailer")
+
+local t_number = token("number", R("09")^1)
+ * t_spacing
+ * token("number", R("09")^1)
+ * t_spacing
+ * (token("keyword", R("az","AZ")) * t_spacing)^-1
+
+local t_xref = t_number^1
+
+-- local t_xref = token("default", (1-p_trailer)^1)
+-- * token("keyword", p_trailer)
+-- * t_spacing
+-- * pdfobjectlexer._shared.dictionary
+
+pdfxreflexer._rules = {
+ { 'whitespace', t_spacing },
+ { 'xref', t_xref },
+}
+
+pdfxreflexer._tokenstyles = context.styleset
+
+return pdfxreflexer