1 |
|
2 | "use strict";
|
3 |
|
4 | var assert = require("assert");
|
5 | var random = require("./random.js");
|
6 | var either = require("./either.js");
|
7 | var utils = require("./utils.js");
|
8 |
|
9 |
|
10 |
|
11 |
|
12 |
|
13 |
|
14 |
|
15 |
|
16 |
|
17 |
|
18 |
|
19 |
|
20 |
|
21 |
|
22 |
|
23 |
|
24 |
|
25 |
|
26 |
|
27 |
|
28 |
|
29 |
|
30 | function generatorProtoMap(f) {
|
31 |
|
32 | var generator = this;
|
33 | generatorAssert(generator);
|
34 | return generatorBless(function (size) {
|
35 | return f(generator(size));
|
36 | });
|
37 | }
|
38 |
|
39 | function generatorProtoFlatMap(f) {
|
40 |
|
41 | var generator = this;
|
42 | generatorAssert(generator);
|
43 | return generatorBless(function (size) {
|
44 | return f(generator(size))(size);
|
45 | });
|
46 | }
|
47 |
|
48 |
|
49 | function generatorAssert(generator) {
|
50 | assert(typeof generator === "function", "generator should be a function");
|
51 | assert(generator.map === generatorProtoMap, "generator.map should be a function");
|
52 | assert(generator.flatmap === generatorProtoFlatMap, "generator.flatmap should be a function");
|
53 | assert(generator.flatMap === generatorProtoFlatMap, "generator.flatMap should be a function");
|
54 | }
|
55 |
|
56 |
|
57 |
|
58 |
|
59 |
|
60 |
|
61 |
|
62 |
|
63 |
|
64 |
|
65 |
|
66 |
|
67 |
|
68 |
|
69 |
|
70 |
|
71 |
|
72 |
|
73 |
|
74 | function generatorBless(generator) {
|
75 | generator.map = generatorProtoMap;
|
76 | generator.flatmap = generatorProtoFlatMap;
|
77 | generator.flatMap = generatorProtoFlatMap;
|
78 | return generator;
|
79 | }
|
80 |
|
81 |
|
82 |
|
83 |
|
84 | function generateConstant(x) {
|
85 | return generatorBless(function () {
|
86 | return x;
|
87 | });
|
88 | }
|
89 |
|
90 |
|
91 |
|
92 |
|
93 | function generatorCombine() {
|
94 | var generators = Array.prototype.slice.call(arguments, 0, -1);
|
95 | var f = arguments[arguments.length - 1];
|
96 |
|
97 | return generatorBless(function (size) {
|
98 | var values = generators.map(function (gen) {
|
99 | return gen(size);
|
100 | });
|
101 |
|
102 | return f.apply(undefined, values);
|
103 | });
|
104 | }
|
105 |
|
106 |
|
107 |
|
108 |
|
109 | function generateOneof(generators) {
|
110 |
|
111 | generators.forEach(function (gen) {
|
112 | assert(typeof gen === "function");
|
113 | });
|
114 |
|
115 | var result = generatorBless(function (size) {
|
116 | var idx = random(0, generators.length - 1);
|
117 | var gen = generators[idx];
|
118 | return gen(size);
|
119 | });
|
120 |
|
121 | return utils.curried2(result, arguments);
|
122 | }
|
123 |
|
124 |
|
125 | function logsize(size) {
|
126 | return Math.max(Math.round(Math.log(size + 1) / Math.log(2), 0));
|
127 | }
|
128 |
|
129 |
|
130 |
|
131 |
|
132 | function generatorRecursive(genZ, genS) {
|
133 | return generatorBless(function (size) {
|
134 | function rec(n, sizep) {
|
135 | if (n <= 0 || random(0, 3) === 0) {
|
136 | return genZ(sizep);
|
137 | } else {
|
138 | return genS(generatorBless(function (sizeq) {
|
139 | return rec(n - 1, sizeq);
|
140 | }))(sizep);
|
141 | }
|
142 | }
|
143 |
|
144 | return rec(logsize(size), size);
|
145 | });
|
146 | }
|
147 |
|
148 |
|
149 |
|
150 |
|
151 | function generatePair(genA, genB) {
|
152 | var result = generatorBless(function (size) {
|
153 | return [genA(size), genB(size)];
|
154 | });
|
155 |
|
156 | return utils.curried3(result, arguments);
|
157 | }
|
158 |
|
159 |
|
160 |
|
161 |
|
162 | function generateEither(genA, genB) {
|
163 | var result = generatorBless(function (size) {
|
164 | var n = random(0, 1);
|
165 | switch (n) {
|
166 | case 0: return either.left(genA(size));
|
167 | case 1: return either.right(genB(size));
|
168 | }
|
169 | });
|
170 |
|
171 | return utils.curried3(result, arguments);
|
172 | }
|
173 |
|
174 |
|
175 |
|
176 |
|
177 |
|
178 | var generateUnit = generatorBless(function () {
|
179 | return [];
|
180 | });
|
181 |
|
182 |
|
183 |
|
184 |
|
185 | function generateTuple(gens) {
|
186 | var len = gens.length;
|
187 | var result = generatorBless(function (size) {
|
188 | var r = [];
|
189 | for (var i = 0; i < len; i++) {
|
190 | r[i] = gens[i](size);
|
191 | }
|
192 | return r;
|
193 | });
|
194 |
|
195 | return utils.curried2(result, arguments);
|
196 | }
|
197 |
|
198 |
|
199 |
|
200 |
|
201 | function generateArray(gen) {
|
202 | var result = generatorBless(function (size) {
|
203 | var arrsize = random(0, logsize(size));
|
204 | var arr = new Array(arrsize);
|
205 | for (var i = 0; i < arrsize; i++) {
|
206 | arr[i] = gen(size);
|
207 | }
|
208 | return arr;
|
209 | });
|
210 |
|
211 | return utils.curried2(result, arguments);
|
212 | }
|
213 |
|
214 |
|
215 |
|
216 |
|
217 | function generateNEArray(gen) {
|
218 | var result = generatorBless(function (size) {
|
219 | var arrsize = random(1, Math.max(logsize(size), 1));
|
220 | var arr = new Array(arrsize);
|
221 | for (var i = 0; i < arrsize; i++) {
|
222 | arr[i] = gen(size);
|
223 | }
|
224 | return arr;
|
225 | });
|
226 |
|
227 | return utils.curried2(result, arguments);
|
228 | }
|
229 |
|
230 |
|
231 |
|
232 |
|
233 | function generateDict(gen) {
|
234 |
|
235 | var string = require("./string.js");
|
236 |
|
237 | var pairGen = generatePair(string.string.generator, gen);
|
238 | var arrayGen = generateArray(pairGen);
|
239 | var result = arrayGen.map(utils.pairArrayToDict);
|
240 |
|
241 | return utils.curried2(result, arguments);
|
242 | }
|
243 |
|
244 | function generateJson(size) {
|
245 | return require("./json.js").json.generator(size);
|
246 | }
|
247 |
|
248 | module.exports = {
|
249 | pair: generatePair,
|
250 | either: generateEither,
|
251 | unit: generateUnit,
|
252 | tuple: generateTuple,
|
253 | array: generateArray,
|
254 | nearray: generateNEArray,
|
255 | dict: generateDict,
|
256 | json: generateJson,
|
257 | oneof: generateOneof,
|
258 | constant: generateConstant,
|
259 | bless: generatorBless,
|
260 | combine: generatorCombine,
|
261 | recursive: generatorRecursive,
|
262 | };
|