mittens 0.3.1 → 0.3.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (173) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +4 -0
  3. data/Gemfile +1 -0
  4. data/README.md +2 -2
  5. data/Rakefile +10 -3
  6. data/lib/mittens/version.rb +1 -1
  7. data/vendor/snowball/.github/workflows/ci.yml +144 -17
  8. data/vendor/snowball/.github/workflows/coverage.yml +117 -0
  9. data/vendor/snowball/.github/workflows/runtime-tests.yml +26 -0
  10. data/vendor/snowball/.gitignore +33 -7
  11. data/vendor/snowball/CONTRIBUTING.rst +7 -0
  12. data/vendor/snowball/COPYING +1 -1
  13. data/vendor/snowball/GNUmakefile +736 -298
  14. data/vendor/snowball/NEWS +1394 -7
  15. data/vendor/snowball/README.rst +8 -8
  16. data/vendor/snowball/ada/generate/generate.adb +5 -5
  17. data/vendor/snowball/ada/src/stemmer.adb +177 -188
  18. data/vendor/snowball/ada/src/stemmer.ads +86 -89
  19. data/vendor/snowball/ada/src/stemwords.adb +21 -5
  20. data/vendor/snowball/algorithms/czech.sbl +255 -0
  21. data/vendor/snowball/algorithms/danish.sbl +22 -10
  22. data/vendor/snowball/algorithms/english.sbl +7 -4
  23. data/vendor/snowball/algorithms/esperanto.sbl +6 -7
  24. data/vendor/snowball/algorithms/estonian.sbl +9 -4
  25. data/vendor/snowball/algorithms/finnish.sbl +33 -21
  26. data/vendor/snowball/algorithms/german.sbl +5 -0
  27. data/vendor/snowball/algorithms/indonesian.sbl +115 -96
  28. data/vendor/snowball/algorithms/italian.sbl +26 -1
  29. data/vendor/snowball/algorithms/lithuanian.sbl +13 -13
  30. data/vendor/snowball/algorithms/norwegian.sbl +17 -6
  31. data/vendor/snowball/algorithms/persian.sbl +387 -0
  32. data/vendor/snowball/algorithms/polish.sbl +177 -0
  33. data/vendor/snowball/algorithms/sesotho.sbl +115 -0
  34. data/vendor/snowball/algorithms/turkish.sbl +4 -4
  35. data/vendor/snowball/compiler/analyser.c +2002 -711
  36. data/vendor/snowball/compiler/driver.c +460 -298
  37. data/vendor/snowball/compiler/generator.c +439 -1965
  38. data/vendor/snowball/compiler/generator_ada.c +605 -430
  39. data/vendor/snowball/compiler/generator_c.c +2227 -0
  40. data/vendor/snowball/compiler/generator_csharp.c +365 -274
  41. data/vendor/snowball/compiler/generator_dart.c +1476 -0
  42. data/vendor/snowball/compiler/generator_go.c +348 -270
  43. data/vendor/snowball/compiler/generator_java.c +330 -233
  44. data/vendor/snowball/compiler/generator_js.c +534 -385
  45. data/vendor/snowball/compiler/generator_pascal.c +361 -320
  46. data/vendor/snowball/compiler/generator_php.c +1445 -0
  47. data/vendor/snowball/compiler/generator_python.c +399 -299
  48. data/vendor/snowball/compiler/generator_rust.c +370 -261
  49. data/vendor/snowball/compiler/generator_zig.c +1474 -0
  50. data/vendor/snowball/compiler/header.h +153 -86
  51. data/vendor/snowball/compiler/space.c +121 -63
  52. data/vendor/snowball/compiler/tokeniser.c +286 -182
  53. data/vendor/snowball/compiler/tokens.h +71 -0
  54. data/vendor/snowball/csharp/Snowball/Among.cs +14 -26
  55. data/vendor/snowball/csharp/Snowball/AssemblyInfo.cs +3 -3
  56. data/vendor/snowball/csharp/Snowball/Stemmer.cs +41 -45
  57. data/vendor/snowball/csharp/Stemwords/Program.cs +20 -14
  58. data/vendor/snowball/cxx/.gitignore +4 -0
  59. data/vendor/snowball/cxx/generate_algorithms.pl +87 -0
  60. data/vendor/snowball/cxx/stemmer.h +12 -0
  61. data/vendor/snowball/cxx/stemwords.cxx +176 -0
  62. data/vendor/snowball/cxx/utilities.cxx +2 -0
  63. data/vendor/snowball/dart/.gitignore +4 -0
  64. data/vendor/snowball/dart/analysis_options.yaml +1 -0
  65. data/vendor/snowball/dart/example/test_app.dart +65 -0
  66. data/vendor/snowball/dart/generate_algorithms.pl +21 -0
  67. data/vendor/snowball/dart/lib/snowball.dart +18 -0
  68. data/vendor/snowball/dart/lib/src/snowball.dart +339 -0
  69. data/vendor/snowball/dart/pubspec.yaml +17 -0
  70. data/vendor/snowball/doc/libstemmer_dart_README +37 -0
  71. data/vendor/snowball/doc/libstemmer_js_README +2 -2
  72. data/vendor/snowball/doc/libstemmer_php_README +38 -0
  73. data/vendor/snowball/doc/libstemmer_python_README +3 -3
  74. data/vendor/snowball/examples/stemwords.c +18 -3
  75. data/vendor/snowball/go/README.md +12 -4
  76. data/vendor/snowball/go/env.go +12 -14
  77. data/vendor/snowball/go/stemwords/main.go +2 -1
  78. data/vendor/snowball/java/org/tartarus/snowball/CharArraySequence.java +36 -0
  79. data/vendor/snowball/java/org/tartarus/snowball/SnowballProgram.java +17 -34
  80. data/vendor/snowball/java/org/tartarus/snowball/SnowballStemmer.java +0 -2
  81. data/vendor/snowball/javascript/base-stemmer.js +219 -252
  82. data/vendor/snowball/javascript/stemwords.js +86 -58
  83. data/vendor/snowball/libstemmer/mkmodules.pl +1 -1
  84. data/vendor/snowball/libstemmer/modules.txt +4 -0
  85. data/vendor/snowball/pascal/SnowballProgram.pas +18 -31
  86. data/vendor/snowball/php/base-stemmer.php +453 -0
  87. data/vendor/snowball/php/stemwords.php +25 -0
  88. data/vendor/snowball/python/create_init.py +16 -21
  89. data/vendor/snowball/python/pyproject.toml +3 -0
  90. data/vendor/snowball/python/setup.py +5 -7
  91. data/vendor/snowball/python/snowballstemmer/among.py +1 -2
  92. data/vendor/snowball/python/snowballstemmer/basestemmer.py +24 -33
  93. data/vendor/snowball/python/stemwords.py +72 -63
  94. data/vendor/snowball/runtime/api.c +11 -42
  95. data/vendor/snowball/runtime/api.h +11 -9
  96. data/vendor/snowball/runtime/snowball_runtime.h +110 -0
  97. data/vendor/snowball/runtime/utilities.c +282 -106
  98. data/vendor/snowball/rust/src/main.rs +2 -2
  99. data/vendor/snowball/rust/src/snowball/snowball_env.rs +7 -9
  100. data/vendor/snowball/tests/compilertest +62 -0
  101. data/vendor/snowball/tests/errors/ae-errors.sbl +53 -0
  102. data/vendor/snowball/tests/errors/ae-errors.stderr +8 -0
  103. data/vendor/snowball/tests/errors/bad-dollar.sbl +14 -0
  104. data/vendor/snowball/tests/errors/bad-dollar.stderr +4 -0
  105. data/vendor/snowball/tests/errors/bad-grouping-definition.sbl +9 -0
  106. data/vendor/snowball/tests/errors/bad-grouping-definition.stderr +6 -0
  107. data/vendor/snowball/tests/errors/missing-bra.sbl +6 -0
  108. data/vendor/snowball/tests/errors/missing-bra.stderr +3 -0
  109. data/vendor/snowball/tests/errors/missing-command.sbl +9 -0
  110. data/vendor/snowball/tests/errors/missing-command.stderr +1 -0
  111. data/vendor/snowball/tests/errors/missing-ket-backwardmode.sbl +3 -0
  112. data/vendor/snowball/tests/errors/missing-ket-backwardmode.stderr +1 -0
  113. data/vendor/snowball/tests/errors/missing-ket.sbl +7 -0
  114. data/vendor/snowball/tests/errors/missing-ket.stderr +6 -0
  115. data/vendor/snowball/tests/errors/notdefined.sbl +4 -0
  116. data/vendor/snowball/tests/errors/notdefined.stderr +2 -0
  117. data/vendor/snowball/tests/errors/string-omitted.sbl +5 -0
  118. data/vendor/snowball/tests/errors/string-omitted.stderr +1 -0
  119. data/vendor/snowball/tests/errors/undeclared.sbl +20 -0
  120. data/vendor/snowball/tests/errors/undeclared.stderr +9 -0
  121. data/vendor/snowball/tests/errors/unexpected-token.sbl +24 -0
  122. data/vendor/snowball/tests/errors/unexpected-token.stderr +17 -0
  123. data/vendor/snowball/tests/errors/wrongdirection.sbl +14 -0
  124. data/vendor/snowball/tests/errors/wrongdirection.stderr +1 -0
  125. data/vendor/snowball/tests/runtime/among.sbl +19 -0
  126. data/vendor/snowball/tests/runtime/arithmeticexpr.sbl +86 -0
  127. data/vendor/snowball/tests/runtime/attachinsert.sbl +47 -0
  128. data/vendor/snowball/tests/runtime/booleans.sbl +19 -0
  129. data/vendor/snowball/tests/runtime/externals.sbl +22 -0
  130. data/vendor/snowball/tests/runtime/hop.sbl +12 -0
  131. data/vendor/snowball/tests/runtime/integertests.sbl +60 -0
  132. data/vendor/snowball/tests/runtime/intlimits.sbl +25 -0
  133. data/vendor/snowball/tests/runtime/naming.sbl +20 -0
  134. data/vendor/snowball/tests/runtime/not.sbl +30 -0
  135. data/vendor/snowball/tests/runtime/or.sbl +17 -0
  136. data/vendor/snowball/tests/runtime/repeat.sbl +16 -0
  137. data/vendor/snowball/tests/runtime/setlimit.sbl +24 -0
  138. data/vendor/snowball/tests/runtime/sizelen.sbl +56 -0
  139. data/vendor/snowball/tests/runtime/slice.sbl +27 -0
  140. data/vendor/snowball/tests/runtime/stringdollar.sbl +39 -0
  141. data/vendor/snowball/tests/runtime/strings.sbl +66 -0
  142. data/vendor/snowball/tests/runtime/test.sbl +19 -0
  143. data/vendor/snowball/tests/stemtest.c +41 -1
  144. data/vendor/snowball/tests/syntax/canon.sbl +32 -0
  145. data/vendor/snowball/tests/syntax/canon.stderr +0 -0
  146. data/vendor/snowball/tests/syntax/canon.syntax +57 -0
  147. data/vendor/snowball/tests/syntax/emptyprogram.sbl +2 -0
  148. data/vendor/snowball/tests/syntax/emptyprogram.syntax +0 -0
  149. data/vendor/snowball/tests/syntax/groupings.sbl +11 -0
  150. data/vendor/snowball/tests/syntax/inline.sbl +144 -0
  151. data/vendor/snowball/tests/syntax/inline.stderr +0 -0
  152. data/vendor/snowball/tests/syntax/inline.syntax +121 -0
  153. data/vendor/snowball/tests/syntax/legacy.sbl +17 -0
  154. data/vendor/snowball/tests/syntax/legacy.stderr +5 -0
  155. data/vendor/snowball/tests/syntax/legacy.syntax +19 -0
  156. data/vendor/snowball/tests/syntax/loops.sbl +14 -0
  157. data/vendor/snowball/tests/syntax/loops.stderr +9 -0
  158. data/vendor/snowball/tests/syntax/loops.syntax +29 -0
  159. data/vendor/snowball/tests/syntax/noops.sbl +76 -0
  160. data/vendor/snowball/tests/syntax/noops.stderr +27 -0
  161. data/vendor/snowball/tests/syntax/noops.syntax +135 -0
  162. data/vendor/snowball/tests/syntax/simplifyae.sbl +21 -0
  163. data/vendor/snowball/tests/syntax/simplifyae.stderr +0 -0
  164. data/vendor/snowball/tests/syntax/simplifyae.syntax +39 -0
  165. data/vendor/snowball/tests/syntax/unused.sbl +18 -0
  166. data/vendor/snowball/tests/syntax/unused.stderr +7 -0
  167. data/vendor/snowball/tests/syntax/unused.syntax +3 -0
  168. data/vendor/snowball/zig/env.zig +599 -0
  169. data/vendor/snowball/zig/generate_algorithms.pl +19 -0
  170. data/vendor/snowball/zig/stemwords.zig +123 -0
  171. metadata +102 -4
  172. data/vendor/snowball/compiler/syswords.h +0 -86
  173. data/vendor/snowball/runtime/header.h +0 -62
