mittens 0.3.1 → 0.3.2

data/vendor/snowball/compiler/generator_dart.c

@@ -0,0 +1,1476 @@
+#include <assert.h>
+#include <stdio.h> /* for fprintf etc */
+#include <stdlib.h> /* for exit */
+#include <string.h> /* for strlen */
+#include "header.h"
+
+/* prototype functions for recursive use: */
+
+static void generate(struct generator * g, struct node * p);
+static void w(struct generator * g, const char * s);
+static void writef(struct generator * g, const char * s, struct node * p);
+
+/* Write routines for items from the syntax tree */
+
+static void write_relop(struct generator * g, int relop) {
+    // Relational operators are the same as C.
+    write_c_relop(g, relop);
+}
+
+static void write_varname(struct generator * g, struct name * p) {
+    if (p->type == t_external) {
+        if (g->options->externals_prefix) {
+            write_string(g, g->options->externals_prefix);
+        }
+    } else {
+        // We use the same naming scheme for both global and local variables.
+        write_char(g, "SBIrxg"[p->type]);
+        write_char(g, '_');
+    }
+    write_s(g, p->s);
+}
+
+/* Reference to variable, e.g. when assigning to or using in an expression. */
+static void write_varref(struct generator * g, struct name * p) {
+    /* In Dart, references look just the same */
+    write_varname(g, p);
+}
+
+static void write_literal_string(struct generator * g, symbol * p) {
+    write_char(g, '"');
+    for (int i = 0; i < SIZE(p); i++) {
+        int ch = p[i];
+        if (32 <= ch && ch < 127) {
+            if (ch == '"' || ch == '\\' || ch == '$') write_char(g, '\\');
+            write_char(g, ch);
+        } else {
+            write_string(g, "\\u");
+            write_hex4(g, ch);
+        }
+    }
+    write_char(g, '"');
+}
+
+static void write_comment(struct generator * g, struct node * p) {
+    if (!g->options->comments) return;
+    write_margin(g);
+    write_string(g, "// ");
+    write_comment_content(g, p, NULL);
+    write_newline(g);
+}
+
+static void write_block_start(struct generator * g) {
+    w(g, "~M{~+~N");
+}
+
+static void write_block_end(struct generator * g) {
+    w(g, "~-~M}~N");
+}
+
+static void write_savecursor(struct generator * g, struct node * p,
+                             struct str * savevar) {
+    g->B[0] = str_data(savevar);
+    g->S[1] = "";
+    if (p->mode != m_forward) g->S[1] = "limit - ";
+    writef(g, "~Mint ~B0 = ~S1cursor;~N", p);
+}
+
+static void append_restore_string(struct node * p, struct str * out, struct str * savevar) {
+    str_append_string(out, "cursor = ");
+    if (p->mode != m_forward) str_append_string(out, "limit - ");
+    str_append(out, savevar);
+    str_append_ch(out, ';');
+}
+
+static void write_restorecursor(struct generator * g, struct node * p, struct str * savevar) {
+    write_margin(g);
+    append_restore_string(p, g->outbuf, savevar);
+    write_newline(g);
+}
+
+static void write_inc_cursor(struct generator * g, struct node * p) {
+    write_margin(g);
+    write_string(g, p->mode == m_forward ? "cursor++;" : "cursor--;");
+    write_newline(g);
+}
+
+static void wsetlab_begin(struct generator * g, int n) {
+    w(g, "~Mlab");
+    write_int(g, n);
+    w(g, ": while (true) {~+~N");
+}
+
+static void wsetlab_end(struct generator * g, int n) {
+    if (!g->unreachable) {
+        w(g, "~Mbreak lab");
+        write_int(g, n);
+        w(g, ";~N");
+    } else {
+        g->unreachable = false;
+    }
+    w(g, "~-~M}~N");
+}
+
+static void wgotol(struct generator * g, int n) {
+    write_margin(g);
+    write_string(g, "break lab");
+    write_int(g, n);
+    write_char(g, ';');
+    write_newline(g);
+    g->unreachable = true;
+}
+
+static void write_failure(struct generator * g) {
+    if (str_len(g->failure_str) != 0) {
+        write_margin(g);
+        write_str(g, g->failure_str);
+        write_newline(g);
+    }
+    write_margin(g);
+    switch (g->failure_label) {
+        case x_return:
+            write_string(g, "return false;");
+            break;
+        default:
+            write_string(g, "break lab");
+            write_int(g, g->failure_label);
+            write_char(g, ';');
+    }
+    write_newline(g);
+    g->unreachable = true;
+}
+
+static void write_failure_if(struct generator * g, const char * s, struct node * p) {
+    writef(g, "~Mif (", p);
+    writef(g, s, p);
+    writef(g, ")~N", p);
+    write_block_start(g);
+    write_failure(g);
+    write_block_end(g);
+    g->unreachable = false;
+}
+
+/* if at limit fail */
+static void write_check_limit(struct generator * g, struct node * p) {
+    if (p->mode == m_forward) {
+        write_failure_if(g, "cursor >= limit", p);
+    } else {
+        write_failure_if(g, "cursor <= limit_backward", p);
+    }
+}
+
+/* Formatted write. */
+static void writef(struct generator * g, const char * input, struct node * p) {
+    int i = 0;
+
+    while (input[i]) {
+        int ch = input[i++];
+        if (ch != '~') {
+            write_char(g, ch);
+            continue;
+        }
+        ch = input[i++];
+        switch (ch) {
+            case '~': write_char(g, '~'); continue;
+            case 'f': write_block_start(g);
+                      write_failure(g);
+                      g->unreachable = false;
+                      write_block_end(g);
+                      continue;
+            case 'M': write_margin(g); continue;
+            case 'N': write_newline(g); continue;
+            case '{': write_block_start(g); continue;
+            case '}': write_block_end(g); continue;
+            case 'S': {
+                int j = input[i++] - '0';
+                if (j < 0 || j > (int)(sizeof(g->S) / sizeof(g->S[0]))) {
+                    printf("Invalid escape sequence ~%c%c in writef(g, \"%s\", p)\n",
+                           ch, input[i - 1], input);
+                    exit(1);
+                }
+                write_string(g, g->S[j]);
+                continue;
+            }
+            case 'B': {
+                int j = input[i++] - '0';
+                if (j < 0 || j > (int)(sizeof(g->B) / sizeof(g->B[0])))
+                    goto invalid_escape2;
+                write_s(g, g->B[j]);
+                continue;
+            }
+            case 'F': {
+                struct among * x = NULL;
+                if (p) x = p->among;
+                if (x == NULL) {
+                    write_string(g, "null");
+                    continue;
+                }
+                if (x->function_count == 0) {
+                    write_string(g, "null");
+                    continue;
+                }
+                if (x->function_count == 1) {
+                    struct amongvec * v = x->b;
+                    int found = 0;
+                    for (int j = 0; j < x->literalstring_count; j++) {
+                        if (v[j].function) {
+                            write_varref(g, v[j].function);
+                            found = 1;
+                            break;
+                        }
+                    }
+                    if (!found) {
+                        fprintf(stderr, "function_count == 1 but no among functions\n");
+                        exit(1);
+                    }
+                    continue;
+                }
+
+                w(g, "af_");
+                write_int(g, x->number);
+                continue;
+            }
+            case 'I': {
+                int j = input[i++] - '0';
+                if (j < 0 || j > (int)(sizeof(g->I) / sizeof(g->I[0])))
+                    goto invalid_escape2;
+                write_int(g, g->I[j]);
+                continue;
+            }
+            case 'V':
+                write_varref(g, p->name);
+                continue;
+            case 'W':
+                write_varname(g, p->name);
+                continue;
+            case 'L':
+                write_literal_string(g, p->literalstring);
+                continue;
+            case '+': g->margin++; continue;
+            case '-': g->margin--; continue;
+            case 'n': write_s(g, g->options->name); continue;
+            default:
+                printf("Invalid escape sequence ~%c in writef(g, \"%s\", p)\n",
+                       ch, input);
+                exit(1);
+            invalid_escape2:
+                printf("Invalid escape sequence ~%c%c in writef(g, \"%s\", p)\n",
+                       ch, input[i - 1], input);
+                exit(1);
+        }
+    }
+}
+
+static void w(struct generator * g, const char * s) {
+    writef(g, s, NULL);
+}
+
+static void generate_AE(struct generator * g, struct node * p) {
+    const char * s;
+    switch (p->type) {
+        case c_name:
+            write_varref(g, p->name);
+            break;
+        case c_number:
+            write_int(g, p->number);
+            break;
+        case c_maxint:
+            write_string(g, "9007199254740992");
+            break;
+        case c_minint:
+            write_string(g, "-9007199254740992");
+            break;
+        case c_neg:
+            write_char(g, '-');
+            generate_AE(g, p->right);
+            break;
+        case c_multiply:
+            s = " * ";
+            goto label0;
+        case c_divide:
+            s = " ~/ ";
+            goto label0;
+        case c_plus:
+            s = " + ";
+            goto label0;
+        case c_minus:
+            s = " - ";
+        label0:
+            write_char(g, '(');
+            generate_AE(g, p->left);
+            write_string(g, s);
+            generate_AE(g, p->right);
+            write_char(g, ')');
+            break;
+        case c_cursor:
+            w(g, "cursor");
+            break;
+        case c_limit:
+            w(g, p->mode == m_forward ? "limit" : "limit_backward");
+            break;
+        case c_len: /* Same as size() for Dart. */
+        case c_size:
+            w(g, "current.length");
+            break;
+        case c_lenof: /* Same as sizeof() for Dart. */
+        case c_sizeof:
+            writef(g, "~V.length", p);
+            break;
+    }
+}
+
+static void generate_bra(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    p = p->left;
+    while (p) {
+        generate(g, p);
+        p = p->right;
+    }
+}
+
+static void generate_and(struct generator * g, struct node * p) {
+    struct str * savevar = NULL;
+    if (K_needed_for_and(p->left)) {
+        savevar = vars_newname(g);
+    }
+
+    write_comment(g, p);
+
+    if (savevar) {
+        write_savecursor(g, p, savevar);
+    }
+
+    p = p->left;
+    while (p) {
+        generate(g, p);
+        if (g->unreachable) break;
+        if (savevar && p->right != NULL) write_restorecursor(g, p, savevar);
+        p = p->right;
+    }
+
+    if (savevar) {
+        str_delete(savevar);
+    }
+}
+
+static void generate_or(struct generator * g, struct node * p) {
+    struct str * savevar = NULL;
+    if (K_needed_for_or(p->left)) {
+        savevar = vars_newname(g);
+    }
+
+    int a0 = g->failure_label;
+    struct str * a1 = str_copy(g->failure_str);
+
+    int out_lab = new_label(g);
+    bool end_unreachable = true;
+
+    write_comment(g, p);
+    wsetlab_begin(g, out_lab);
+
+    if (savevar && K_needed_node_on_f(p)) {
+        write_savecursor(g, p, savevar);
+    }
+
+    p = p->left;
+    str_clear(g->failure_str);
+
+    if (p == NULL) {
+        /* p should never be NULL after an or: there should be at least two
+         * sub nodes. */
+        fprintf(stderr, "Error: \"or\" node without children nodes.");
+        exit(1);
+    }
+    while (p->right != NULL) {
+        int label = new_label(g);
+        g->failure_label = label;
+        wsetlab_begin(g, g->failure_label);
+        generate(g, p);
+        if (!g->unreachable) {
+            wgotol(g, out_lab);
+            end_unreachable = false;
+        }
+
+        wsetlab_end(g, g->failure_label);
+        g->unreachable = false;
+        if (savevar) {
+            write_restorecursor(g, p, savevar);
+        }
+        p = p->right;
+    }
+
+    g->failure_label = a0;
+    str_delete(g->failure_str);
+    g->failure_str = a1;
+
+    generate(g, p);
+
+    wsetlab_end(g, out_lab);
+    if (!end_unreachable) {
+        g->unreachable = false;
+    }
+
+    if (savevar) {
+        str_delete(savevar);
+    }
+}
+
+static void generate_backwards(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    writef(g, "~Mlimit_backward = cursor;~N"
+              "~Mcursor = limit;~N", p);
+    generate(g, p->left);
+    w(g, "~Mcursor = limit_backward;~N");
+}
+
+static void generate_not(struct generator * g, struct node * p) {
+    struct str * savevar = NULL;
+    if (K_needed_node_on_f(p->left)) {
+        savevar = vars_newname(g);
+    }
+
+    int a0 = g->failure_label;
+    struct str * a1 = str_copy(g->failure_str);
+
+    write_comment(g, p);
+    if (savevar) {
+        write_block_start(g);
+        write_savecursor(g, p, savevar);
+    }
+
+    int label = new_label(g);
+    g->failure_label = label;
+    str_clear(g->failure_str);
+
+    wsetlab_begin(g, g->failure_label);
+
+    generate(g, p->left);
+
+    g->failure_label = a0;
+    str_delete(g->failure_str);
+    g->failure_str = a1;
+
+    if (!g->unreachable) write_failure(g);
+
+    wsetlab_end(g, g->failure_label);
+
+    g->unreachable = false;
+
+    if (savevar) {
+        write_restorecursor(g, p, savevar);
+        write_block_end(g);
+        str_delete(savevar);
+    }
+}
+
+static void generate_try(struct generator * g, struct node * p) {
+    struct str * savevar = NULL;
+    if (K_needed(p->left)) {
+        savevar = vars_newname(g);
+    }
+
+    int label = new_label(g);
+    g->failure_label = label;
+    str_clear(g->failure_str);
+
+    write_comment(g, p);
+    if (savevar) {
+        write_savecursor(g, p, savevar);
+        append_restore_string(p, g->failure_str, savevar);
+    }
+
+    wsetlab_begin(g, g->failure_label);
+
+    generate(g, p->left);
+
+    wsetlab_end(g, g->failure_label);
+    g->unreachable = false;
+
+    if (savevar) {
+        str_delete(savevar);
+    }
+}
+
+static void generate_set(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    writef(g, "~M~V = true;~N", p);
+}
+
+static void generate_unset(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    writef(g, "~M~V = false;~N", p);
+}
+
+static void generate_fail(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    generate(g, p->left);
+    if (!g->unreachable) write_failure(g);
+}
+
+/* generate_test() also implements 'reverse' */
+static void generate_test(struct generator * g, struct node * p) {
+    struct str * savevar = NULL;
+    if (K_needed(p->left)) {
+        savevar = vars_newname(g);
+    }
+
+    write_comment(g, p);
+
+    if (savevar) {
+        write_savecursor(g, p, savevar);
+    }
+
+    generate(g, p->left);
+
+    if (savevar) {
+        if (!g->unreachable) {
+            write_restorecursor(g, p, savevar);
+        }
+        str_delete(savevar);
+    }
+}
+
+static void generate_do(struct generator * g, struct node * p) {
+    struct str * savevar = NULL;
+    if (K_needed(p->left)) {
+        savevar = vars_newname(g);
+    }
+
+    write_comment(g, p);
+    if (savevar) {
+        write_savecursor(g, p, savevar);
+    }
+
+    if (p->left->type == c_call) {
+        /* Optimise do <call> */
+        write_comment(g, p->left);
+        writef(g, "~M~V();~N", p->left);
+    } else {
+        int label = new_label(g);
+        g->failure_label = label;
+        str_clear(g->failure_str);
+
+        wsetlab_begin(g, g->failure_label);
+
+        generate(g, p->left);
+
+        wsetlab_end(g, g->failure_label);
+        g->unreachable = false;
+    }
+
+    if (savevar) {
+        write_restorecursor(g, p, savevar);
+        str_delete(savevar);
+    }
+}
+
+static void generate_next(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    write_check_limit(g, p);
+    write_inc_cursor(g, p);
+}
+
+static void generate_GO_grouping(struct generator * g, struct node * p, int is_goto, int complement) {
+    write_comment(g, p);
+
+    struct grouping * q = p->name->grouping;
+    g->S[0] = p->mode == m_forward ? "" : "_b";
+    g->S[1] = complement ? "in" : "out";
+    g->I[0] = q->smallest_ch;
+    g->I[1] = q->largest_ch;
+    write_failure_if(g, "!go_~S1_grouping~S0(~V, ~I0, ~I1)", p);
+    if (!is_goto) {
+        if (p->mode == m_forward)
+            w(g, "~Mcursor++;~N");
+        else
+            w(g, "~Mcursor--;~N");
+    }
+}
+
+static void generate_GO(struct generator * g, struct node * p, int is_goto) {
+    write_comment(g, p);
+
+    int a0 = g->failure_label;
+    struct str * a1 = str_copy(g->failure_str);
+
+    bool end_unreachable = false;
+
+    int golab = new_label(g);
+    g->I[0] = golab;
+    w(g, "~Mgolab~I0: while(true)~N");
+    w(g, "~{");
+
+    struct str * savevar = NULL;
+    if (is_goto || repeat_restore(p->left)) {
+        savevar = vars_newname(g);
+        write_savecursor(g, p, savevar);
+    }
+
+    int label = new_label(g);
+    g->failure_label = label;
+    str_clear(g->failure_str);
+    wsetlab_begin(g, g->failure_label);
+    generate(g, p->left);
+
+    if (g->unreachable) {
+        /* Cannot break out of this loop: therefore the code after the
+         * end of the loop is unreachable.*/
+        end_unreachable = true;
+        g->unreachable = false;
+    } else {
+        /* include for goto; omit for gopast */
+        if (is_goto) write_restorecursor(g, p, savevar);
+        g->I[0] = golab;
+        w(g, "~Mbreak golab~I0;~N");
+        g->unreachable = true;
+    }
+
+    wsetlab_end(g, g->failure_label);
+    if (savevar) {
+        write_restorecursor(g, p, savevar);
+        str_delete(savevar);
+    }
+
+    g->failure_label = a0;
+    str_delete(g->failure_str);
+    g->failure_str = a1;
+
+    write_check_limit(g, p);
+    write_inc_cursor(g, p);
+    write_block_end(g);
+    g->unreachable = end_unreachable;
+}
+
+static void generate_loop(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    struct str * loopvar = vars_newname(g);
+    g->B[0] = str_data(loopvar);
+    w(g, "~Mfor (int ~B0 = ");
+    generate_AE(g, p->AE);
+    g->B[0] = str_data(loopvar);
+    writef(g, "; ~B0 > 0; ~B0--)~N", p);
+    writef(g, "~{", p);
+
+    generate(g, p->left);
+
+    w(g, "~}");
+    str_delete(loopvar);
+    g->unreachable = false;
+}
+
+static void generate_repeat_or_atleast(struct generator * g, struct node * p, struct str * loopvar) {
+    int replab = new_label(g);
+    w(g, "~Mreplab");
+    write_int(g, replab);
+    writef(g, ": while(true)~N~{", p);
+
+    struct str * savevar = NULL;
+    if (repeat_restore(p->left)) {
+        savevar = vars_newname(g);
+        write_savecursor(g, p, savevar);
+    }
+
+    int label = new_label(g);
+    g->failure_label = label;
+    str_clear(g->failure_str);
+    wsetlab_begin(g, g->failure_label);
+
+    generate(g, p->left);
+
+    if (!g->unreachable) {
+        if (loopvar != NULL) {
+            g->B[0] = str_data(loopvar);
+            w(g, "~M~B0--;~N");
+        }
+
+        w(g, "~Mcontinue replab");
+        write_int(g, replab);
+        w(g, ";~N");
+        g->unreachable = true;
+    }
+
+    wsetlab_end(g, g->failure_label);
+    g->unreachable = false;
+
+    if (savevar) {
+        write_restorecursor(g, p, savevar);
+        str_delete(savevar);
+    }
+
+    w(g, "~Mbreak replab");
+    write_int(g, replab);
+    w(g, ";~N~}");
+}
+
+static void generate_repeat(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    generate_repeat_or_atleast(g, p, NULL);
+}
+
+static void generate_atleast(struct generator * g, struct node * p) {
+    write_comment(g, p);
+
+    w(g, "~{");
+    struct str * loopvar = vars_newname(g);
+    g->B[0] = str_data(loopvar);
+    w(g, "~Mint ~B0 = ");
+    generate_AE(g, p->AE);
+    w(g, ";~N");
+    {
+        int a0 = g->failure_label;
+        struct str * a1 = str_copy(g->failure_str);
+
+        generate_repeat_or_atleast(g, p, loopvar);
+
+        g->failure_label = a0;
+        str_delete(g->failure_str);
+        g->failure_str = a1;
+    }
+    g->B[0] = str_data(loopvar);
+    write_failure_if(g, "~B0 > 0", p);
+    w(g, "~}");
+    str_delete(loopvar);
+}
+
+static void generate_tomark(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? ">" : "<";
+
+    w(g, "~Mif (cursor ~S0 "); generate_AE(g, p->AE); w(g, ")~N");
+    write_block_start(g);
+    write_failure(g);
+    write_block_end(g);
+    g->unreachable = false;
+    w(g, "~Mcursor = "); generate_AE(g, p->AE); writef(g, ";~N", p);
+}
+
+static void generate_hop(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? "+" : "-";
+
+    w(g, "~{~Mint c = cursor ~S0 ");
+    generate_AE(g, p->AE);
+    w(g, ";~N");
+
+    g->S[1] = p->mode == m_forward ? "> limit" : "< limit_backward";
+    g->S[2] = p->mode == m_forward ? "<" : ">";
+    if (p->AE->type == c_number) {
+        // Constant distance hop.
+        //
+        // No need to check for negative hop as that's converted to false by
+        // the analyser.
+        write_failure_if(g, "c ~S1", p);
+    } else {
+        write_failure_if(g, "c ~S1 || c ~S2 cursor", p);
+    }
+    writef(g, "~Mcursor = c;~N", p);
+    writef(g, "~}", p);
+}
+
+static void generate_tolimit(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? "limit" : "limit_backward";
+    writef(g, "~Mcursor = ~S0;~N", p);
+}
+
+static void generate_leftslice(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? "bra" : "ket";
+    writef(g, "~M~S0 = cursor;~N", p);
+}
+
+static void generate_rightslice(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? "ket" : "bra";
+    writef(g, "~M~S0 = cursor;~N", p);
+}
+
+static void generate_assignto(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    writef(g, "~M~V = assign_to();~N", p);
+}
+
+static void generate_sliceto(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    writef(g, "~M~V = slice_to();~N", p);
+}
+
+static void generate_address(struct generator * g, struct node * p) {
+    symbol * b = p->literalstring;
+    if (b != NULL) {
+        write_literal_string(g, b);
+    } else {
+        write_varref(g, p->name);
+    }
+}
+
+static void generate_insert(struct generator * g, struct node * p, int style) {
+    write_comment(g, p);
+    int keep_c = style == c_attach;
+    if (p->mode == m_backward) keep_c = !keep_c;
+    if (keep_c) w(g, "~{~Mint c = cursor;~N");
+    writef(g, "~Minsert(cursor, cursor, ", p);
+    generate_address(g, p);
+    writef(g, ");~N", p);
+    if (keep_c) w(g, "~Mcursor = c;~N~}");
+}
+
+static void generate_stringassign(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    int keep_c = p->mode == m_forward; /* like 'attach' */
+    if (keep_c) {
+        writef(g, "~{~Mint c = cursor;~N", p);
+    }
+    if (p->mode == m_forward) {
+        writef(g, "~Minsert(cursor, limit, ", p);
+    } else {
+        writef(g, "~Minsert(limit_backward, cursor, ", p);
+    }
+    generate_address(g, p);
+    writef(g, ");~N", p);
+    if (keep_c) {
+        w(g, "~Mcursor = c;~N~}");
+    }
+}
+
+static void generate_slicefrom(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    if (p->literalstring && SIZE(p->literalstring) == 0) {
+        w(g, "~Mslice_del();~N");
+        return;
+    }
+    w(g, "~Mslice_from(");
+    generate_address(g, p);
+    w(g, ");~N");
+}
+
+static void generate_setlimit(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    struct str * varname = vars_newname(g);
+
+    if (p->left && p->left->type == c_tomark) {
+        /* Special case for:
+         *
+         *   setlimit tomark AE for C
+         *
+         * All uses of setlimit in the current stemmers we ship follow this
+         * pattern, and by special-casing we can avoid having to save and
+         * restore c.
+         */
+        struct node * q = p->left;
+        write_comment(g, q);
+
+        g->S[0] = q->mode == m_forward ? ">" : "<";
+        w(g, "~Mif (cursor ~S0 "); generate_AE(g, q->AE); w(g, ")~N");
+        write_block_start(g);
+        write_failure(g);
+        write_block_end(g);
+        g->unreachable = false;
+
+        g->B[0] = str_data(varname);
+        if (p->mode == m_forward) {
+            w(g, "~Mint ~B0 = limit;~N");
+            w(g, "~Mlimit = ");
+            generate_AE(g, q->AE);
+            w(g, ";~N");
+            w(g, "~M~B0 -= limit;~N");
+        } else {
+            w(g, "~Mint ~B0 = limit_backward;~N");
+            w(g, "~Mlimit_backward = ");
+            generate_AE(g, q->AE);
+            w(g, ";~N");
+        }
+
+        if (p->mode == m_forward) {
+            str_assign(g->failure_str, "limit += ");
+            str_append(g->failure_str, varname);
+            str_append_ch(g->failure_str, ';');
+        } else {
+            str_assign(g->failure_str, "limit_backward = ");
+            str_append(g->failure_str, varname);
+            str_append_ch(g->failure_str, ';');
+        }
+    } else {
+        struct str * savevar = vars_newname(g);
+        write_savecursor(g, p, savevar);
+
+        generate(g, p->left);
+
+        if (!g->unreachable) {
+            g->B[0] = str_data(varname);
+            if (p->mode == m_forward) {
+                w(g, "~Mint ~B0 = limit - cursor;~N");
+                w(g, "~Mlimit = cursor;~N");
+            } else {
+                w(g, "~Mint ~B0 = limit_backward;~N");
+                w(g, "~Mlimit_backward = cursor;~N");
+            }
+            write_restorecursor(g, p, savevar);
+
+            if (p->mode == m_forward) {
+                str_assign(g->failure_str, "limit += ");
+                str_append(g->failure_str, varname);
+                str_append_ch(g->failure_str, ';');
+            } else {
+                str_assign(g->failure_str, "limit_backward = ");
+                str_append(g->failure_str, varname);
+                str_append_ch(g->failure_str, ';');
+            }
+        }
+        str_delete(savevar);
+    }
+
+    if (!g->unreachable) {
+        generate(g, p->aux);
+
+        if (!g->unreachable) {
+            write_margin(g);
+            write_str(g, g->failure_str);
+            write_newline(g);
+        }
+    }
+    str_delete(varname);
+}
+
+/* dollar sets snowball up to operate on a string variable as if it were the
+ * current string */
+static void generate_dollar(struct generator * g, struct node * p) {
+    write_comment(g, p);
+
+    int a0 = g->failure_label;
+    struct str * a1 = str_copy(g->failure_str);
+    int label = new_label(g);
+    g->failure_label = label;
+    str_clear(g->failure_str);
+
+    struct str * savevar = vars_newname(g);
+    g->B[0] = str_data(savevar);
+    writef(g, "~{~N"
+              "~Mfinal SnowballProgram ~B0 = SnowballProgram.from(this);~N", p);
+    writef(g, "~Mcurrent = ~V;~N"
+              "~Mcursor = 0;~N"
+              "~Mlimit = current.length;~N", p);
+    if (p->left->possible_signals == -1) {
+        /* Assume failure. */
+        w(g, "~Mbool ~B0_f = true;~N");
+    }
+
+    wsetlab_begin(g, g->failure_label);
+
+    generate(g, p->left);
+
+    if (!g->unreachable && p->left->possible_signals == -1) {
+        /* Mark success. */
+        g->B[0] = str_data(savevar);
+        w(g, "~M~B0_f = false;~N");
+    }
+
+    wsetlab_end(g, g->failure_label);
+
+    g->failure_label = a0;
+    str_delete(g->failure_str);
+    g->failure_str = a1;
+
+    g->B[0] = str_data(savevar);
+    writef(g, "~M~V = current;~N"
+              "~Mcopy_from(~B0);~N", p);
+
+    if (p->left->possible_signals == 0) {
+        // p->left always signals f.
+        write_failure(g);
+    } else if (p->left->possible_signals == -1) {
+        write_failure_if(g, "~B0_f", p);
+    }
+    w(g, "~}");
+
+    str_delete(savevar);
+}
+
+static void generate_integer_assign(struct generator * g, struct node * p, const char * s) {
+    write_comment(g, p);
+    g->S[0] = s;
+    writef(g, "~M~V ~S0 ", p);
+    generate_AE(g, p->AE);
+    w(g, ";~N");
+}
+
+static void generate_integer_test(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    int relop = p->type;
+    int optimise_to_return = tailcallable(g, p);
+    if (optimise_to_return) {
+        w(g, "~Mreturn ");
+        p->right = NULL;
+    } else {
+        w(g, "~Mif (");
+        // We want the inverse of the snowball test here.
+        relop ^= 1;
+    }
+    generate_AE(g, p->left);
+    write_relop(g, relop);
+    generate_AE(g, p->AE);
+    if (optimise_to_return) {
+        w(g, ";~N");
+    } else {
+        w(g, ")~N");
+        write_block_start(g);
+        write_failure(g);
+        write_block_end(g);
+        g->unreachable = false;
+    }
+}
+
+static void generate_call(struct generator * g, struct node * p) {
+    int signals = p->name->definition->possible_signals;
+    write_comment(g, p);
+    if (tailcallable(g, p)) {
+        /* Tail call. */
+        writef(g, "~Mreturn ~V();~N", p);
+        p->right = NULL;
+        g->unreachable = true;
+        return;
+    }
+    if (just_return_on_fail(g) && signals == 0) {
+        /* Always fails. */
+        writef(g, "~Mreturn ~V();~N", p);
+        g->unreachable = true;
+        return;
+    }
+    if (signals == 1) {
+        /* Always succeeds. */
+        writef(g, "~M~V();~N", p);
+    } else if (signals == 0) {
+        /* Always fails. */
+        writef(g, "~M~V();~N", p);
+        write_failure(g);
+    } else {
+        write_failure_if(g, "!~V()", p);
+    }
+}
+
+static void generate_grouping(struct generator * g, struct node * p, int complement) {
+    write_comment(g, p);
+
+    struct grouping * q = p->name->grouping;
+    g->S[0] = p->mode == m_forward ? "" : "_b";
+    g->S[1] = complement ? "out" : "in";
+    g->I[0] = q->smallest_ch;
+    g->I[1] = q->largest_ch;
+    if (tailcallable(g, p)) {
+        writef(g, "~Mreturn ~S1_grouping~S0(~V, ~I0, ~I1);~N", p);
+        p->right = NULL;
+    } else {
+        write_failure_if(g, "!(~S1_grouping~S0(~V, ~I0, ~I1))", p);
+    }
+}
+
+static void generate_namedstring(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? "" : "_b";
+    if (tailcallable(g, p)) {
+        writef(g, "~Mreturn eq_s~S0(~V);~N", p);
+        p->right = NULL;
+    } else {
+        write_failure_if(g, "!(eq_s~S0(~V))", p);
+    }
+}
+
+static void generate_literalstring(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->S[0] = p->mode == m_forward ? "" : "_b";
+    if (tailcallable(g, p)) {
+        writef(g, "~Mreturn eq_s~S0(~L);~N", p);
+        p->right = NULL;
+    } else {
+        write_failure_if(g, "!(eq_s~S0(~L))", p);
+    }
+}
+
+static void generate_define(struct generator * g, struct node * p) {
+    struct name * q = p->name;
+
+    write_newline(g);
+    write_comment(g, p);
+
+    if (q->type != t_routine) {
+        if (SIZE(q->s) == 4 && memcmp(q->s, "stem", 4) == 0) {
+            w(g, "~M@override~N");
+        }
+    }
+    writef(g, "~Mbool ~V() {~+~N", p);
+
+    g->next_label = 0;
+    g->var_number = 0;
+
+    if (q->amongvar_needed) {
+        w(g, "~Mint among_var;~N");
+    }
+
+    /* Declare localised variables. */
+    for (struct name * name = g->analyser->names; name; name = name->next) {
+        if (name->local_to == q) {
+            switch (name->type) {
+                case t_string:
+                    w(g, "~MString ");
+                    write_varname(g, name);
+                    w(g, ";~N");
+                    break;
+                case t_integer:
+                    w(g, "~Mint ");
+                    write_varname(g, name);
+                    w(g, ";~N");
+                    break;
+                case t_boolean:
+                    w(g, "~Mbool ");
+                    write_varname(g, name);
+                    w(g, ";~N");
+                    break;
+            }
+        }
+    }
+
+    str_clear(g->failure_str);
+    g->failure_label = x_return;
+    g->unreachable = false;
+
+    /* Generate function body. */
+    generate(g, p->left);
+    if (p->left->right) {
+        assert(p->left->right->type == c_functionend);
+        if (p->left->possible_signals) {
+            generate(g, p->left->right);
+        }
+    }
+    w(g, "~}");
+}
+
+static void generate_functionend(struct generator * g, struct node * p) {
+    (void)p;
+    w(g, "~Mreturn true;~N");
+}
+
+static void generate_substring(struct generator * g, struct node * p) {
+    write_comment(g, p);
+
+    struct among * x = p->among;
+
+    g->S[0] = p->mode == m_forward ? "" : "_b";
+    g->I[0] = x->number;
+
+    if (x->amongvar_needed) {
+        writef(g, "~Mamong_var = find_among~S0(a_~I0, ~F);~N", p);
+        if (!x->always_matches) {
+            write_failure_if(g, "among_var == 0", p);
+        }
+    } else if (x->always_matches) {
+        writef(g, "~Mfind_among~S0(a_~I0, ~F);~N", p);
+    } else if (x->command_count == 0 && tailcallable(g, p)) {
+        writef(g, "~Mreturn find_among~S0(a_~I0, ~F) != 0;~N", p);
+        x->node->right = NULL;
+        g->unreachable = true;
+    } else {
+        write_failure_if(g, "find_among~S0(a_~I0, ~F) == 0", p);
+    }
+}
+
+static void generate_among(struct generator * g, struct node * p) {
+    struct among * x = p->among;
+
+    if (x->substring == NULL) {
+        generate_substring(g, p);
+    } else {
+        write_comment(g, p);
+    }
+
+    if (x->command_count == 1 && x->nocommand_count == 0) {
+        /* Only one outcome ("no match" already handled). */
+        generate(g, x->commands[0]);
+    } else if (x->command_count > 0) {
+        w(g, "~Mswitch (among_var) {~N~+");
+        for (int i = 1; i <= x->command_count; i++) {
+            g->I[0] = i;
+            w(g, "~Mcase ~I0:~N~+");
+            generate(g, x->commands[i - 1]);
+            if (!g->unreachable) w(g, "~Mbreak;~N");
+            w(g, "~-");
+            g->unreachable = false;
+        }
+        write_block_end(g);
+    }
+}
+
+static void generate_booltest(struct generator * g, struct node * p, int inverted) {
+    write_comment(g, p);
+    if (tailcallable(g, p)) {
+        // Optimise at end of function.
+        if (inverted) {
+            writef(g, "~Mreturn !~V;~N", p);
+        } else {
+            writef(g, "~Mreturn ~V;~N", p);
+        }
+        p->right = NULL;
+        g->unreachable = true;
+        return;
+    }
+    if (inverted) {
+        write_failure_if(g, "~V", p);
+    } else {
+        write_failure_if(g, "!~V", p);
+    }
+}
+
+static void generate_false(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    write_failure(g);
+}
+
+static void generate_debug(struct generator * g, struct node * p) {
+    write_comment(g, p);
+    g->I[0] = g->debug_count++;
+    g->I[1] = p->line_number;
+    writef(g, "~Mdebug(~I0, ~I1);~N", p);
+}
+
+static void generate(struct generator * g, struct node * p) {
+    if (g->unreachable) return;
+
+    int a0 = g->failure_label;
+    struct str * a1 = str_copy(g->failure_str);
+
+    switch (p->type) {
+        case c_define:        generate_define(g, p); break;
+        case c_bra:           generate_bra(g, p); break;
+        case c_and:           generate_and(g, p); break;
+        case c_or:            generate_or(g, p); break;
+        case c_backwards:     generate_backwards(g, p); break;
+        case c_not:           generate_not(g, p); break;
+        case c_set:           generate_set(g, p); break;
+        case c_unset:         generate_unset(g, p); break;
+        case c_try:           generate_try(g, p); break;
+        case c_fail:          generate_fail(g, p); break;
+        case c_reverse:
+        case c_test:          generate_test(g, p); break;
+        case c_do:            generate_do(g, p); break;
+        case c_goto:          generate_GO(g, p, 1); break;
+        case c_gopast:        generate_GO(g, p, 0); break;
+        case c_goto_grouping: generate_GO_grouping(g, p, 1, 0); break;
+        case c_gopast_grouping:
+                              generate_GO_grouping(g, p, 0, 0); break;
+        case c_goto_non:      generate_GO_grouping(g, p, 1, 1); break;
+        case c_gopast_non:    generate_GO_grouping(g, p, 0, 1); break;
+        case c_repeat:        generate_repeat(g, p); break;
+        case c_loop:          generate_loop(g, p); break;
+        case c_atleast:       generate_atleast(g, p); break;
+        case c_tomark:        generate_tomark(g, p); break;
+        case c_hop:           generate_hop(g, p); break;
+        case c_next:          generate_next(g, p); break;
+        case c_tolimit:       generate_tolimit(g, p); break;
+        case c_leftslice:     generate_leftslice(g, p); break;
+        case c_rightslice:    generate_rightslice(g, p); break;
+        case c_assignto:      generate_assignto(g, p); break;
+        case c_sliceto:       generate_sliceto(g, p); break;
+        case c_stringassign:  generate_stringassign(g, p); break;
+        case c_insert:
+        case c_attach:        generate_insert(g, p, p->type); break;
+        case c_slicefrom:     generate_slicefrom(g, p); break;
+        case c_setlimit:      generate_setlimit(g, p); break;
+        case c_dollar:        generate_dollar(g, p); break;
+        case c_assign:        generate_integer_assign(g, p, "="); break;
+        case c_plusassign:    generate_integer_assign(g, p, "+="); break;
+        case c_minusassign:   generate_integer_assign(g, p, "-="); break;
+        case c_multiplyassign:generate_integer_assign(g, p, "*="); break;
+        case c_divideassign:  generate_integer_assign(g, p, "~/="); break;
+        case c_eq:
+        case c_ne:
+        case c_gt:
+        case c_ge:
+        case c_lt:
+        case c_le:
+            generate_integer_test(g, p);
+            break;
+        case c_call:          generate_call(g, p); break;
+        case c_grouping:      generate_grouping(g, p, false); break;
+        case c_non:           generate_grouping(g, p, true); break;
+        case c_name:          generate_namedstring(g, p); break;
+        case c_literalstring: generate_literalstring(g, p); break;
+        case c_among:         generate_among(g, p); break;
+        case c_substring:     generate_substring(g, p); break;
+        case c_booltest:      generate_booltest(g, p, false); break;
+        case c_not_booltest:  generate_booltest(g, p, true); break;
+        case c_false:         generate_false(g, p); break;
+        case c_true:          break;
+        case c_debug:         generate_debug(g, p); break;
+        case c_functionend:   generate_functionend(g, p); break;
+        default: fprintf(stderr, "%d encountered\n", p->type);
+                 exit(1);
+    }
+
+    g->failure_label = a0;
+    str_delete(g->failure_str);
+    g->failure_str = a1;
+}
+
+static void generate_class_begin(struct generator * g) {
+    w(g, "// ignore_for_file: non_constant_identifier_names, slash_for_doc_comments, camel_case_types~N~N");
+
+    w(g, "import '../src/snowball.dart';~N~N");
+
+    w(g, "/**~N"
+         " * This class implements the stemming algorithm defined by a snowball script.~N"
+         " *~N"
+         " * ");
+    write_generated_comment_content(g);
+    w(g, "~N */~N"
+            "class ~n extends ");
+    write_string(g, g->options->parent_class_name);
+    w(g, " {~+~N");
+}
+
+static void generate_class_end(struct generator * g) {
+    w(g, "~-~M~N");
+    w(g, "}~N");
+}
+
+static void generate_equals(struct generator * g) {
+    w(g, "~N"
+         "~M@override~N"
+         "~Mbool operator ==(Object other) => other is ");
+    write_s(g, g->options->name);
+    w(g, ";~N~N"
+         "~M@override~N"
+         "~Mint get hashCode => runtimeType.toString().hashCode;~N");
+}
+
+static void generate_among_table(struct generator * g, struct among * x) {
+    write_comment(g, x->node);
+
+    struct amongvec * v = x->b;
+
+    g->I[0] = x->number;
+
+    w(g, "~Mstatic final a_~I0 = [~N~+");
+    for (int i = 0; i < x->literalstring_count; i++) {
+        if (i) w(g, ",~N");
+        g->I[3] = v[i].i;
+        g->I[4] = v[i].result;
+        g->I[5] = v[i].function_index;
+
+        w(g, "~MAmong(");
+        write_literal_string(g, v[i].b);
+        w(g, ", ~I3, ~I4, ~I5)");
+    }
+    w(g, "~N~-~M];~N~N");
+
+    if (x->function_count <= 1) return;
+
+    w(g, "~N~Mbool af_~I0() {~N~+");
+    w(g, "~Mswitch (af) {~N~+");
+    for (int n = 1; n <= x->function_count; n++) {
+        w(g, "~Mcase ");
+        write_int(g, n);
+        w(g, ": return ");
+        for (int i = 0; i < x->literalstring_count; i++) {
+            if (v[i].function_index == n) {
+                write_varref(g, v[i].function);
+                w(g, "();~N");
+                break;
+            }
+        }
+    }
+    w(g, "~-~M}~N");
+    w(g, "~Mreturn false;~N");
+    w(g, "~-~M}~N");
+}
+
+static void generate_amongs(struct generator * g) {
+    for (struct among * x = g->analyser->amongs; x; x = x->next) {
+        generate_among_table(g, x);
+    }
+}
+
+static void set_bit(symbol * b, int i) { b[i >> 3] |= 1 << (i & 7); }
+
+static void generate_grouping_table(struct generator * g, struct grouping * q) {
+    int range = q->largest_ch - q->smallest_ch + 1;
+    int size = (range + 7) / 8;  /* assume 8 bits per symbol */
+    symbol * b = q->b;
+    symbol * map = create_b(size);
+
+    for (int i = 0; i < size; i++) map[i] = 0;
+
+    for (int i = 0; i < SIZE(b); i++) set_bit(map, b[i] - q->smallest_ch);
+
+    w(g, "~Mstatic final ");
+    write_varname(g, q->name);
+    write_string(g, " = String.fromCharCodes([");
+    for (int i = 0; i < size; i++) {
+        if (i) w(g, ", ");
+        write_int(g, map[i]);
+    }
+    w(g, "]);~N~N");
+
+    lose_b(map);
+}
+
+static void generate_groupings(struct generator * g) {
+    for (struct grouping * q = g->analyser->groupings; q; q = q->next) {
+        generate_grouping_table(g, q);
+    }
+}
+
+static void generate_members(struct generator * g) {
+    bool wrote_members = false;
+
+    for (struct name * q = g->analyser->names; q; q = q->next) {
+        if (q->local_to) continue;
+        switch (q->type) {
+            case t_string:
+                w(g, "~MString ");
+                write_varname(g, q);
+                w(g, " = '';~N");
+                wrote_members = true;
+                break;
+            case t_integer:
+                w(g, "~Mint ");
+                write_varname(g, q);
+                w(g, " = 0;~N");
+                wrote_members = true;
+                break;
+            case t_boolean:
+                w(g, "~Mbool ");
+                write_varname(g, q);
+                w(g, " = false;~N");
+                wrote_members = true;
+                break;
+        }
+    }
+    if (wrote_members) w(g, "~N");
+}
+
+static void generate_methods(struct generator * g) {
+    for (struct node * p = g->analyser->program; p; p = p->right) {
+        generate(g, p);
+        g->unreachable = false;
+    }
+}
+
+extern void generate_program_dart(struct generator * g) {
+    g->outbuf = str_new();
+    g->failure_str = str_new();
+
+    write_start_comment(g, "// ", NULL);
+    generate_class_begin(g);
+
+    generate_amongs(g);
+    generate_groupings(g);
+
+    generate_members(g);
+    generate_methods(g);
+    generate_equals(g);
+
+    generate_class_end(g);
+
+    output_str(g->options->output_src, g->outbuf);
+    str_delete(g->failure_str);
+    str_delete(g->outbuf);
+}