Allowing Neptune files to generate additional source text.

§1. Each "recorded" invention, a.k.a., "star template", generates one of the following:

typedef struct kind_template_definition {
    struct text_stream *template_name;  including the asterisk, e.g., "*PRINTING-ROUTINE"
    struct text_stream *template_text;
    CLASS_DEFINITION
} kind_template_definition;

kind_template_definition *StarTemplates::new?Usage of StarTemplates::new:
§2(text_stream *name) {
    kind_template_definition *ttd = CREATE(kind_template_definition);
    ttd->template_name = Str::duplicate(name);
    return ttd;
}

kind_template_definition *StarTemplates::parse_name?Usage of StarTemplates::parse_name:
§2
Neptune Syntax - §5.5.9(text_stream *name) {
    kind_template_definition *ttd;
    LOOP_OVER(ttd, kind_template_definition)
        if (Str::eq(name, ttd->template_name))
            return ttd;
    return NULL;
}

• The structure kind_template_definition is private to this section.

§2. Here is the code which records templates, reading them as one line of plain text at a time. (In the above example, StarTemplates::record_line would be called just once, with the single source text line.)

kind_template_definition *current_kind_template = NULL;  the one now being recorded

int StarTemplates::recording?Usage of StarTemplates::recording:
Neptune Syntax - §5(void) {
    if (current_kind_template) return TRUE;
    return FALSE;
}

void StarTemplates::begin?Usage of StarTemplates::begin:
Neptune Syntax - §5(text_stream *name, text_file_position *tfp) {
    if (current_kind_template) NeptuneFiles::error(name, I"first stt still recording", tfp);
    if (StarTemplates::parse_name(name))
        NeptuneFiles::error(name, I"duplicate definition of source text template", tfp);
    current_kind_template = StarTemplates::new(name);
    current_kind_template->template_text = StarTemplates::open_spool();
}

void StarTemplates::record_line?Usage of StarTemplates::record_line:
Neptune Syntax - §5(text_stream *line, text_file_position *tfp) {
    StarTemplates::record_to_spool(line, tfp);
}

void StarTemplates::end?Usage of StarTemplates::end:
Neptune Syntax - §5(text_stream *command, text_file_position *tfp) {
    if (current_kind_template == NULL)
        NeptuneFiles::error(command, I"no stt currently recording", tfp);
    else
        StarTemplates::close_spool();
    current_kind_template = NULL;
}

§3. So much for recording a template. To "play back", we need to take its text and squeeze it into the main source text. This happens in two stages: first, we simply record the user's intention:

typedef struct star_invention {
    struct kind_template_definition *template;
    struct kind_constructor *apropos;
    struct text_file_position *origin;
    CLASS_DEFINITION
} star_invention;

void StarTemplates::note?Usage of StarTemplates::note:
Kind Commands - §1.1(kind_template_definition *ttd, kind_constructor *con,
    text_file_position *tfp) {
    star_invention *I = CREATE(star_invention);
    I->template = ttd;
    I->apropos = con;
    I->origin = tfp;
}

• The structure star_invention is accessed in 4/ns, 4/kc and here.

