Defining the socket construct.

§1. This is a pseudo-construct: it looks like an instruction in textual Inter syntax, but specifies something else, and does not result in an inter_tree_node.

void SocketInstruction::define_construct(void) {
    inter_construct *IC = InterInstruction::create_construct(SOCKET_IST, I"socket");
    InterInstruction::specify_syntax(IC, I"socket IDENTIFIER TOKENS");
    METHOD_ADD(IC, CONSTRUCT_READ_MTID, SocketInstruction::read);
    METHOD_ADD(IC, CONSTRUCT_VERIFY_MTID, SocketInstruction::verify);
    InterInstruction::allow_in_depth_range(IC, 0, 1);
    InterInstruction::permit(IC, INSIDE_PLAIN_PACKAGE_ICUP);
}

void SocketInstruction::verify(inter_construct *IC, inter_tree_node *P,
    inter_package *owner, inter_error_message **E) {
    *E = Inode::error(P, I"SOCKET_IST structures cannot exist", NULL);
}

§2. What it does is to specify a symbol which is a socket in the current tree: this results in an entry in the symbols table for the current package (which will always be /main/connectors, in fact) but not an instruction.

For how these are printed back, see PlugInstruction::write_declaration, which handles both plugs and sockets.

void SocketInstruction::read(inter_construct *IC, inter_bookmark *IBM, inter_line_parse *ilp,
    inter_error_location *eloc, inter_error_message **E) {
    text_stream *symbol_text = ilp->mr.exp[0];
    text_stream *equate_text = ilp->mr.exp[1];

    inter_tree *I = InterBookmark::tree(IBM);
    inter_symbols_table *T = InterBookmark::scope(IBM);
    inter_symbol *socket_s = TextualInter::new_symbol(eloc, T, symbol_text, E);
    if (*E) return;

    text_stream *equate_name = NULL;
    match_results mr = Regexp::create_mr();
    if (Regexp::match(&mr, equate_text, U"~~> \"(%C+)\"")) {
        *E = InterErrors::plain(I"a socket cannot wire to a name", eloc);
        return;
    } else if (Regexp::match(&mr, equate_text, U"~~> (%C+)")) {
        equate_name = mr.exp[0];
    } else {
        Regexp::dispose_of(&mr);
        *E = InterErrors::plain(I"bad socket syntax", eloc); return;
    }

    inter_symbol *eq = InterSymbolsTable::URL_to_symbol(I, equate_name);
    if (eq == NULL) {
        InterSymbol::make_socket(socket_s);
        Wiring::wire_to_name(socket_s, equate_name);
    } else {
        Wiring::make_socket_to(socket_s, eq);
    }
    Regexp::dispose_of(&mr);
}