blob: 4b39bcbb27cb054f8f022cf74a36202d061b7789 (
plain)
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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
----
-- Identity provider for `Cell`s and `Builtin`s.
--
-- Tags are one of:
-- - 'blank' (`[?]`, to be auto-assigned by the Copilot)
-- - literal (`[1]`)
-- - cloned (`[X.Y]`, obtained by cloning Y with parent X)
--
-- @classmod Tag
import Registry from require 'alv.registry'
local ClonedTag
class DummyReg
destroy: =>
__tostring: => "<dummy>"
dummy = DummyReg!
class Tag
--- members
-- @section members
--- obtain the registered value of the last eval-cycle.
--
-- Obtain the value that was previously registered for this tag on the last
-- eval-cylce.
--
-- @treturn ?any
last: =>
if index = @index!
COPILOT.active_module.registry\last index
--- register `expr` for this tag for the current eval cycle.
--
-- Will mark blank tags for auto-assignment at the end of the eval cycle.
--
-- @tparam any expr the value to register
register: (expr) => COPILOT.active_module.registry\register @, expr
--- create a copy of this tag scoped to a `parent` tag.
--
-- Will mark blank tags for auto-assignment at the end of the eval cycle.
--
-- @tparam Tag parent the parent tag
-- @treturn Tag the cloned tag
clone: (parent) =>
-- ensure this tag is registered for the current eval cycle,
-- even if it is blank and has no associated value
COPILOT.active_module.registry\register @, dummy, true
assert parent, "need parent to clone!"
ClonedTag @, parent
stringify: => if @value then "[#{@value}]" else ''
__tostring: => if @value then "#{@value}" else '?'
--- internals for `Registry`
-- @section internals
new: (@value) =>
--- get a unique index value for this Tag.
--
-- The index is equal to `value` for simple tags and a path-like string for
-- cloned tags.
--
-- @treturn ?number|string
index: => @value
--- callback to set value for blank tags.
--
-- `value` may be blank to reassign duplicate tags.
--
-- @tparam ?number value
set: (value) =>
either_or = (@value or value) and not (@value and value)
assert either_or, "unexpected :set #{value} on #{@}"
@value = value
--- static functions
-- @section static
--- create a blank `Tag`.
--
-- @treturn Tag
@blank: -> Tag!
--- parse a `Tag` (for Lpeg parsing).
--
-- @tparam string num the number-string
-- @treturn Tag
@parse: (num) -> Tag tonumber num
class ClonedTag extends Tag
new: (@original, @parent) =>
index: =>
orig = @original\index!
parent = @parent\index!
if orig and parent
"#{parent}.#{orig}"
set: (value) =>
assert @parent.value, "cloned tag #{@} set before parent"
@original\set value
stringify: => error "cant stringify ClonedTag"
__tostring: =>
if @parent
"#{@parent}.#{@original}"
else
tostring @original
{
:Tag
}
|
