primitive-stock-flow.ts

import { ThCategoryLinks } from "catlog-wasm";
import { Theory, type TheoryMeta } from "../../theory";
import * as analyses from "../analyses";
import styles from "../styles.module.css";
import svgStyles from "../svg_styles.module.css";

export default function createPrimitiveStockFlowTheory(theoryMeta: TheoryMeta): Theory {
    const thCategoryLinks = new ThCategoryLinks();

    return new Theory({
        ...theoryMeta,
        theory: thCategoryLinks.theory(),
        inclusions: ["primitive-signed-stock-flow"],
        onlyFreeModels: true,
        modelTypes: [
            {
                tag: "ObType",
                obType: { tag: "Basic", content: "Object" },
                name: "Stock",
                description: "Thing with an amount",
                shortcut: ["S"],
                cssClasses: [styles.box],
                svgClasses: [svgStyles.box],
            },
            {
                tag: "MorType",
                morType: {
                    tag: "Hom",
                    content: { tag: "Basic", content: "Object" },
                },
                name: "Flow",
                description: "Flow from one stock to another",
                shortcut: ["F"],
                arrowStyle: "double",
            },
            {
                tag: "MorType",
                morType: { tag: "Basic", content: "Link" },
                name: "Link",
                description: "Influence of a stock on a flow",
                preferUnnamed: true,
                shortcut: ["L"],
            },
        ],
        modelAnalyses: [
            analyses.stockFlowDiagram({
                id: "diagram",
                name: "Visualization",
                description: "Visualize the stock and flow diagram",
                help: "visualization",
            }),
            analyses.massAction({
                id: "mass-action",
                ratesHaveGranularity: false,
                transitionType: {
                    tag: "Hom",
                    content: { tag: "Basic", content: "Object" },
                },
            }),
            analyses.massActionEquations({
                ratesHaveGranularity: false,
                getEquations(model, data) {
                    return thCategoryLinks.massActionEquations(model, data);
                },
            }),
        ],
    });
}