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
|
----
-- Mapping from `sym`s to `Result`s.
--
-- @classmod Scope
import ValueStream from require 'alv.stream'
import Result from require 'alv.result'
import Error from require 'alv.error'
class Scope
--- members
-- @section members
--- set a Lua value in the scope.
--
-- wraps `val` in a `ValueStream` and `Result` before calling `set`.
--
-- @tparam string key
-- @tparam any val
set_raw: (key, val) =>
value = ValueStream.wrap val, key
@values[key] = Result :value
--- set a symbol to a `Result`.
--
-- @tparam string key
-- @tparam Result val
set: (key, val) =>
L\trace "setting #{key} = #{val} in #{@}"
assert val.__class == Result, "expected #{key}=#{val} to be Result"
assert val.value, Error 'type', "cannot define symbol to nil"
assert not @values[key], Error 'type', "cannot redefine symbol '#{key}'!"
@values[key] = val
recurse: (key) =>
parent = if key\match '^%*.*%*$' then @dynamic_parent else @parent
parent or= @parent
if parent
L\push parent\get, key
else
error Error 'reference', "undefined symbol '#{key}'"
--- resolve a key in this Scope.
--
-- @tparam string key the key to resolve
-- @treturn ?Result the value of the definition that was found, or `nil`
get: (key) =>
L\debug "checking for #{key} in #{@}"
if val = @values[key]
L\trace "found #{val} in #{@}"
return val
start, rest = key\match '^(.-)/(.+)'
if not start
return @recurse key
child = @get start
if not child
error Error 'reference', "undefined symbol '#{start}'"
if child\type! != 'scope'
error Error 'reference', "'#{start}' is not a scope"
child.value!\get rest, while_msg
--- copy definitions from another scope.
--
-- copies all definitions from `other`. Does not copy inherited definitions.
--
-- @tparam Scope other
use: (other) =>
L\trace "using defs from #{other} in #{@}"
for k, v in pairs other.values
@values[k] = v
__tostring: =>
buf = "<Scope"
depth = -1
parent = @parent
while parent
depth += 1
parent = parent.parent
buf ..= " ^#{depth}" if depth != 0
keys = [key for key in pairs @values]
if #keys > 5
keys = [key for key in *keys[,5]]
keys[6] = '...'
buf ..= " [#{table.concat keys, ', '}]"
buf ..= ">"
buf
--- static functions
-- @section static
--- create a new Scope.
--
-- @classmethod
-- @tparam[opt] Scope parent a parent this scope inherits definitions from
-- @tparam[opt] Scope dynamic_parent a parent scope that should be checked for
-- dynamic definitions
new: (@parent, @dynamic_parent) =>
@values = {}
--- convert a Lua table to a Scope.
--
-- `tbl` may contain more tables (or `Scope`s).
-- Uses `ValueStream.wrap` on the values recursively.
--
-- @tparam table tbl the table to convert
-- @treturn Scope
@from_table: (tbl) ->
with Scope!
for k, v in pairs tbl
\set_raw k, v
{
:Scope
}
|
