state-diagrams.js

"use strict";
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    var desc = Object.getOwnPropertyDescriptor(m, k);
    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
      desc = { enumerable: true, get: function() { return m[k]; } };
    }
    Object.defineProperty(o, k2, desc);
}) : (function(o, m, k, k2) {
    if (k2 === undefined) k2 = k;
    o[k2] = m[k];
}));
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
    Object.defineProperty(o, "default", { enumerable: true, value: v });
}) : function(o, v) {
    o["default"] = v;
});
var __importStar = (this && this.__importStar) || function (mod) {
    if (mod && mod.__esModule) return mod;
    var result = {};
    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
    __setModuleDefault(result, mod);
    return result;
};
Object.defineProperty(exports, "__esModule", { value: true });
const fs = __importStar(require("fs"));
const state_diagram_renderer_1 = require("state-diagram-renderer");
const css = fs.readFileSync("assets/embed.css", { encoding: "utf-8" });
const css_with_stack = fs.readFileSync("assets/embed-with-stack.css", { encoding: "utf-8" });
const png_content = fs.readFileSync("assets/asterisquirrel45.png", { encoding: 'base64' });
async function writeGraph(o, g) {
    await fs.promises.writeFile(o.filepath, (0, state_diagram_renderer_1.genGraphSVG)(g.stack ? css_with_stack : css, o, g, png_content));
}
const final_image_list = [];
function writeGraph2(p, o, g) {
    final_image_list.push(`./${p.ファイル名}`);
    writeGraph({
        ...o,
        filepath: `./${p.ファイル名}`
    }, g);
}
/********************
 * ZICSAM02_G005.md *
 ********************/
const FOO = {
    vertices: [
        { id: "q1", center: { x: 0, y: 0 } },
        { id: "q2", center: { x: 1, y: 0 } },
        { id: "q3", center: { x: 2, y: 0 }, is_final: true },
        { id: "q4", center: { x: 1, y: 1 } },
    ], initial_vertex: "q1", self_loops: [
        { label: "コ", from_eq_to: "q1", config: { self_loop_rotation: 90 } },
        { label: "ニ,コ", from_eq_to: "q4", config: { self_loop_rotation: 90 } },
        { label: "ニ,コ", from_eq_to: "q3", config: { self_loop_rotation: 90 } },
    ], straight_edges: [
        { label: "ニ", from: "q1", to: "q2" },
        { label: "コ", from: "q2", to: "q3" },
        { label: "ニ", from: "q2", to: "q4" },
    ]
};
writeGraph2({ 回: 2, セクション: 5, ファイル名: "FOO$$-1.svg" }, {
    width: 418.5,
    height: 209.43
}, FOO);
function foo(s) {
    playback_automaton_and_write_sequential({
        回: 2, セクション: 5, file_prefix: `FOO_${s}$$`,
    }, {
        width: 418.5,
        height: 209.43
    }, FOO, s);
}
const BAR = {
    vertices: [
        { id: "q1", center: { x: 0, y: Math.sqrt(3) / 2 } },
        { id: "q2", center: { x: 0.5, y: 0 } },
        { id: "q3", center: { x: 1.5, y: 0 }, is_final: true },
        { id: "q4", center: { x: 0.5, y: Math.sqrt(3) } },
        { id: "q5", center: { x: 1.5, y: Math.sqrt(3) }, is_final: true },
    ], initial_vertex: "q1", self_loops: [
        { label: "ニ,コ", from_eq_to: "q3", config: { self_loop_rotation: 90 } },
    ], straight_edges: [
        { label: "ニ", from: "q1", to: "q2" },
        { label: "ニ", from: "q1", to: "q4" },
        { label: "ニ", from: "q2", to: "q3" },
        { label: "コ", from: "q4", to: "q5" },
    ]
};
writeGraph2({ 回: 2, セクション: 5, ファイル名: "BAR$$-1.svg" }, {
    width: 418.5,
    height: 300
}, BAR);
function playback_automaton_and_write_sequential(p, o, g, input) {
    const piece_locations = (0, state_diagram_renderer_1.all_steps)(g, input);
    for (let i = 0; i <= input.length; i++) {
        writeGraph2({ 回: p.回, セクション: p.セクション, ファイル名: `${p.file_prefix}${i}.svg` }, o, {
            ...g,
            pieces: piece_locations[i],
            string_tape: {
                read: input.slice(0, i),
                unread: input.slice(i)
            }
        });
    }
}
function bar(s) {
    playback_automaton_and_write_sequential({ 回: 2, セクション: 5, file_prefix: `BAR_${s}$$`, }, { width: 418.5, height: 300 }, BAR, s);
}
foo("コ");
foo("ニコ");
foo("ニニ");
foo("ニココ");
bar("コ");
bar("ニコ");
bar("ニニ");
bar("ニココ");
fs.promises.writeFile("all_state_diagrams.html", `<!DOCTYPE html><style>img { border: 1px solid pink; } </style><body>${final_image_list.map(path => `<p>${path}</p><img src="${path.replace('#', '%23')}" /><hr>`).join("\n")}</body>`);