@@ -0,0 +1,1445 @@
1
+ #include <assert.h>
2
+ #include <stdio.h> /* for fprintf etc */
3
+ #include <stdlib.h> /* for exit */
4
+ #include <string.h> /* for strlen */
5
+ #include "header.h"
6
+
7
+ /* prototype functions for recursive use: */
8
+
9
+ static void generate(struct generator * g, struct node * p);
10
+ static void w(struct generator * g, const char * s);
11
+ static void writef(struct generator * g, const char * s, struct node * p);
12
+
13
+ /* Write routines for items from the syntax tree */
14
+
15
+ static void write_relop(struct generator * g, int relop) {
16
+ // Relational operators are the same as C, save for (in-)equality.
17
+ switch (relop) {
18
+ case c_eq: write_string(g, " === "); break;
19
+ case c_ne: write_string(g, " !== "); break;
20
+ default: write_c_relop(g, relop);
21
+ }
22
+ }
23
+
24
+ static void write_varname(struct generator * g, struct name * p) {
25
+ if (p->type == t_external) {
26
+ if (g->options->externals_prefix) {
27
+ write_string(g, g->options->externals_prefix);
28
+ }
29
+ } else {
30
+ // We use the same naming scheme for both global and local variables.
31
+ write_char(g, "SBIrxG"[p->type]);
32
+ write_char(g, '_');
33
+ }
34
+ write_s(g, p->s);
35
+ }
36
+
37
+ /* Reference to variable, e.g. when assigning to or using in an expression. */
38
+ static void write_varref(struct generator * g, struct name * p) {
39
+ if (p->type == t_grouping) {
40
+ write_string(g, "self::");
41
+ } else if (p->local_to) {
42
+ write_char(g, '$');
43
+ } else {
44
+ write_string(g, "$this->");
45
+ }
46
+ write_varname(g, p);
47
+ }
48
+
49
+ static void write_literal_string(struct generator * g, symbol * p) {
50
+ int i = 0;
51
+ write_char(g, '"');
52
+ while (i < SIZE(p)) {
53
+ int ch;
54
+ i += get_utf8(p + i, &ch);
55
+ if (32 <= ch && ch < 127) {
56
+ if (ch == '\"' || ch == '\\' || ch == '$') write_char(g, '\\');
57
+ write_char(g, ch);
58
+ } else {
59
+ write_string(g, "\\u{");
60
+ write_hex4(g, ch);
61
+ write_string(g, "}");
62
+ }
63
+ }
64
+ write_char(g, '"');
65
+ }
66
+
67
+ static void write_literal_char(struct generator * g, symbol ch) {
68
+ write_char(g, '"');
69
+ if (32 <= ch && ch < 127) {
70
+ if (ch == '\"' || ch == '\\') write_char(g, '\\');
71
+ write_char(g, ch);
72
+ } else {
73
+ write_string(g, "\\u{");
74
+ write_hex4(g, ch);
75
+ write_string(g, "}");
76
+ }
77
+ write_char(g, '"');
78
+ }
79
+
80
+ static void write_comment(struct generator * g, struct node * p) {
81
+ if (!g->options->comments) return;
82
+ write_margin(g);
83
+ write_string(g, "// ");
84
+ write_comment_content(g, p, NULL);
85
+ write_newline(g);
86
+ }
87
+
88
+ static void write_block_start(struct generator * g) {
89
+ w(g, "~M{~+~N");
90
+ }
91
+
92
+ static void write_block_end(struct generator * g) {
93
+ w(g, "~-~M}~N");
94
+ }
95
+
96
+ static void write_savecursor(struct generator * g, struct node * p,
97
+ struct str * savevar) {
98
+ g->B[0] = str_data(savevar);
99
+ g->S[1] = "";
100
+ if (p->mode != m_forward) g->S[1] = "$this->limit - ";
101
+ writef(g, "~M~B0 = ~S1$this->cursor;~N", p);
102
+ }
103
+
104
+ static void append_restore_string(struct node * p, struct str * out, struct str * savevar) {
105
+ str_append_string(out, "$this->cursor = ");
106
+ if (p->mode != m_forward) str_append_string(out, "$this->limit - ");
107
+ str_append(out, savevar);
108
+ str_append_ch(out, ';');
109
+ }
110
+
111
+ static void write_restorecursor(struct generator * g, struct node * p, struct str * savevar) {
112
+ write_margin(g);
113
+ append_restore_string(p, g->outbuf, savevar);
114
+ write_newline(g);
115
+ }
116
+
117
+ static void write_inc_cursor(struct generator * g, struct node * p) {
118
+ write_margin(g);
119
+ write_string(g, p->mode == m_forward ? "$this->inc_cursor();" : "$this->dec_cursor();");
120
+ write_newline(g);
121
+ }
122
+
123
+ static void wsetl(struct generator * g, int n) {
124
+ w(g, "~-~Mlab~+");
125
+ write_int(g, n);
126
+ w(g, ":~N");
127
+ }
128
+
129
+ static void wgotol(struct generator * g, int n) {
130
+ write_margin(g);
131
+ write_string(g, "goto lab");
132
+ write_int(g, n);
133
+ write_char(g, ';');
134
+ write_newline(g);
135
+ g->unreachable = true;
136
+ }
137
+
138
+ static void write_failure(struct generator * g) {
139
+ if (str_len(g->failure_str) != 0) {
140
+ write_margin(g);
141
+ write_str(g, g->failure_str);
142
+ write_newline(g);
143
+ }
144
+ write_margin(g);
145
+ switch (g->failure_label) {
146
+ case x_return:
147
+ write_string(g, "return false;");
148
+ break;
149
+ default:
150
+ write_string(g, "goto lab");
151
+ write_int(g, g->failure_label);
152
+ write_char(g, ';');
153
+ g->label_used = 1;
154
+ }
155
+ write_newline(g);
156
+ g->unreachable = true;
157
+ }
158
+
159
+ static void write_failure_if(struct generator * g, const char * s, struct node * p) {
160
+ w(g, "~Mif (");
161
+ writef(g, s, p);
162
+ w(g, ") {~+~N");
163
+ write_failure(g);
164
+ w(g, "~-~M}~N");
165
+ g->unreachable = false;
166
+ }
167
+
168
+ /* if at limit fail */
169
+ static void write_check_limit(struct generator * g, struct node * p) {
170
+ if (p->mode == m_forward) {
171
+ write_failure_if(g, "$this->cursor >= $this->limit", p);
172
+ } else {
173
+ write_failure_if(g, "$this->cursor <= $this->limit_backward", p);
174
+ }
175
+ }
176
+
177
+ /* Formatted write. */
178
+ static void writef(struct generator * g, const char * input, struct node * p) {
179
+ int i = 0;
180
+
181
+ while (input[i]) {
182
+ int ch = input[i++];
183
+ if (ch != '~') {
184
+ write_char(g, ch);
185
+ continue;
186
+ }
187
+ ch = input[i++];
188
+ switch (ch) {
189
+ case '~': write_char(g, '~'); continue;
190
+ case 'f': write_block_start(g);
191
+ write_failure(g);
192
+ g->unreachable = false;
193
+ write_block_end(g);
194
+ continue;
195
+ case 'M': write_margin(g); continue;
196
+ case 'N': write_newline(g); continue;
197
+ case '{': write_block_start(g); continue;
198
+ case '}': write_block_end(g); continue;
199
+ case 'S': {
200
+ int j = input[i++] - '0';
201
+ if (j < 0 || j > (int)(sizeof(g->S) / sizeof(g->S[0]))) {
202
+ printf("Invalid escape sequence ~%c%c in writef(g, \"%s\", p)\n",
203
+ ch, input[i - 1], input);
204
+ exit(1);
205
+ }
206
+ write_string(g, g->S[j]);
207
+ continue;
208
+ }
209
+ case 'B': {
210
+ int j = input[i++] - '0';
211
+ if (j < 0 || j > (int)(sizeof(g->B) / sizeof(g->B[0])))
212
+ goto invalid_escape2;
213
+ write_s(g, g->B[j]);
214
+ continue;
215
+ }
216
+ case 'I': {
217
+ int j = input[i++] - '0';
218
+ if (j < 0 || j > (int)(sizeof(g->I) / sizeof(g->I[0])))
219
+ goto invalid_escape2;
220
+ write_int(g, g->I[j]);
221
+ continue;
222
+ }
223
+ case 'V':
224
+ write_varref(g, p->name);
225
+ continue;
226
+ case 'W':
227
+ write_varname(g, p->name);
228
+ continue;
229
+ case 'L':
230
+ write_literal_string(g, p->literalstring);
231
+ continue;
232
+ case '+': g->margin++; continue;
233
+ case '-': g->margin--; continue;
234
+ case 'n': write_s(g, g->options->name); continue;
235
+ default:
236
+ printf("Invalid escape sequence ~%c in writef(g, \"%s\", p)\n",
237
+ ch, input);
238
+ exit(1);
239
+ invalid_escape2:
240
+ printf("Invalid escape sequence ~%c%c in writef(g, \"%s\", p)\n",
241
+ ch, input[i - 1], input);
242
+ exit(1);
243
+ }
244
+ }
245
+ }
246
+
247
+ static void w(struct generator * g, const char * s) {
248
+ writef(g, s, NULL);
249
+ }
250
+
251
+ static void generate_AE(struct generator * g, struct node * p) {
252
+ const char * s;
253
+ switch (p->type) {
254
+ case c_name:
255
+ write_varref(g, p->name);
256
+ break;
257
+ case c_number:
258
+ write_int(g, p->number);
259
+ break;
260
+ case c_maxint:
261
+ write_string(g, "PHP_INT_MAX");
262
+ break;
263
+ case c_minint:
264
+ write_string(g, "PHP_INT_MIN");
265
+ break;
266
+ case c_neg:
267
+ write_char(g, '-');
268
+ generate_AE(g, p->right);
269
+ break;
270
+ case c_multiply:
271
+ s = " * ";
272
+ goto label0;
273
+ case c_divide:
274
+ /* Snowball specifies integer division with semantics matching C,
275
+ * so we need to use `intdiv($x, $y)` here.
276
+ */
277
+ write_string(g, "intdiv");
278
+ s = ", ";
279
+ goto label0;
280
+ case c_plus:
281
+ s = " + ";
282
+ goto label0;
283
+ case c_minus:
284
+ s = " - ";
285
+ label0:
286
+ write_char(g, '(');
287
+ generate_AE(g, p->left);
288
+ write_string(g, s);
289
+ generate_AE(g, p->right);
290
+ write_char(g, ')');
291
+ break;
292
+ case c_cursor:
293
+ w(g, "$this->cursor");
294
+ break;
295
+ case c_limit:
296
+ w(g, p->mode == m_forward ? "$this->limit" : "$this->limit_backward");
297
+ break;
298
+ case c_len:
299
+ w(g, "mb_strlen($this->current, 'UTF-8')");
300
+ break;
301
+ case c_size:
302
+ w(g, "strlen($this->current)");
303
+ break;
304
+ case c_lenof:
305
+ writef(g, "mb_strlen(~V, 'UTF-8')", p);
306
+ break;
307
+ case c_sizeof:
308
+ writef(g, "strlen(~V)", p);
309
+ break;
310
+ }
311
+ }
312
+
313
+ static void generate_bra(struct generator * g, struct node * p) {
314
+ write_comment(g, p);
315
+ p = p->left;
316
+ while (p) {
317
+ generate(g, p);
318
+ p = p->right;
319
+ }
320
+ }
321
+
322
+ static void generate_and(struct generator * g, struct node * p) {
323
+ struct str * savevar = NULL;
324
+ if (K_needed_for_and(p->left)) {
325
+ savevar = vars_newname(g);
326
+ }
327
+
328
+ write_comment(g, p);
329
+
330
+ if (savevar) {
331
+ write_savecursor(g, p, savevar);
332
+ }
333
+
334
+ p = p->left;
335
+ while (p) {
336
+ generate(g, p);
337
+ if (g->unreachable) break;
338
+ if (savevar && p->right != NULL) write_restorecursor(g, p, savevar);
339
+ p = p->right;
340
+ }
341
+
342
+ if (savevar) {
343
+ str_delete(savevar);
344
+ }
345
+ }
346
+
347
+ static void generate_or(struct generator * g, struct node * p) {
348
+ struct str * savevar = NULL;
349
+ if (K_needed_for_or(p->left)) {
350
+ savevar = vars_newname(g);
351
+ }
352
+
353
+ int used = g->label_used;
354
+ int a0 = g->failure_label;
355
+ struct str * a1 = str_copy(g->failure_str);
356
+
357
+ int out_lab = -1;
358
+ bool end_unreachable = true;
359
+
360
+ write_comment(g, p);
361
+
362
+ if (savevar && K_needed_node_on_f(p)) {
363
+ write_savecursor(g, p, savevar);
364
+ }
365
+
366
+ p = p->left;
367
+ str_clear(g->failure_str);
368
+
369
+ if (p == NULL) {
370
+ /* p should never be NULL after an or: there should be at least two
371
+ * sub nodes. */
372
+ fprintf(stderr, "Error: \"or\" node without children nodes.");
373
+ exit(1);
374
+ }
375
+ while (p->right != NULL) {
376
+ int label = new_label(g);
377
+ g->failure_label = label;
378
+ g->label_used = 0;
379
+ generate(g, p);
380
+ if (!g->unreachable) {
381
+ if (out_lab < 0) out_lab = new_label(g);
382
+ wgotol(g, out_lab);
383
+ end_unreachable = false;
384
+ }
385
+
386
+ if (g->label_used)
387
+ wsetl(g, g->failure_label);
388
+ g->unreachable = false;
389
+ if (savevar) {
390
+ write_restorecursor(g, p, savevar);
391
+ }
392
+ p = p->right;
393
+ }
394
+
395
+ g->label_used = used;
396
+ g->failure_label = a0;
397
+ str_delete(g->failure_str);
398
+ g->failure_str = a1;
399
+
400
+ generate(g, p);
401
+
402
+ if (out_lab >= 0) {
403
+ wsetl(g, out_lab);
404
+ }
405
+ if (!end_unreachable) {
406
+ g->unreachable = false;
407
+ }
408
+
409
+ if (savevar) {
410
+ str_delete(savevar);
411
+ }
412
+ }
413
+
414
+ static void generate_backwards(struct generator * g, struct node * p) {
415
+ write_comment(g, p);
416
+ writef(g, "~M$this->limit_backward = $this->cursor;~N"
417
+ "~M$this->cursor = $this->limit;~N", p);
418
+ generate(g, p->left);
419
+ w(g, "~M$this->cursor = $this->limit_backward;~N");
420
+ }
421
+
422
+ static void generate_not(struct generator * g, struct node * p) {
423
+ struct str * savevar = NULL;
424
+ if (K_needed_node_on_f(p->left)) {
425
+ savevar = vars_newname(g);
426
+ }
427
+
428
+ int a0 = g->failure_label;
429
+ struct str * a1 = str_copy(g->failure_str);
430
+
431
+ write_comment(g, p);
432
+ if (savevar) {
433
+ write_savecursor(g, p, savevar);
434
+ }
435
+
436
+ int label = new_label(g);
437
+ g->failure_label = label;
438
+ str_clear(g->failure_str);
439
+
440
+ generate(g, p->left);
441
+
442
+ g->failure_label = a0;
443
+ str_delete(g->failure_str);
444
+ g->failure_str = a1;
445
+
446
+ if (!g->unreachable) write_failure(g);
447
+
448
+ if (g->label_used)
449
+ wsetl(g, label);
450
+
451
+ g->unreachable = false;
452
+
453
+ if (savevar) {
454
+ write_restorecursor(g, p, savevar);
455
+ str_delete(savevar);
456
+ }
457
+ }
458
+
459
+ static void generate_try(struct generator * g, struct node * p) {
460
+ struct str * savevar = NULL;
461
+ if (K_needed(p->left)) {
462
+ savevar = vars_newname(g);
463
+ }
464
+
465
+ int label = new_label(g);
466
+ g->failure_label = label;
467
+ g->label_used = 0;
468
+ str_clear(g->failure_str);
469
+
470
+ write_comment(g, p);
471
+ if (savevar) {
472
+ write_savecursor(g, p, savevar);
473
+ append_restore_string(p, g->failure_str, savevar);
474
+ }
475
+
476
+ generate(g, p->left);
477
+ if (g->label_used)
478
+ wsetl(g, g->failure_label);
479
+ g->unreachable = false;
480
+
481
+ if (savevar) {
482
+ str_delete(savevar);
483
+ }
484
+ }
485
+
486
+ static void generate_set(struct generator * g, struct node * p) {
487
+ write_comment(g, p);
488
+ writef(g, "~M~V = true;~N", p);
489
+ }
490
+
491
+ static void generate_unset(struct generator * g, struct node * p) {
492
+ write_comment(g, p);
493
+ writef(g, "~M~V = false;~N", p);
494
+ }
495
+
496
+ static void generate_fail(struct generator * g, struct node * p) {
497
+ write_comment(g, p);
498
+ generate(g, p->left);
499
+ if (!g->unreachable) write_failure(g);
500
+ }
501
+
502
+ /* generate_test() also implements 'reverse' */
503
+ static void generate_test(struct generator * g, struct node * p) {
504
+ struct str * savevar = NULL;
505
+ if (K_needed(p->left)) {
506
+ savevar = vars_newname(g);
507
+ }
508
+
509
+ write_comment(g, p);
510
+
511
+ if (savevar) {
512
+ write_savecursor(g, p, savevar);
513
+ }
514
+
515
+ generate(g, p->left);
516
+
517
+ if (savevar) {
518
+ if (!g->unreachable) {
519
+ write_restorecursor(g, p, savevar);
520
+ }
521
+ str_delete(savevar);
522
+ }
523
+ }
524
+
525
+ static void generate_do(struct generator * g, struct node * p) {
526
+ struct str * savevar = NULL;
527
+ if (K_needed(p->left)) {
528
+ savevar = vars_newname(g);
529
+ }
530
+
531
+ write_comment(g, p);
532
+ if (savevar) {
533
+ write_savecursor(g, p, savevar);
534
+ }
535
+
536
+ if (p->left->type == c_call) {
537
+ /* Optimise do <call> */
538
+ write_comment(g, p->left);
539
+ writef(g, "~M~V();~N", p->left);
540
+ } else {
541
+ int label = new_label(g);
542
+ g->failure_label = label;
543
+ str_clear(g->failure_str);
544
+
545
+ generate(g, p->left);
546
+ if (g->label_used)
547
+ wsetl(g, g->failure_label);
548
+ g->unreachable = false;
549
+ }
550
+
551
+ if (savevar) {
552
+ write_restorecursor(g, p, savevar);
553
+ str_delete(savevar);
554
+ }
555
+ }
556
+
557
+ static void generate_next(struct generator * g, struct node * p) {
558
+ write_comment(g, p);
559
+ write_check_limit(g, p);
560
+ write_inc_cursor(g, p);
561
+ }
562
+
563
+ static void generate_GO_grouping(struct generator * g, struct node * p, int is_goto, int complement) {
564
+ write_comment(g, p);
565
+
566
+ g->S[0] = p->mode == m_forward ? "" : "_b";
567
+ g->S[1] = complement ? "in" : "out";
568
+ write_failure_if(g, "!$this->go_~S1_grouping~S0(~V)", p);
569
+ if (!is_goto) {
570
+ if (p->mode == m_forward)
571
+ w(g, "~M$this->inc_cursor();~N");
572
+ else
573
+ w(g, "~M$this->dec_cursor();~N");
574
+ }
575
+ }
576
+
577
+ static void generate_GO(struct generator * g, struct node * p, int is_goto) {
578
+ write_comment(g, p);
579
+
580
+ int used = g->label_used;
581
+
582
+ int a0 = g->failure_label;
583
+ struct str * a1 = str_copy(g->failure_str);
584
+
585
+ bool end_unreachable = false;
586
+
587
+ w(g, "~Mwhile (true) {~N~+");
588
+
589
+ struct str * savevar = NULL;
590
+ if (is_goto || repeat_restore(p->left)) {
591
+ savevar = vars_newname(g);
592
+ write_savecursor(g, p, savevar);
593
+ }
594
+
595
+ int label = new_label(g);
596
+ g->failure_label = label;
597
+ g->label_used = 0;
598
+ str_clear(g->failure_str);
599
+ generate(g, p->left);
600
+
601
+ if (g->unreachable) {
602
+ /* Cannot break out of this loop: therefore the code after the
603
+ * end of the loop is unreachable.*/
604
+ end_unreachable = true;
605
+ } else {
606
+ /* include for goto; omit for gopast */
607
+ if (is_goto) write_restorecursor(g, p, savevar);
608
+ w(g, "~Mbreak;~N");
609
+ }
610
+ g->unreachable = false;
611
+ if (g->label_used)
612
+ wsetl(g, g->failure_label);
613
+ if (savevar) {
614
+ write_restorecursor(g, p, savevar);
615
+ str_delete(savevar);
616
+ }
617
+
618
+ g->label_used = used;
619
+ g->failure_label = a0;
620
+ str_delete(g->failure_str);
621
+ g->failure_str = a1;
622
+
623
+ write_check_limit(g, p);
624
+ write_inc_cursor(g, p);
625
+ write_block_end(g);
626
+ g->unreachable = end_unreachable;
627
+ }
628
+
629
+ static void generate_loop(struct generator * g, struct node * p) {
630
+ write_comment(g, p);
631
+ struct str * loopvar = vars_newname(g);
632
+ g->B[0] = str_data(loopvar);
633
+ w(g, "~Mfor (~B0 = ");
634
+ generate_AE(g, p->AE);
635
+ g->B[0] = str_data(loopvar);
636
+ writef(g, "; ~B0 > 0; ~B0--) {~+~N", p);
637
+
638
+ generate(g, p->left);
639
+
640
+ w(g, "~}");
641
+ str_delete(loopvar);
642
+ g->unreachable = false;
643
+ }
644
+
645
+ static void generate_repeat_or_atleast(struct generator * g, struct node * p, struct str * loopvar) {
646
+ writef(g, "~Mwhile (true) {~N~+", p);
647
+
648
+ struct str * savevar = NULL;
649
+ if (repeat_restore(p->left)) {
650
+ savevar = vars_newname(g);
651
+ write_savecursor(g, p, savevar);
652
+ }
653
+
654
+ int label = new_label(g);
655
+ g->failure_label = label;
656
+ g->label_used = 0;
657
+ str_clear(g->failure_str);
658
+ generate(g, p->left);
659
+
660
+ if (!g->unreachable) {
661
+ if (loopvar != NULL) {
662
+ g->B[0] = str_data(loopvar);
663
+ w(g, "~M~B0--;~N");
664
+ }
665
+
666
+ w(g, "~Mcontinue;~N");
667
+ }
668
+
669
+ if (g->label_used)
670
+ wsetl(g, g->failure_label);
671
+ g->unreachable = false;
672
+
673
+ if (savevar) {
674
+ write_restorecursor(g, p, savevar);
675
+ str_delete(savevar);
676
+ }
677
+
678
+ w(g, "~Mbreak;~N~}");
679
+ }
680
+
681
+ static void generate_repeat(struct generator * g, struct node * p) {
682
+ write_comment(g, p);
683
+ generate_repeat_or_atleast(g, p, NULL);
684
+ }
685
+
686
+ static void generate_atleast(struct generator * g, struct node * p) {
687
+ write_comment(g, p);
688
+
689
+ struct str * loopvar = vars_newname(g);
690
+ g->B[0] = str_data(loopvar);
691
+ w(g, "~M~B0 = ");
692
+ generate_AE(g, p->AE);
693
+ w(g, ";~N");
694
+ {
695
+ int a0 = g->failure_label;
696
+ struct str * a1 = str_copy(g->failure_str);
697
+
698
+ generate_repeat_or_atleast(g, p, loopvar);
699
+
700
+ g->failure_label = a0;
701
+ str_delete(g->failure_str);
702
+ g->failure_str = a1;
703
+ }
704
+ g->B[0] = str_data(loopvar);
705
+ write_failure_if(g, "~B0 > 0", p);
706
+ str_delete(loopvar);
707
+ }
708
+
709
+ static void generate_tomark(struct generator * g, struct node * p) {
710
+ write_comment(g, p);
711
+ g->S[0] = p->mode == m_forward ? ">" : "<";
712
+
713
+ w(g, "~Mif ($this->cursor ~S0 "); generate_AE(g, p->AE); w(g, ") {~+~N");
714
+ write_failure(g);
715
+ w(g, "~-~M}~N");
716
+ g->unreachable = false;
717
+ w(g, "~M$this->cursor = "); generate_AE(g, p->AE); writef(g, ";~N", p);
718
+ }
719
+
720
+ static void generate_hop(struct generator * g, struct node * p) {
721
+ write_comment(g, p);
722
+ // Generate the AE to a temporary block so we can substitute it in
723
+ // write_failure_if().
724
+ struct str * ae = str_new();
725
+ struct str * s = g->outbuf;
726
+ g->outbuf = ae;
727
+ generate_AE(g, p->AE);
728
+ g->outbuf = s;
729
+ g->B[0] = str_data(ae);
730
+ g->S[0] = p->mode == m_forward ? "" : "_back";
731
+ g->S[1] = p->AE->type == c_number ? "" : "_checked";
732
+ write_failure_if(g, "!$this->hop~S0~S1(~B0)", p);
733
+ str_delete(ae);
734
+ }
735
+
736
+ static void generate_tolimit(struct generator * g, struct node * p) {
737
+ write_comment(g, p);
738
+ if (p->mode == m_forward) {
739
+ writef(g, "~M$this->cursor = $this->limit;~N", p);
740
+ } else {
741
+ writef(g, "~M$this->cursor = $this->limit_backward;~N", p);
742
+ }
743
+ }
744
+
745
+ static void generate_leftslice(struct generator * g, struct node * p) {
746
+ write_comment(g, p);
747
+ if (p->mode == m_forward) {
748
+ writef(g, "~M$this->bra = $this->cursor;~N", p);
749
+ } else {
750
+ writef(g, "~M$this->ket = $this->cursor;~N", p);
751
+ }
752
+ }
753
+
754
+ static void generate_rightslice(struct generator * g, struct node * p) {
755
+ write_comment(g, p);
756
+ if (p->mode == m_forward) {
757
+ writef(g, "~M$this->ket = $this->cursor;~N", p);
758
+ } else {
759
+ writef(g, "~M$this->bra = $this->cursor;~N", p);
760
+ }
761
+ }
762
+
763
+ static void generate_assignto(struct generator * g, struct node * p) {
764
+ write_comment(g, p);
765
+ writef(g, "~M~V = substr($this->current, 0, $this->limit);~N", p);
766
+ }
767
+
768
+ static void generate_sliceto(struct generator * g, struct node * p) {
769
+ write_comment(g, p);
770
+ writef(g, "~M~V = $this->slice_to();~N", p);
771
+ }
772
+
773
+ static void generate_address(struct generator * g, struct node * p) {
774
+ symbol * b = p->literalstring;
775
+ if (b != NULL) {
776
+ write_literal_string(g, b);
777
+ } else {
778
+ write_varref(g, p->name);
779
+ }
780
+ }
781
+
782
+ static void generate_insert(struct generator * g, struct node * p, int style) {
783
+ write_comment(g, p);
784
+ int keep_c = style == c_attach;
785
+ if (p->mode == m_backward) keep_c = !keep_c;
786
+ if (keep_c) {
787
+ w(g, "~M$c = $this->cursor;~N");
788
+ writef(g, "~M$this->insert($c, $c, ", p);
789
+ } else {
790
+ writef(g, "~M$this->insert($this->cursor, $this->cursor, ", p);
791
+ }
792
+ generate_address(g, p);
793
+ writef(g, ");~N", p);
794
+ if (keep_c) w(g, "~M$this->cursor = $c;~N");
795
+ }
796
+
797
+ static void generate_stringassign(struct generator * g, struct node * p) {
798
+ write_comment(g, p);
799
+ int keep_c = p->mode == m_forward; /* like 'attach' */
800
+ if (keep_c) {
801
+ w(g, "~M$c = $this->cursor;~N");
802
+ if (p->mode == m_forward) {
803
+ writef(g, "~M$this->insert($c, $this->limit, ", p);
804
+ } else {
805
+ writef(g, "~M$this->insert($this->limit_backward, $c, ", p);
806
+ }
807
+ } else {
808
+ if (p->mode == m_forward) {
809
+ writef(g, "~M$this->insert($this->cursor, $this->limit, ", p);
810
+ } else {
811
+ writef(g, "~M$this->insert($this->limit_backward, $this->cursor, ", p);
812
+ }
813
+ }
814
+ generate_address(g, p);
815
+ writef(g, ");~N", p);
816
+ if (keep_c) {
817
+ w(g, "~M$this->cursor = $c;~N");
818
+ }
819
+ }
820
+
821
+ static void generate_slicefrom(struct generator * g, struct node * p) {
822
+ write_comment(g, p);
823
+ if (p->literalstring && SIZE(p->literalstring) == 0) {
824
+ w(g, "~M$this->slice_del();~N");
825
+ return;
826
+ }
827
+ w(g, "~M$this->slice_from(");
828
+ generate_address(g, p);
829
+ w(g, ");~N");
830
+ }
831
+
832
+ static void generate_setlimit(struct generator * g, struct node * p) {
833
+ write_comment(g, p);
834
+ struct str * varname = vars_newname(g);
835
+
836
+ if (p->left && p->left->type == c_tomark) {
837
+ /* Special case for:
838
+ *
839
+ * setlimit tomark AE for C
840
+ *
841
+ * All uses of setlimit in the current stemmers we ship follow this
842
+ * pattern, and by special-casing we can avoid having to save and
843
+ * restore c.
844
+ */
845
+ struct node * q = p->left;
846
+ write_comment(g, q);
847
+
848
+ g->S[0] = q->mode == m_forward ? ">" : "<";
849
+ w(g, "~Mif ($this->cursor ~S0 "); generate_AE(g, q->AE); w(g, ") {~+~N");
850
+ write_failure(g);
851
+ w(g, "~-~M}~N");
852
+ g->unreachable = false;
853
+
854
+ g->B[0] = str_data(varname);
855
+ if (p->mode == m_forward) {
856
+ w(g, "~M~B0 = $this->limit;~N");
857
+ w(g, "~M$this->limit = ");
858
+ generate_AE(g, q->AE);
859
+ w(g, ";~N");
860
+ w(g, "~M~B0 -= $this->limit;~N");
861
+ } else {
862
+ w(g, "~M~B0 = $this->limit_backward;~N");
863
+ w(g, "~M$this->limit_backward = ");
864
+ generate_AE(g, q->AE);
865
+ w(g, ";~N");
866
+ }
867
+
868
+ if (p->mode == m_forward) {
869
+ str_assign(g->failure_str, "$this->limit += ");
870
+ str_append(g->failure_str, varname);
871
+ str_append_ch(g->failure_str, ';');
872
+ } else {
873
+ str_assign(g->failure_str, "$this->limit_backward = ");
874
+ str_append(g->failure_str, varname);
875
+ str_append_ch(g->failure_str, ';');
876
+ }
877
+ } else {
878
+ struct str * savevar = vars_newname(g);
879
+ write_savecursor(g, p, savevar);
880
+
881
+ generate(g, p->left);
882
+
883
+ if (!g->unreachable) {
884
+ g->B[0] = str_data(varname);
885
+ w(g, "~M~B0 = ");
886
+ if (p->mode == m_forward) {
887
+ w(g, "$this->limit - $this->cursor;~N");
888
+ w(g, "~M$this->limit = $this->cursor;~N");
889
+ } else {
890
+ w(g, "$this->limit_backward;~N");
891
+ w(g, "~M$this->limit_backward = $this->cursor;~N");
892
+ }
893
+ write_restorecursor(g, p, savevar);
894
+
895
+ if (p->mode == m_forward) {
896
+ str_assign(g->failure_str, "$this->limit += ");
897
+ str_append(g->failure_str, varname);
898
+ str_append_ch(g->failure_str, ';');
899
+ } else {
900
+ str_assign(g->failure_str, "$this->limit_backward = ");
901
+ str_append(g->failure_str, varname);
902
+ str_append_ch(g->failure_str, ';');
903
+ }
904
+ }
905
+ str_delete(savevar);
906
+ }
907
+
908
+ if (!g->unreachable) {
909
+ generate(g, p->aux);
910
+
911
+ if (!g->unreachable) {
912
+ write_margin(g);
913
+ write_str(g, g->failure_str);
914
+ write_newline(g);
915
+ }
916
+ }
917
+ str_delete(varname);
918
+ }
919
+
920
+ /* dollar sets snowball up to operate on a string variable as if it were the
921
+ * current string */
922
+ static void generate_dollar(struct generator * g, struct node * p) {
923
+ write_comment(g, p);
924
+
925
+ int used = g->label_used;
926
+ int a0 = g->failure_label;
927
+ struct str * a1 = str_copy(g->failure_str);
928
+ int label = new_label(g);
929
+ g->failure_label = label;
930
+ g->label_used = 0;
931
+ str_clear(g->failure_str);
932
+
933
+ struct str * savevar = vars_newname(g);
934
+ g->B[0] = str_data(savevar);
935
+ writef(g, "~M~B0 = clone $this;~N", p);
936
+
937
+ writef(g, "~M$this->current = ~V;~N"
938
+ "~M$this->cursor = 0;~N"
939
+ "~M$this->limit_backward = 0;~N"
940
+ "~M$this->limit = strlen($this->current);~N", p);
941
+ if (p->left->possible_signals == -1) {
942
+ /* Assume failure. */
943
+ w(g, "~M~B0_f = true;~N");
944
+ }
945
+
946
+ generate(g, p->left);
947
+
948
+ if (!g->unreachable && p->left->possible_signals == -1) {
949
+ /* Mark success. */
950
+ g->B[0] = str_data(savevar);
951
+ w(g, "~M~B0_f = false;~N");
952
+ }
953
+
954
+ if (g->label_used)
955
+ wsetl(g, g->failure_label);
956
+
957
+ g->label_used = used;
958
+ g->failure_label = a0;
959
+ str_delete(g->failure_str);
960
+ g->failure_str = a1;
961
+
962
+ g->B[0] = str_data(savevar);
963
+ writef(g, "~M~V = $this->current;~N"
964
+ "~M$this->copyFrom(~B0);~N", p);
965
+
966
+ if (p->left->possible_signals == 0) {
967
+ // p->left always signals f.
968
+ w(g, "~M~f~N");
969
+ } else if (p->left->possible_signals == -1) {
970
+ write_failure_if(g, "~B0_f", p);
971
+ }
972
+
973
+ str_delete(savevar);
974
+ }
975
+
976
+ static void generate_integer_assign(struct generator * g, struct node * p, const char * s) {
977
+ write_comment(g, p);
978
+ if (p->AE->type == c_number && p->AE->number == 1) {
979
+ if (strcmp(s, "+=") == 0) {
980
+ // Optimise `+= 1` to increment.
981
+ writef(g, "~M++~V;~N", p);
982
+ return;
983
+ } else if (strcmp(s, "-=") == 0) {
984
+ // Optimise `-= 1` to decrement.
985
+ writef(g, "~M--~V;~N", p);
986
+ return;
987
+ }
988
+ }
989
+ g->S[0] = s;
990
+ writef(g, "~M~V ~S0 ", p);
991
+ generate_AE(g, p->AE);
992
+ w(g, ";~N");
993
+ }
994
+
995
+ static void generate_integer_test(struct generator * g, struct node * p) {
996
+ write_comment(g, p);
997
+ int relop = p->type;
998
+ int optimise_to_return = tailcallable(g, p);
999
+ if (optimise_to_return) {
1000
+ w(g, "~Mreturn ");
1001
+ p->right = NULL;
1002
+ } else {
1003
+ w(g, "~Mif (");
1004
+ // We want the inverse of the snowball test here.
1005
+ relop ^= 1;
1006
+ }
1007
+ generate_AE(g, p->left);
1008
+ write_relop(g, relop);
1009
+ generate_AE(g, p->AE);
1010
+ if (optimise_to_return) {
1011
+ w(g, ";~N");
1012
+ } else {
1013
+ w(g, ") {~+~N");
1014
+ write_failure(g);
1015
+ w(g, "~-~M}~N");
1016
+ g->unreachable = false;
1017
+ }
1018
+ }
1019
+
1020
+ static void generate_call(struct generator * g, struct node * p) {
1021
+ int signals = p->name->definition->possible_signals;
1022
+ write_comment(g, p);
1023
+ if (tailcallable(g, p)) {
1024
+ /* Tail call. */
1025
+ writef(g, "~Mreturn ~V();~N", p);
1026
+ p->right = NULL;
1027
+ g->unreachable = true;
1028
+ return;
1029
+ }
1030
+ if (just_return_on_fail(g) && signals == 0) {
1031
+ /* Always fails. */
1032
+ writef(g, "~Mreturn ~V();~N", p);
1033
+ g->unreachable = true;
1034
+ return;
1035
+ }
1036
+ if (signals == 1) {
1037
+ /* Always succeeds. */
1038
+ writef(g, "~M~V();~N", p);
1039
+ } else if (signals == 0) {
1040
+ /* Always fails. */
1041
+ writef(g, "~M~V();~N", p);
1042
+ write_failure(g);
1043
+ } else {
1044
+ write_failure_if(g, "!~V()", p);
1045
+ }
1046
+ }
1047
+
1048
+ static void generate_grouping(struct generator * g, struct node * p, int complement) {
1049
+ write_comment(g, p);
1050
+
1051
+ g->S[0] = p->mode == m_forward ? "" : "_b";
1052
+ g->S[1] = complement ? "out" : "in";
1053
+ if (tailcallable(g, p)) {
1054
+ writef(g, "~Mreturn $this->~S1_grouping~S0(~V);~N", p);
1055
+ p->right = NULL;
1056
+ } else {
1057
+ write_failure_if(g, "!($this->~S1_grouping~S0(~V))", p);
1058
+ }
1059
+ }
1060
+
1061
+ static void generate_namedstring(struct generator * g, struct node * p) {
1062
+ write_comment(g, p);
1063
+ g->S[0] = p->mode == m_forward ? "" : "_b";
1064
+ if (tailcallable(g, p)) {
1065
+ writef(g, "~Mreturn $this->eq_s~S0(~V);~N", p);
1066
+ p->right = NULL;
1067
+ } else {
1068
+ write_failure_if(g, "!($this->eq_s~S0(~V))", p);
1069
+ }
1070
+ }
1071
+
1072
+ static void generate_literalstring(struct generator * g, struct node * p) {
1073
+ write_comment(g, p);
1074
+ g->S[0] = p->mode == m_forward ? "" : "_b";
1075
+ if (tailcallable(g, p)) {
1076
+ writef(g, "~Mreturn $this->eq_s~S0(~L);~N", p);
1077
+ p->right = NULL;
1078
+ } else {
1079
+ write_failure_if(g, "!($this->eq_s~S0(~L))", p);
1080
+ }
1081
+ }
1082
+
1083
+ static void generate_define(struct generator * g, struct node * p) {
1084
+ struct name * q = p->name;
1085
+
1086
+ write_newline(g);
1087
+ write_newline(g);
1088
+ write_comment(g, p);
1089
+
1090
+ if (q->type == t_routine) {
1091
+ writef(g, "~Mprotected function ~W(): bool~N", p);
1092
+ } else {
1093
+ writef(g, "~Mpublic function ~W(): bool~N", p);
1094
+ }
1095
+ write_block_start(g);
1096
+
1097
+ /* Save output. */
1098
+ struct str * saved_output = g->outbuf;
1099
+ struct str * saved_declarations = g->declarations;
1100
+ g->outbuf = str_new();
1101
+ g->declarations = str_new();
1102
+
1103
+ g->next_label = 0;
1104
+ g->var_number = 0;
1105
+
1106
+ str_clear(g->failure_str);
1107
+ g->failure_label = x_return;
1108
+ g->unreachable = false;
1109
+ g->keep_count = 0;
1110
+
1111
+ /* Generate function body. */
1112
+ generate(g, p->left);
1113
+ if (p->left->right) {
1114
+ assert(p->left->right->type == c_functionend);
1115
+ if (p->left->possible_signals) {
1116
+ generate(g, p->left->right);
1117
+ }
1118
+ }
1119
+ write_block_end(g);
1120
+
1121
+ str_append(saved_output, g->declarations);
1122
+ str_append(saved_output, g->outbuf);
1123
+ str_delete(g->declarations);
1124
+ str_delete(g->outbuf);
1125
+ g->declarations = saved_declarations;
1126
+ g->outbuf = saved_output;
1127
+ }
1128
+
1129
+ static void generate_functionend(struct generator * g, struct node * p) {
1130
+ (void)p;
1131
+ w(g, "~Mreturn true;~N");
1132
+ }
1133
+
1134
+ static void generate_substring(struct generator * g, struct node * p) {
1135
+ write_comment(g, p);
1136
+
1137
+ struct among * x = p->among;
1138
+
1139
+ g->S[0] = p->mode == m_forward ? "" : "_b";
1140
+ g->I[0] = x->number;
1141
+
1142
+ if (x->amongvar_needed) {
1143
+ writef(g, "~M$among_var = $this->find_among~S0(self::A_~I0);~N", p);
1144
+ if (!x->always_matches) {
1145
+ write_failure_if(g, "0 === $among_var", p);
1146
+ }
1147
+ } else if (x->always_matches) {
1148
+ writef(g, "~M$this->find_among~S0(self::A_~I0);~N", p);
1149
+ } else if (x->command_count == 0 && tailcallable(g, p)) {
1150
+ writef(g, "~Mreturn $this->find_among~S0(self::A_~I0) !== 0;~N", p);
1151
+ x->node->right = NULL;
1152
+ g->unreachable = true;
1153
+ } else {
1154
+ write_failure_if(g, "$this->find_among~S0(self::A_~I0) === 0", p);
1155
+ }
1156
+ }
1157
+
1158
+ static void generate_among(struct generator * g, struct node * p) {
1159
+ struct among * x = p->among;
1160
+
1161
+ if (x->substring == NULL) {
1162
+ generate_substring(g, p);
1163
+ } else {
1164
+ write_comment(g, p);
1165
+ }
1166
+
1167
+ if (x->command_count == 1 && x->nocommand_count == 0) {
1168
+ /* Only one outcome ("no match" already handled). */
1169
+ generate(g, x->commands[0]);
1170
+ } else if (x->command_count > 0) {
1171
+ if (x->same_action == c_slicefrom && x->command_count > 1) {
1172
+ if (x->nocommand_count > 0) {
1173
+ w(g, "~Mif ($among_var > 0) {~N~+");
1174
+ }
1175
+ write_comment(g, x->commands[0]);
1176
+ g->I[0] = x->number;
1177
+ w(g, "~M$this->slice_from(self::AS_~I0[$among_var - 1]);~N");
1178
+ if (x->nocommand_count > 0) {
1179
+ write_block_end(g);
1180
+ }
1181
+ g->unreachable = false;
1182
+ return;
1183
+ }
1184
+
1185
+ w(g, "~Mswitch ($among_var) {~N~+");
1186
+ for (int i = 1; i <= x->command_count; i++) {
1187
+ g->I[0] = i;
1188
+ w(g, "~Mcase ~I0:~N~+");
1189
+ generate(g, x->commands[i - 1]);
1190
+ if (!g->unreachable) w(g, "~Mbreak;~N");
1191
+ w(g, "~-");
1192
+ g->unreachable = false;
1193
+ }
1194
+ write_block_end(g);
1195
+ }
1196
+ }
1197
+
1198
+ static void generate_booltest(struct generator * g, struct node * p, int inverted) {
1199
+ write_comment(g, p);
1200
+ if (tailcallable(g, p)) {
1201
+ // Optimise at end of function.
1202
+ if (inverted) {
1203
+ writef(g, "~Mreturn !~V;~N", p);
1204
+ } else {
1205
+ writef(g, "~Mreturn ~V;~N", p);
1206
+ }
1207
+ p->right = NULL;
1208
+ g->unreachable = true;
1209
+ return;
1210
+ }
1211
+ if (inverted) {
1212
+ write_failure_if(g, "~V", p);
1213
+ } else {
1214
+ write_failure_if(g, "!~V", p);
1215
+ }
1216
+ }
1217
+
1218
+ static void generate_false(struct generator * g, struct node * p) {
1219
+ write_comment(g, p);
1220
+ write_failure(g);
1221
+ }
1222
+
1223
+ static void generate_debug(struct generator * g, struct node * p) {
1224
+ write_comment(g, p);
1225
+ g->I[0] = g->debug_count++;
1226
+ g->I[1] = p->line_number;
1227
+ writef(g, "~M$this->debug(~I0, ~I1);~N", p);
1228
+ }
1229
+
1230
+ static void generate(struct generator * g, struct node * p) {
1231
+ if (g->unreachable) return;
1232
+
1233
+ int a0 = g->failure_label;
1234
+ struct str * a1 = str_copy(g->failure_str);
1235
+
1236
+ switch (p->type) {
1237
+ case c_define: generate_define(g, p); break;
1238
+ case c_bra: generate_bra(g, p); break;
1239
+ case c_and: generate_and(g, p); break;
1240
+ case c_or: generate_or(g, p); break;
1241
+ case c_backwards: generate_backwards(g, p); break;
1242
+ case c_not: generate_not(g, p); break;
1243
+ case c_set: generate_set(g, p); break;
1244
+ case c_unset: generate_unset(g, p); break;
1245
+ case c_try: generate_try(g, p); break;
1246
+ case c_fail: generate_fail(g, p); break;
1247
+ case c_reverse:
1248
+ case c_test: generate_test(g, p); break;
1249
+ case c_do: generate_do(g, p); break;
1250
+ case c_goto: generate_GO(g, p, 1); break;
1251
+ case c_gopast: generate_GO(g, p, 0); break;
1252
+ case c_goto_grouping: generate_GO_grouping(g, p, 1, 0); break;
1253
+ case c_gopast_grouping:
1254
+ generate_GO_grouping(g, p, 0, 0); break;
1255
+ case c_goto_non: generate_GO_grouping(g, p, 1, 1); break;
1256
+ case c_gopast_non: generate_GO_grouping(g, p, 0, 1); break;
1257
+ case c_repeat: generate_repeat(g, p); break;
1258
+ case c_loop: generate_loop(g, p); break;
1259
+ case c_atleast: generate_atleast(g, p); break;
1260
+ case c_tomark: generate_tomark(g, p); break;
1261
+ case c_hop: generate_hop(g, p); break;
1262
+ case c_next: generate_next(g, p); break;
1263
+ case c_tolimit: generate_tolimit(g, p); break;
1264
+ case c_leftslice: generate_leftslice(g, p); break;
1265
+ case c_rightslice: generate_rightslice(g, p); break;
1266
+ case c_assignto: generate_assignto(g, p); break;
1267
+ case c_sliceto: generate_sliceto(g, p); break;
1268
+ case c_stringassign: generate_stringassign(g, p); break;
1269
+ case c_insert:
1270
+ case c_attach: generate_insert(g, p, p->type); break;
1271
+ case c_slicefrom: generate_slicefrom(g, p); break;
1272
+ case c_setlimit: generate_setlimit(g, p); break;
1273
+ case c_dollar: generate_dollar(g, p); break;
1274
+ case c_assign: generate_integer_assign(g, p, "="); break;
1275
+ case c_plusassign: generate_integer_assign(g, p, "+="); break;
1276
+ case c_minusassign: generate_integer_assign(g, p, "-="); break;
1277
+ case c_multiplyassign:generate_integer_assign(g, p, "*="); break;
1278
+ case c_divideassign:
1279
+ /* Snowball specifies integer division with semantics matching C,
1280
+ * so we need to use `intdiv($x,$y)` here.
1281
+ */
1282
+ writef(g, "~M~V = intdiv(~V,", p);
1283
+ generate_AE(g, p->AE);
1284
+ w(g, ");~N");
1285
+ break;
1286
+ case c_eq:
1287
+ case c_ne:
1288
+ case c_gt:
1289
+ case c_ge:
1290
+ case c_lt:
1291
+ case c_le:
1292
+ generate_integer_test(g, p);
1293
+ break;
1294
+ case c_call: generate_call(g, p); break;
1295
+ case c_grouping: generate_grouping(g, p, false); break;
1296
+ case c_non: generate_grouping(g, p, true); break;
1297
+ case c_name: generate_namedstring(g, p); break;
1298
+ case c_literalstring: generate_literalstring(g, p); break;
1299
+ case c_among: generate_among(g, p); break;
1300
+ case c_substring: generate_substring(g, p); break;
1301
+ case c_booltest: generate_booltest(g, p, false); break;
1302
+ case c_not_booltest: generate_booltest(g, p, true); break;
1303
+ case c_false: generate_false(g, p); break;
1304
+ case c_true: break;
1305
+ case c_debug: generate_debug(g, p); break;
1306
+ case c_functionend: generate_functionend(g, p); break;
1307
+ default: fprintf(stderr, "%d encountered\n", p->type);
1308
+ exit(1);
1309
+ }
1310
+
1311
+ g->failure_label = a0;
1312
+ str_delete(g->failure_str);
1313
+ g->failure_str = a1;
1314
+ }
1315
+
1316
+ static void generate_class_begin(struct generator * g) {
1317
+ w(g, "class Snowball~n extends SnowballStemmer~N");
1318
+ write_block_start(g);
1319
+ }
1320
+
1321
+ static void generate_class_end(struct generator * g) {
1322
+ write_block_end(g);
1323
+ }
1324
+
1325
+ static void generate_among_table(struct generator * g, struct among * x) {
1326
+ write_comment(g, x->node);
1327
+
1328
+ struct amongvec * v = x->b;
1329
+
1330
+ g->I[0] = x->number;
1331
+ w(g, "~Mprivate const array A_~I0 = [~N~+");
1332
+
1333
+ for (int i = 0; i < x->literalstring_count; i++) {
1334
+ if (i) w(g, ",~N");
1335
+ g->I[0] = v[i].i;
1336
+ g->I[1] = v[i].result;
1337
+
1338
+ w(g, "~M[");
1339
+ write_literal_string(g, v[i].b);
1340
+ w(g, ", ~I0, ~I1");
1341
+ if (v[i].function != NULL) {
1342
+ w(g, ", '");
1343
+ write_varname(g, v[i].function); // callable
1344
+ w(g, "'");
1345
+ }
1346
+ w(g, "]");
1347
+ }
1348
+ w(g, "~N~-~M];~N~N");
1349
+
1350
+ if (x->same_action == c_slicefrom && x->command_count > 1) {
1351
+ g->I[0] = x->number;
1352
+ w(g, "~Mprivate const array AS_~I0 = [");
1353
+ for (int i = 1; i <= x->command_count; i++) {
1354
+ if (i > 1) w(g, ", ");
1355
+ write_literal_string(g, x->commands[i - 1]->left->literalstring);
1356
+ }
1357
+ w(g, "];~N~N");
1358
+ }
1359
+ }
1360
+
1361
+ static void generate_amongs(struct generator * g) {
1362
+ for (struct among * x = g->analyser->amongs; x; x = x->next) {
1363
+ generate_among_table(g, x);
1364
+ }
1365
+ }
1366
+
1367
+ static void generate_grouping_table(struct generator * g, struct grouping * q) {
1368
+ symbol * b = q->b;
1369
+
1370
+ w(g, "~Mprivate const array ");
1371
+ write_varname(g, q->name);
1372
+ write_string(g, " = [");
1373
+ for (int i = 0; i < SIZE(b); i++) {
1374
+ if (i) w(g, ", ");
1375
+ write_literal_char(g, b[i]);
1376
+ w(g, "=>true");
1377
+ }
1378
+ w(g, "];~N~N");
1379
+ }
1380
+
1381
+ static void generate_groupings(struct generator * g) {
1382
+ for (struct grouping * q = g->analyser->groupings; q; q = q->next) {
1383
+ generate_grouping_table(g, q);
1384
+ }
1385
+ }
1386
+
1387
+ static void generate_members(struct generator * g) {
1388
+ bool wrote_members = false;
1389
+
1390
+ for (struct name * q = g->analyser->names; q; q = q->next) {
1391
+ if (q->local_to) continue;
1392
+ switch (q->type) {
1393
+ case t_string:
1394
+ w(g, "~Mprivate string $");
1395
+ write_varname(g, q);
1396
+ w(g, " = '';~N");
1397
+ wrote_members = true;
1398
+ break;
1399
+ case t_integer:
1400
+ w(g, "~Mprivate int $");
1401
+ write_varname(g, q);
1402
+ w(g, " = 0;~N");
1403
+ wrote_members = true;
1404
+ break;
1405
+ case t_boolean:
1406
+ w(g, "~Mprivate bool $");
1407
+ write_varname(g, q);
1408
+ w(g, " = false;~N");
1409
+ wrote_members = true;
1410
+ break;
1411
+ }
1412
+ }
1413
+ if (wrote_members) w(g, "~N");
1414
+ }
1415
+
1416
+ static void generate_methods(struct generator * g) {
1417
+ for (struct node * p = g->analyser->program; p; p = p->right) {
1418
+ generate(g, p);
1419
+ g->unreachable = false;
1420
+ }
1421
+ }
1422
+
1423
+ extern void generate_program_php(struct generator * g) {
1424
+ g->varname_prefix = "$v_";
1425
+
1426
+ g->outbuf = str_new();
1427
+ g->failure_str = str_new();
1428
+
1429
+ w(g, "<?php~N");
1430
+ write_start_comment(g, "// ", NULL);
1431
+
1432
+ generate_class_begin(g);
1433
+
1434
+ generate_amongs(g);
1435
+ generate_groupings(g);
1436
+
1437
+ generate_members(g);
1438
+ generate_methods(g);
1439
+
1440
+ generate_class_end(g);
1441
+
1442
+ output_str(g->options->output_src, g->outbuf);
1443
+ str_delete(g->failure_str);
1444
+ str_delete(g->outbuf);
1445
+ }