§4. Later on, we act on these intentions. Note that a template applied to a protocol is applied to all of the base kinds conforming to that protocol. (Inform's standard installation uses this to construct variables of the "K understood" variety for each understandable kind K.)

void StarTemplates::transcribe_all(parse_node_tree *T) {
    star_invention *I;
    LOOP_OVER(I, star_invention) {
        if (I->apropos->group == PROTOCOL_GRP) {
            kind *K;
            LOOP_OVER_BASE_KINDS(K)
                if ((Kinds::Behaviour::definite(K)) &&
                    (Kinds::eq(K, K_nil) == FALSE) &&
                    (Kinds::eq(K, K_void) == FALSE) &&
                    (Kinds::conforms_to(K, Kinds::base_construction(I->apropos))))
                    StarTemplates::transcribe(T, I->template, K->construct, I->origin);
        } else {
            StarTemplates::transcribe(T, I->template, I->apropos, I->origin);
        }
    }
}

§5. So this applies a single template to a definitely known kind constructor.

void StarTemplates::transcribe?Usage of StarTemplates::transcribe:
§4(parse_node_tree *T,
    kind_template_definition *ttd, kind_constructor *con, text_file_position *tfp) {
    if (ttd == NULL) {
        NeptuneFiles::error(NULL, I"tried to transcribe missing source text template", tfp);
        return;
    }
    #ifdef CORE_MODULE
    if ((FEATURE_INACTIVE(parsing)) &&
        (Str::eq(ttd->template_name, I"*UNDERSTOOD-VARIABLE")))
        return;
    #endif
    text_stream *p = ttd->template_text;
    int i = 0;
    while (Str::get_at(p, i)) {
        if ((Str::get_at(p, i) == '\n') || (Str::get_at(p, i) == ' ')) { i++; continue; }
        TEMPORARY_TEXT(template_line_buffer)
        int terminator = 0;
        Transcribe one line of the template into the line buffer5.1;
        if (Str::len(template_line_buffer) > 0) {
            wording XW = Feeds::feed_text(template_line_buffer);
            if (terminator != 0) Sentences::make_node(T, XW, terminator);
        }
        DISCARD_TEXT(template_line_buffer)
    }
}

§5.1. Inside template text, anything in angle brackets <...> is a wildcard. These cannot be nested and cannot include newlines. All other material is copied verbatim into the line buffer.

The only sentence terminators we recognise are full stop and colon; in particular we wouldn't recognise a stop inside quoted matter. This does not matter, since such things never come into kind definitions.

Transcribe one line of the template into the line buffer5.1 =

    while ((Str::get_at(p, i) != 0) && (Str::get_at(p, i) != '\n')) {
        if (Str::get_at(p, i) == '<') {
            TEMPORARY_TEXT(template_wildcard_buffer)
            i++;
            while ((Str::get_at(p, i) != 0) && (Str::get_at(p, i) != '\n') &&
                (Str::get_at(p, i) != '>'))
                PUT_TO(template_wildcard_buffer, Str::get_at(p, i++));
            i++;
            Transcribe the template wildcard5.1.1;
            DISCARD_TEXT(template_wildcard_buffer)
        } else PUT_TO(template_line_buffer, Str::get_at(p, i++));
    }
    if (Str::get_last_char(template_line_buffer) == '.') {
        Str::delete_last_character(template_line_buffer); terminator = '.';
    }
    if (Str::get_last_char(template_line_buffer) == ':') {
        Str::delete_last_character(template_line_buffer); terminator = ':';
    }

• This code is used in §5.

§5.1.1. Only five wildcards are recognised:

Transcribe the template wildcard5.1.1 =

    if (Str::eq_wide_string(template_wildcard_buffer, U"kind"))
        Transcribe the kind's name5.1.1.1
    else if (Str::eq_wide_string(template_wildcard_buffer, U"lower-case-kind"))
        Transcribe the kind's name in lower case5.1.1.2
    else if (Str::eq_wide_string(template_wildcard_buffer, U"say-function"))
        Transcribe the kind's I6 printing routine5.1.1.3
    else if (Str::eq_wide_string(template_wildcard_buffer, U"compare-function"))
        Transcribe the kind's I6 comparison routine5.1.1.4
    else
        NeptuneFiles::error(template_wildcard_buffer,
            I"no such source text template wildcard", tfp);

• This code is used in §5.1.

§5.1.1.1. Transcribe the kind's name5.1.1.1 =

    StarTemplates::transcribe_constructor_name(template_line_buffer, con, FALSE);

• This code is used in §5.1.1.

§5.1.1.2. Transcribe the kind's name in lower case5.1.1.2 =

    StarTemplates::transcribe_constructor_name(template_line_buffer, con, TRUE);

• This code is used in §5.1.1.

§5.1.1.3. Transcribe the kind's I6 printing routine5.1.1.3 =

    WRITE_TO(template_line_buffer, "%S", con->print_identifier);

• This code is used in §5.1.1.

§5.1.1.4. Transcribe the kind's I6 comparison routine5.1.1.4 =

    WRITE_TO(template_line_buffer, "%S", con->comparison_routine);

• This code is used in §5.1.1.

§6. Where:

void StarTemplates::transcribe_constructor_name?Usage of StarTemplates::transcribe_constructor_name:
§5.1.1.1, §5.1.1.2(OUTPUT_STREAM, kind_constructor *con,
    int lower_case) {
    wording W = EMPTY_WORDING;
    if (con->dt_tag) W = KindConstructors::get_name(con, FALSE);
    if (Wordings::nonempty(W)) {
        if (KindConstructors::arity(con) > 0) {
            int full_length = Wordings::length(W);
            int i, w1 = Wordings::first_wn(W);
            for (i=0; i<full_length; i++) {
                if (i > 0) PUT(' ');
                vocabulary_entry *ve = Lexer::word(w1+i);
                if (ve == STROKE_V) break;
                if ((ve == CAPITAL_K_V) || (ve == CAPITAL_L_V)) WRITE("value");
                else WRITE("%V", ve);
            }
        } else {
            if (lower_case) WRITE("%+W", W);
            else WRITE("%W", W);
        }
    }
}

§7. Large chunks of the text in the template will need to exist permanently in memory, and we go into recording mode to accept a series of them, concatenated with newlines dividing them, in a text stream.

text_stream *kind_recording = NULL;

§8. And here is recording mode:

text_stream *StarTemplates::open_spool?Usage of StarTemplates::open_spool:
§2(void) {
    kind_recording = Str::new();
    return kind_recording;
}

void StarTemplates::record_to_spool?Usage of StarTemplates::record_to_spool:
§2(text_stream *line, text_file_position *tfp) {
    if (kind_recording == NULL)
        NeptuneFiles::error(line, I"can't record outside recording", tfp);
    else
        WRITE_TO(kind_recording, "%S\n", line);
}

void StarTemplates::close_spool?Usage of StarTemplates::close_spool:
§2(void) {
    kind_recording = NULL;
}