113
114
115
116
117
118
119
120
121
122
123
124
125
126
...
184
185
186
187
188
189
190
191
192
193
194
195
196
197
...
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
...
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
...
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
....
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
....
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
....
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
....
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
|
ct.exns.tx(msg, self.src.file, self.line or 0, ...):throw()
end;
insert = function(self, block)
block.origin = self:clone()
table.insert(self.sec.blocks,block)
return block
end;
ref = function(self,id)
if not id:find'%.' then
local rid = self.sec.refs[id]
if self.sec.refs[id] then
return self.sec.refs[id], id, self.sec
else self:fail("no such ref %s in current section", id or '') end
else
................................................................................
end
return ct.ext.loaded[name].default
end;
context_var = function(self, var, ctx, test)
local fail = function(...)
if test then return false end
ctx:fail(...)
end
if startswith(var, 'cortav.') then
local v = var:sub(8)
if v == 'page' then
if ctx.page then return tostring(ctx.page)
else return '(unpaged)' end
elseif v == 'renderer' then
................................................................................
local val = os.getenv(v)
if not val then
return fail('undefined environment variable %s', v)
end
elseif self.stage.kind == 'render' and startswith(var, self.stage.format..'.') then
-- TODO query the renderer somehow
return fail('renderer %s does not implement variable %s', self.stage.format, var)
elseif self.vars[var] then
return self.vars[var]
else
if test then return false end
return '' -- is this desirable behavior?
end
end;
job = function(self, name, pred, ...) -- convenience func
return self.docjob:fork(name, pred, ...)
end
};
mk = function() return {
sections = {};
secorder = {};
embed = {};
meta = {};
vars = {};
ext = {
inhibit = {};
need = {};
use = {};
};
enc = ss.str.enc.utf8;
} end;
................................................................................
cmd = cmd;
args = args;
crit = crit;
failthru = failthru;
spans = spans;
}
end
end
ct.spanctls = {
{seq = '!', parse = formatter 'emph'};
{seq = '*', parse = formatter 'strong'};
{seq = '~', parse = formatter 'strike'};
{seq = '+', parse = formatter 'insert'};
{seq = '\\', parse = function(s, c) -- raw
return {
kind = 'raw';
spans = {s};
origin = c:clone();
}
end};
{seq = '`\\', parse = function(s, c) -- raw
local o = c:clone();
local str = ''
for c, p in ss.str.each(c.doc.enc, s) do
local q = p:esc()
if q then
str = str .. q
p.next.byte = p.next.byte + #q
else
str = str .. c
end
end
return {
kind = 'format';
style = 'literal';
spans = {{
kind = 'raw';
spans = {str};
origin = o;
}};
origin = o;
}
end};
{seq = '`', parse = formatter 'literal'};
{seq = '$', parse = formatter 'variable'};
{seq = '^', parse = function(s,c) --footnotes
local r, t = s:match '^([^%s]+)%s*(.-)$'
return {
kind = 'footnote';
................................................................................
local sp = ct.parse_span(txt, c)
c.doc.docjob:hook('meddle_span', sp, last)
table.insert(last.lines, sp)
j:hook('block_aside_attach', c, last, sp, l)
j:hook('block_aside_line_insert', c, last, sp, l)
end
end};
{pred = function(s,c) return s:match'^[*:]' end, fn = blockwrap(function(l,c) -- list
local stars = l:match '^([*:]+)'
local depth = utf8.len(stars)
local id, txt = l:sub(#stars+1):match '^(.-)%s*(.-)$'
local ordered = stars:sub(#stars) == ':'
if id == '' then id = nil end
return {
kind = 'list-item';
................................................................................
c:fail('extension %s does not support critical directive %s', cmd, topcmd)
end
end
elseif crit == '!' then
c:fail('critical directive %s not supported',cmd)
end
end;};
{seq = '~~~', fn = blockwrap(function(l,c,j)
local extract = function(ptn, str)
local start, stop = str:find(ptn)
if not start then return nil, str end
local ex = str:sub(start,stop)
local n = str:sub(1,start-1) .. str:sub(stop+1)
return ex, n
................................................................................
if ctx.mode.expand
then newline = ct.parse_span(l, ctx)
else newline = {l}
end
table.insert(ctx.mode.listing.lines, newline)
job:hook('block_listing_newline',ctx,ctx.mode.listing,newline)
end
else
local mf = job:proc('modes', ctx.mode.kind)
if not mf then
ctx:fail('unimplemented syntax mode %s', ctx.mode.kind)
end
mf(job, ctx, l, dest) --NOTE: you are responsible for triggering the appropriate hooks if you insert anything!
end
else
................................................................................
end
return false
end
if not tryseqs(ct.ctlseqs) then
local found = false
for eb, ext, state in job:each('blocks') do
if tryseqs(eb, state) then found = true break end
end
if not found then
ctx:fail 'incomprehensible input line'
end
end
................................................................................
end
function ct.parse(file, src, mode, setup)
-- this object is threaded down through the parse tree
-- and copied to store information like the origin of the
-- element in the source code
local ctx = ct.ctx.mk(src)
ctx.line = 0
ctx.doc = ct.doc.mk()
ctx.doc.src = src
ctx.sec = ctx.doc:mksec() -- toplevel section
ctx.sec.origin = ctx:clone()
ctx.lang = mode['meta:lang']
if mode['parse:enc'] then
local e = ss.str.enc[mode['parse:enc']]
if not e then
ct.exns.enc('requested encoding not supported',mode['parse:enc']):throw()
end
ctx.doc.enc = e
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
<
|
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
|
|
<
|
<
<
<
|
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
...
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
...
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
...
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
....
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
....
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
....
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
....
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
....
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
|
ct.exns.tx(msg, self.src.file, self.line or 0, ...):throw()
end;
insert = function(self, block)
block.origin = self:clone()
table.insert(self.sec.blocks,block)
return block
end;
init = function(ctx, doc, src)
ctx.line = 0
ctx.doc = doc
ctx.doc.src = src
ctx.sec = doc:mksec() -- toplevel section
ctx.sec.origin = ctx:clone()
end;
ref = function(self,id)
if not id:find'%.' then
local rid = self.sec.refs[id]
if self.sec.refs[id] then
return self.sec.refs[id], id, self.sec
else self:fail("no such ref %s in current section", id or '') end
else
................................................................................
end
return ct.ext.loaded[name].default
end;
context_var = function(self, var, ctx, test)
local fail = function(...)
if test then return false end
ctx:fail(...)
end
local scanParents = function(k)
for k,p in pairs(self.parents) do
local v = p:context_var(k, ctx, true)
if v ~= false then return v end
end
end
if startswith(var, 'cortav.') then
local v = var:sub(8)
if v == 'page' then
if ctx.page then return tostring(ctx.page)
else return '(unpaged)' end
elseif v == 'renderer' then
................................................................................
local val = os.getenv(v)
if not val then
return fail('undefined environment variable %s', v)
end
elseif self.stage.kind == 'render' and startswith(var, self.stage.format..'.') then
-- TODO query the renderer somehow
return fail('renderer %s does not implement variable %s', self.stage.format, var)
elseif startswith(var, 'super.') then
local sp = scanParents(var:sub(8))
if sp == nil then
if test then return false else return '' end
else
return sp
end
elseif self.vars[var] then
return self.vars[var]
else
local sp = scanParents(var)
if sp then return sp end
if test then return false end
return '' -- is this desirable behavior?
end
end;
job = function(self, name, pred, ...) -- convenience func
return self.docjob:fork(name, pred, ...)
end;
sub = function(self, ctx)
-- convenience function for single-inheritance structure
-- sets up a doc/ctx pair for a subdocument embedded in the source
-- of a gretaer document, pointing subdoc props to global tables/values
local newdoc = ct.doc.mk(self)
newdoc.meta = self.meta
newdoc.ext = self.ext
newdoc.enc = self.enc
newdoc.stage = self.stage
-- vars are handled through proper recursion across all parents and
-- are intentionally excluded here; subdocs can have their own vars
-- without losing access to parent vars
local nctx = ctx:clone()
nctx:init(newdoc, ctx.src)
nctx.line = ctx.line
return newdoc, nctx
end;
};
mk = function(...) return {
sections = {};
secorder = {};
embed = {};
meta = {};
vars = {};
parents = {...};
ext = {
inhibit = {};
need = {};
use = {};
};
enc = ss.str.enc.utf8;
} end;
................................................................................
cmd = cmd;
args = args;
crit = crit;
failthru = failthru;
spans = spans;
}
end
end
local function rawcode(s, c) -- raw
local o = c:clone();
local str = ''
for c, p in ss.str.each(c.doc.enc, s) do
local q = p:esc()
if q then
str = str .. q
p.next.byte = p.next.byte + #q
else
str = str .. c
end
end
return {
kind = 'format';
style = 'literal';
spans = {{
kind = 'raw';
spans = {str};
origin = o;
}};
origin = o;
}
end
ct.spanctls = {
{seq = '!', parse = formatter 'emph'};
{seq = '*', parse = formatter 'strong'};
{seq = '~', parse = formatter 'strike'};
{seq = '+', parse = formatter 'insert'};
{seq = '`\\', parse = rawcode};
{seq = '\\\\', parse = rawcode};
{seq = '\\', parse = function(s, c) -- raw
return {
kind = 'raw';
spans = {s};
origin = c:clone();
}
end};
{seq = '`', parse = formatter 'literal'};
{seq = '$', parse = formatter 'variable'};
{seq = '^', parse = function(s,c) --footnotes
local r, t = s:match '^([^%s]+)%s*(.-)$'
return {
kind = 'footnote';
................................................................................
local sp = ct.parse_span(txt, c)
c.doc.docjob:hook('meddle_span', sp, last)
table.insert(last.lines, sp)
j:hook('block_aside_attach', c, last, sp, l)
j:hook('block_aside_line_insert', c, last, sp, l)
end
end};
{pred = function(s,c) return s:match'^[*:]' end,
fn = blockwrap(function(l,c) -- list
local stars = l:match '^([*:]+)'
local depth = utf8.len(stars)
local id, txt = l:sub(#stars+1):match '^(.-)%s*(.-)$'
local ordered = stars:sub(#stars) == ':'
if id == '' then id = nil end
return {
kind = 'list-item';
................................................................................
c:fail('extension %s does not support critical directive %s', cmd, topcmd)
end
end
elseif crit == '!' then
c:fail('critical directive %s not supported',cmd)
end
end;};
{pred = function(s) return s:match '^(>+)([^%s]*)%s*(.*)$' end,
fn = function(l,c,j,d)
local lvl,id,txt = l:match '^(>+)([^%s]*)%s*(.*)$'
lvl = utf8.len(lvl)
local last = d[#d]
local node
local ctx
if last and last.kind == 'quote' and (id == nil or id == '' or id == last.id) then
node = last
ctx = node.ctx
ctx.line = c.line -- is this enough??
else
local doc
doc, ctx = c.doc:sub(c)
node = { kind = 'quote', doc = doc, ctx = ctx, id = id }
j:hook('block_insert', c, node, l)
table.insert(d, node)
end
ct.parse_line(txt, ctx, ctx.sec.blocks)
end};
{seq = '~~~', fn = blockwrap(function(l,c,j)
local extract = function(ptn, str)
local start, stop = str:find(ptn)
if not start then return nil, str end
local ex = str:sub(start,stop)
local n = str:sub(1,start-1) .. str:sub(stop+1)
return ex, n
................................................................................
if ctx.mode.expand
then newline = ct.parse_span(l, ctx)
else newline = {l}
end
table.insert(ctx.mode.listing.lines, newline)
job:hook('block_listing_newline',ctx,ctx.mode.listing,newline)
end
elseif ctx.mode.kind == 'quote' then
else
local mf = job:proc('modes', ctx.mode.kind)
if not mf then
ctx:fail('unimplemented syntax mode %s', ctx.mode.kind)
end
mf(job, ctx, l, dest) --NOTE: you are responsible for triggering the appropriate hooks if you insert anything!
end
else
................................................................................
end
return false
end
if not tryseqs(ct.ctlseqs) then
local found = false
for eb, ext, state in job:each 'blocks' do
if tryseqs(eb, state) then found = true break end
end
if not found then
ctx:fail 'incomprehensible input line'
end
end
................................................................................
end
function ct.parse(file, src, mode, setup)
-- this object is threaded down through the parse tree
-- and copied to store information like the origin of the
-- element in the source code
local ctx = ct.ctx.mk(src)
ctx:init(ct.doc.mk(), src)
ctx.lang = mode['meta:lang']
if mode['parse:enc'] then
local e = ss.str.enc[mode['parse:enc']]
if not e then
ct.exns.enc('requested encoding not supported',mode['parse:enc']):throw()
end
ctx.doc.enc = e
|