strc-rsc.lmt /size: 7606 b    last modification: 2024-01-16 10:22
1if not modules then modules = { } end modules ['strc-rsc'] = {
2    version   = 1.001,
3    comment   = "companion to strc-ref.mkiv",
4    author    = "Hans Hagen, PRAGMA-ADE, Hasselt NL",
5    copyright = "PRAGMA ADE / ConTeXt Development Team",
6    license   = "see context related readme files"
7}
8
9-- The scanner is in a separate module so that we can test without too
10-- many dependencies.
11
12-- The scanner accepts nested outer, but we don't care too much, maybe
13-- some day we will have both but currently the innermost wins.
14
15local lpegmatch, lpegpatterns = lpeg.match, lpeg.patterns
16local lpegP, lpegS, lpegCs, lpegCt, lpegCf, lpegCc, lpegC, lpegCg = lpeg.P, lpeg.S, lpeg.Cs, lpeg.Ct, lpeg.Cf, lpeg.Cc, lpeg.C, lpeg.Cg
17local find = string.find
18
19local spaces     = lpegP(" ")^0
20local lparent    = lpegP("(")
21local rparent    = lpegP(")")
22local lbrace     = lpegP("{")
23local rbrace     = lpegP("}")
24local tcolon     = lpegP(":::") -- component or outer
25local dcolon     = lpegP("::")  -- outer
26local scolon     = lpegP(":")   -- prefix
27local backslash  = lpegP("\\")
28
29      lparent    = spaces * lparent * spaces
30      rparent    = spaces * rparent * spaces
31      lbrace     = spaces * lbrace  * spaces
32      rbrace     = spaces * rbrace  * spaces
33      tcolon     = spaces * tcolon  * spaces
34      dcolon     = spaces * dcolon  * spaces
35
36local endofall   = spaces * lpegP(-1)
37
38----- o_token    = 1 - rparent - rbrace - lparent - lbrace  -- can be made more efficient
39----- a_token    = 1 - rbrace
40local s_token    = 1 - lparent - lbrace
41local i_token    = 1 - lparent - lbrace - endofall
42local f_token    = 1 - lparent - lbrace - dcolon
43local c_token    = 1 - lparent - lbrace - tcolon
44
45-- experimental
46
47local o_token    = lpegpatterns.nestedparents
48                 + (1 - rparent - lbrace)
49local a_token    = lpegpatterns.nestedbraces
50                 + (1 - rbrace)
51local q_token    = lpegpatterns.unsingle
52                 + lpegpatterns.undouble
53
54local component  = lpegCg(lpegCc("component") * lpegCs(c_token^1))
55local outer      = lpegCg(lpegCc("outer")     * lpegCs(f_token^1))
56----- operation  = lpegCg(lpegCc("operation") * lpegCs(o_token^1))
57local operation  = lpegCg(lpegCc("operation") * lpegCs(q_token + o_token^1))
58local arguments  = lpegCg(lpegCc("arguments") * lpegCs(q_token + a_token^0))
59local special    = lpegCg(lpegCc("special")   * lpegCs(s_token^1))
60local inner      = lpegCg(lpegCc("inner")     * lpegCs(i_token^1))
61
62      arguments  = (lbrace * arguments * rbrace)^-1
63      component  = component * tcolon
64      outer      = outer * dcolon
65      operation  = outer^-1 * operation -- special case: page(file::1) and file::page(1)
66      inner      = inner * arguments
67      special    = special * lparent * (operation * arguments)^-1 * rparent
68
69local referencesplitter = spaces
70                        * lpegCf (lpegCt("") * (component + outer)^-1 * (special + inner)^-1 * endofall, rawset)
71
72local prefixsplitter    = lpegCs(lpegP((1-scolon)^1 * scolon))
73                        * #-scolon
74                        * lpegCs(lpegP(1)^1)
75
76local componentsplitter = lpegCs(lpegP((1-scolon)^1))
77                        * scolon * #-scolon
78                        * lpegCs(lpegP(1)^1)
79
80prefixsplitter = componentsplitter
81
82local function splitreference(str)
83    if str and str ~= "" then
84        return lpegmatch(referencesplitter,str)
85    end
86end
87
88local function splitprefix(str)
89    return lpegmatch(prefixsplitter,str)
90end
91
92local function splitcomponent(str)
93    return lpegmatch(componentsplitter,str)
94end
95
96-- register in the right namespace
97
98structures                   = structures or { }
99structures.references        = structures.references or { }
100local references             = structures.references
101
102references.referencesplitter = referencesplitter
103references.splitreference    = splitreference
104references.prefixsplitter    = prefixsplitter
105references.splitprefix       = splitprefix
106references.componentsplitter = componentsplitter
107references.splitcomponent    = splitcomponent
108
109-- test code:
110
111-- inspect(splitreference([[component:::inner]]))
112-- inspect(splitprefix([[component:::inner]]))
113-- inspect(splitprefix([[component:inner]]))
114
115-- inspect(splitreference([[name(foo)]]))
116-- inspect(splitreference([[name{foo}]]))
117-- inspect(splitreference([[xx::name(foo, bar and me)]]))
118
119-- inspect(splitreference([[ ]]))
120-- inspect(splitreference([[ inner ]]))
121-- inspect(splitreference([[ special ( operation { argument, argument } ) ]]))
122-- inspect(splitreference([[ special ( operation { argument } ) ]]))
123-- inspect(splitreference([[ special ( operation { argument, \argument } ) ]]))
124-- inspect(splitreference([[ special ( operation { \argument } ) ]]))
125-- inspect(splitreference([[ special ( operation ) ]]))
126-- inspect(splitreference([[ special ( \operation ) ]]))
127-- inspect(splitreference([[ special ( o\peration ) ]]))
128-- inspect(splitreference([[ special ( ) ]]))
129-- inspect(splitreference([[ inner { argument } ]]))
130-- inspect(splitreference([[ inner { \argument } ]]))
131-- inspect(splitreference([[ inner { ar\gument } ]]))
132-- inspect(splitreference([[inner{a\rgument}]]))
133-- inspect(splitreference([[ inner { argument, argument } ]]))
134-- inspect(splitreference([[ inner { argument, \argument } ]]))  -- fails: bug in lpeg?
135-- inspect(splitreference([[ inner { \argument, \argument } ]]))
136-- inspect(splitreference([[ outer :: ]]))
137-- inspect(splitreference([[ outer :: inner]]))
138-- inspect(splitreference([[ outer :: special (operation { argument,argument } ) ]]))
139-- inspect(splitreference([[ outer :: special (operation { } )]]))
140-- inspect(splitreference([[ outer :: special ( operation { argument, \argument } ) ]]))
141-- inspect(splitreference([[ outer :: special ( operation ) ]]))
142-- inspect(splitreference([[ outer :: special ( \operation ) ]]))
143-- inspect(splitreference([[ outer :: special ( ) ]]))
144-- inspect(splitreference([[ outer :: inner { argument } ]]))
145-- inspect(splitreference([[ special ( outer :: operation ) ]]))
146
147-- inspect(splitreference([[inner(foo,bar)]]))
148
149-- inspect(splitreference([[]]))
150-- inspect(splitreference([[inner]]))
151-- inspect(splitreference([[special(operation{argument,argument})]]))
152-- inspect(splitreference([[special(operation)]]))
153-- inspect(splitreference([[special(\operation)]]))
154-- inspect(splitreference([[special()]]))
155-- inspect(splitreference([[inner{argument}]]))
156-- inspect(splitreference([[inner{\argument}]]))
157-- inspect(splitreference([[outer::]]))
158-- inspect(splitreference([[outer::inner]]))
159-- inspect(splitreference([[outer::special(operation{argument,argument})]]))
160-- inspect(splitreference([[outer::special(operation{argument,\argument})]]))
161-- inspect(splitreference([[outer::special(operation)]]))
162-- inspect(splitreference([[outer::special(\operation)]]))
163-- inspect(splitreference([[outer::special()]]))
164-- inspect(splitreference([[outer::inner{argument}]]))
165-- inspect(splitreference([[special(outer::operation)]]))
166
167-- inspect(splitreference([[special(operation)]]))
168-- inspect(splitreference([[special(operation(whatever))]]))
169-- inspect(splitreference([[special(operation{argument,argument{whatever}})]]))
170-- inspect(splitreference([[special(operation{argument{whatever}})]]))
171
172-- inspect(splitreference([[special("operation(")]]))
173-- inspect(splitreference([[special("operation(whatever")]]))
174-- inspect(splitreference([[special(operation{"argument,argument{whatever"})]]))
175-- inspect(splitreference([[special(operation{"argument{whatever"})]]))
176
177-- inspect(splitreference([[url(http://a,b.c)]]))
178-- inspect(splitcomponent([[url(http://a,b.c)]]))
179-- inspect(splitcomponent([[url(http://a.b.c)]]))
180
181