Mercurial > pub > dyncall > dyncall

annotate test/common/rand-sig.lua @ 495:45ac093ca822

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
- test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
author Tassilo Philipp
date Mon, 21 Mar 2022 16:50:44 +0100
parents d45c582b5457
children da5232da6270
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
1 -- following knobs control generation:
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
2
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
3 -- required to be defined by who is using this:
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
4 -- minargs
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
5 -- maxargs
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
6 -- ncases
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
7 -- types
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
8 -- seed
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
9
495
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
10 -- optional:
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
11 -- rtypes (if not set, it'll be 'v'..types)
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
12
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
13 -- optional (when including aggregate generation):
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
14 -- minaggrfields
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
15 -- maxaggrfields
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
16 -- maxarraylen
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
17 -- arraydice
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
18 -- maxaggrdepth
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
19 -- reqaggrinsig
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
20
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
21
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
22 --------------------------------
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
23
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
24 if maxaggrdepth == nil then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
25 maxaggrdepth = 3
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
26 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
27
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
28
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
29 -- assure aggr chars are present in pairs (can be weighted, though), to avoid
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
30 -- inf loops; closing chars are allowed to appear alone, as they are ignored
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
31 -- without any opening char (does not make a lot of sense, though)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
32 pairs_op = { '{', '<' } --, '[' }
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
33 pairs_cl = { '}', '>' } --, ']' }
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
34
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
35 for i = 1, #pairs_op do
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
36 if string.find(types, '%'..pairs_op[i]) and not string.find(types, '%'..pairs_cl[i]) then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
37 types = types..pairs_cl[i]
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
38 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
39 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
40
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
41
495
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
42 if rtypes == nil then
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
43 rtypes = "v"..types
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
44 end
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
45
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
46
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
47 function mkaggr(n_nest, maxdepth, o, c)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
48 local s = o
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
49 local nfields = 0
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
50
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
51 repeat
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
52 local t = c
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
53 if nfields < maxaggrfields then
495
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
54 repeat
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
55 local id = math.random(#types)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
56 t = types:sub(id,id)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
57 until t ~= c or nfields >= minaggrfields
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
58 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
59
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
60 s_ = mktype(t, n_nest, maxdepth, o)
495
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
61 if(#s_ > 0) then
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
62 nfields = nfields + 1
495
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
63 end
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
64 s = s..s_
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
65
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
66 -- member (which cannot be first char) as array? Disallow multidimensional arrays @@@STRUCT allow multidim?
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
67 if #s > 1 and t ~= c and s:sub(-1) ~= ']' and math.random(arraydice) == 1 then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
68 s = s..'['..math.random(maxarraylen)..']'
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
69 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
70 until t == c
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
71
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
72 return s
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
73 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
74
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
75 function mktype(t, n_nest, maxdepth, aggr_open)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
76 -- aggregate opener?
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
77 local aggr_i = 0
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
78 for i = 1, #pairs_op do
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
79 if pairs_op[i] == t then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
80 aggr_i = i
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
81 break
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
82 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
83 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
84
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
85 -- ignore new aggregates if above depth limit
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
86 if aggr_i ~= 0 and t == pairs_op[aggr_i] then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
87 if n_nest < maxdepth then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
88 return mkaggr(n_nest + 1, maxdepth, pairs_op[aggr_i], pairs_cl[aggr_i])
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
89 else
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
90 return ''
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
91 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
92 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
93
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
94 -- aggregate closer?
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
95 for i = 1, #pairs_cl do
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
96 if pairs_cl[i] == t then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
97 aggr_i = i
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
98 break
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
99 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
100 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
101
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
102 -- if closing char, without any open, ignore
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
103 if aggr_i ~= 0 and (aggr_open == nil or pairs_op[aggr_i] ~= aggr_open) then
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
104 return ''
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
105 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
106
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
107 return t
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
108 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
109
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
110 -- pattern matching aggregate start chars
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
111 local aggr_op_pattern = '[%'..table.concat(pairs_op,'%')..']'
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
112
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
113 math.randomseed(seed)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
114 local id
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
115 local uniq_sigs = { }
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
116 for i = 1, ncases do
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
117 local l = ''
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
118 repeat
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
119 local nargs = math.random(minargs,maxargs)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
120 id = math.random(#rtypes)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
121 local sig = { mktype(rtypes:sub(id,id), 0, math.random(maxaggrdepth), nil) } -- random depth avoids excessive nesting
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
122 for j = 1, nargs do
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
123 id = math.random(#types)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
124 sig[#sig+1] = mktype(types:sub(id,id), 0, math.random(maxaggrdepth), nil) -- random depth avoids excessive nesting
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
125 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
126 l = table.concat(sig)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
127 -- reject dupes, sigs without any aggregate (as this is about aggrs after all), and empty ones (if not wanted)
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
128 until (reqaggrinsig ~= true or string.match(l, aggr_op_pattern) ~= nil) and uniq_sigs[l] == nil
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
129 uniq_sigs[l] = 1
495
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
130
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
131 -- @@@ hack: if included from callback_suite, 'mode' is set, and has value "random"; make sig
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
132 -- be in expected format
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
133 -- @@@ all sigs should follow that dyncally format
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
134 if mode ~= nil and mode == 'random' then
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
135 io.write(l:sub(2)..')'..l:sub(1,1).."\n")
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
136 else
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
137 io.write(l.."\n")
45ac093ca822 - test/callback_suite: make it use shared random sig generator from call_suite and call_suite_aggrs
Tassilo Philipp
parents: 494
diff changeset
138 end
494
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
139 end
d45c582b5457 - sharing sig generator between call_suite and call_suite_aggrs tests
Tassilo Philipp
parents:
diff changeset
140