mirror of
https://github.com/johndoe6345789/metabuilder.git
synced 2026-04-25 06:14:59 +00:00
johndoe6345789
3ec49cfe8c
- Added `package_system.tla` to model the schema-driven package system, including multi-source loading, validation, dependency resolution, and permission filtering. - Created `package_system.cfg` for TLC model checker configuration, defining constants and invariants for bounded model checking. - Updated `metabuilder.tla` to reflect the core specification of MetaBuilder, emphasizing the package lifecycle and related specifications.
130 lines
3.6 KiB
JSON
130 lines
3.6 KiB
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/json-script.schema.json",
|
|
"schemaVersion": "2.2.0",
|
|
"package": "component_editor",
|
|
"description": "Component hierarchy management functions",
|
|
"functions": [
|
|
{
|
|
"id": "component_tree_build",
|
|
"name": "buildComponentTree",
|
|
"exported": true,
|
|
"description": "Build a component tree from stored configuration",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_tree_save",
|
|
"name": "saveComponentTree",
|
|
"exported": true,
|
|
"description": "Save a component tree configuration",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_add",
|
|
"name": "addComponent",
|
|
"exported": true,
|
|
"description": "Add a component to the tree at specified position",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_remove",
|
|
"name": "removeComponent",
|
|
"exported": true,
|
|
"description": "Remove a component from the tree",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_move",
|
|
"name": "moveComponent",
|
|
"exported": true,
|
|
"description": "Move a component to a new position in the tree",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_reorder",
|
|
"name": "reorderComponents",
|
|
"exported": true,
|
|
"description": "Reorder children of a parent component",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_update_props",
|
|
"name": "updateComponentProps",
|
|
"exported": true,
|
|
"description": "Update props for a specific component",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_validate_tree",
|
|
"name": "validateTree",
|
|
"exported": true,
|
|
"description": "Validate a component tree structure",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_get_catalog",
|
|
"name": "getComponentCatalog",
|
|
"exported": true,
|
|
"description": "Get the catalog of available components",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_find_by_id",
|
|
"name": "findComponentById",
|
|
"exported": true,
|
|
"description": "Find a component in the tree by ID",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_clone",
|
|
"name": "cloneComponent",
|
|
"exported": true,
|
|
"description": "Clone a component with its children",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_export",
|
|
"name": "exportComponentTree",
|
|
"exported": true,
|
|
"description": "Export component tree as JSON",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
},
|
|
{
|
|
"id": "component_import",
|
|
"name": "importComponentTree",
|
|
"exported": true,
|
|
"description": "Import component tree from JSON",
|
|
"category": "components",
|
|
"luaScript": "components.lua"
|
|
}
|
|
],
|
|
"exports": {
|
|
"functions": [
|
|
"buildComponentTree",
|
|
"saveComponentTree",
|
|
"addComponent",
|
|
"removeComponent",
|
|
"moveComponent",
|
|
"reorderComponents",
|
|
"updateComponentProps",
|
|
"validateTree",
|
|
"getComponentCatalog",
|
|
"findComponentById",
|
|
"cloneComponent",
|
|
"exportComponentTree",
|
|
"importComponentTree"
|
|
]
|
|
}
|
|
}
|