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.
773 lines
26 KiB
JSON
773 lines
26 KiB
JSON
{
|
|
"$schema": "https://metabuilder.dev/schemas/json-script-components.schema.json",
|
|
"schemaVersion": "2.0.0",
|
|
"package": "package_manager",
|
|
"description": "Package management components for browsing, installing, and managing packages",
|
|
"components": [
|
|
{
|
|
"id": "package_manager",
|
|
"name": "PackageManager",
|
|
"description": "Main package management interface with browser and details view",
|
|
"props": [
|
|
{
|
|
"name": "tenantId",
|
|
"type": "string",
|
|
"required": true,
|
|
"description": "Current tenant ID"
|
|
}
|
|
],
|
|
"render": {
|
|
"type": "element",
|
|
"template": {
|
|
"type": "Box",
|
|
"className": "package-manager",
|
|
"children": [
|
|
{
|
|
"type": "Paper",
|
|
"elevation": 1,
|
|
"sx": { "p": 3 },
|
|
"children": [
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"justifyContent": "space-between",
|
|
"alignItems": "center",
|
|
"mb": 3,
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "h5",
|
|
"children": "Package Manager"
|
|
},
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 1,
|
|
"children": [
|
|
{
|
|
"type": "Chip",
|
|
"label": "{{installedCount}} Installed",
|
|
"color": "success",
|
|
"size": "small"
|
|
},
|
|
{
|
|
"type": "Chip",
|
|
"label": "{{availableCount}} Available",
|
|
"color": "primary",
|
|
"size": "small"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 2,
|
|
"mb": 3,
|
|
"children": [
|
|
{
|
|
"type": "TextField",
|
|
"placeholder": "Search packages...",
|
|
"value": "{{searchQuery}}",
|
|
"onChange": "{{handleSearchChange}}",
|
|
"size": "small",
|
|
"sx": { "flexGrow": 1 },
|
|
"InputProps": {
|
|
"startAdornment": {
|
|
"type": "InputAdornment",
|
|
"position": "start",
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "Search"
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"type": "FormControl",
|
|
"size": "small",
|
|
"sx": { "minWidth": 150 },
|
|
"children": [
|
|
{
|
|
"type": "InputLabel",
|
|
"children": "Category"
|
|
},
|
|
{
|
|
"type": "Select",
|
|
"value": "{{selectedCategory}}",
|
|
"onChange": "{{handleCategoryChange}}",
|
|
"label": "Category",
|
|
"children": [
|
|
{
|
|
"type": "MenuItem",
|
|
"value": "all",
|
|
"children": "All Categories"
|
|
},
|
|
{
|
|
"type": "MenuItem",
|
|
"value": "ui",
|
|
"children": "UI Components"
|
|
},
|
|
{
|
|
"type": "MenuItem",
|
|
"value": "tools",
|
|
"children": "Tools"
|
|
},
|
|
{
|
|
"type": "MenuItem",
|
|
"value": "managers",
|
|
"children": "Managers"
|
|
},
|
|
{
|
|
"type": "MenuItem",
|
|
"value": "social",
|
|
"children": "Social"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "ToggleButtonGroup",
|
|
"value": "{{viewMode}}",
|
|
"exclusive": true,
|
|
"onChange": "{{handleViewModeChange}}",
|
|
"size": "small",
|
|
"children": [
|
|
{
|
|
"type": "ToggleButton",
|
|
"value": "grid",
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "GridView"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "ToggleButton",
|
|
"value": "list",
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "ViewList"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Divider",
|
|
"sx": { "mb": 2 }
|
|
},
|
|
{
|
|
"type": "ComponentRef",
|
|
"ref": "package_browser",
|
|
"props": {
|
|
"packages": "{{filteredPackages}}",
|
|
"viewMode": "{{viewMode}}",
|
|
"onPackageSelect": "{{handlePackageSelect}}"
|
|
}
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{selectedPackage}}",
|
|
"then": {
|
|
"type": "ComponentRef",
|
|
"ref": "package_details",
|
|
"props": {
|
|
"package": "{{selectedPackage}}",
|
|
"onClose": "{{handleCloseDetails}}",
|
|
"onInstall": "{{handleInstall}}",
|
|
"onUninstall": "{{handleUninstall}}",
|
|
"onToggle": "{{handleToggle}}"
|
|
}
|
|
}
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"id": "package_browser",
|
|
"name": "PackageBrowser",
|
|
"description": "Grid or list view of available packages",
|
|
"props": [
|
|
{
|
|
"name": "packages",
|
|
"type": "array",
|
|
"required": true,
|
|
"description": "List of packages to display"
|
|
},
|
|
{
|
|
"name": "viewMode",
|
|
"type": "string",
|
|
"required": false,
|
|
"default": "grid",
|
|
"description": "View mode: grid or list"
|
|
},
|
|
{
|
|
"name": "onPackageSelect",
|
|
"type": "function",
|
|
"required": false,
|
|
"description": "Callback when package is selected"
|
|
}
|
|
],
|
|
"render": {
|
|
"type": "element",
|
|
"template": {
|
|
"type": "conditional",
|
|
"condition": "{{viewMode === 'grid'}}",
|
|
"then": {
|
|
"type": "Grid",
|
|
"container": true,
|
|
"spacing": 2,
|
|
"children": [
|
|
{
|
|
"type": "each",
|
|
"items": "{{packages}}",
|
|
"as": "pkg",
|
|
"render": {
|
|
"type": "Grid",
|
|
"item": true,
|
|
"xs": 12,
|
|
"sm": 6,
|
|
"md": 4,
|
|
"lg": 3,
|
|
"children": [
|
|
{
|
|
"type": "ComponentRef",
|
|
"ref": "package_card",
|
|
"props": {
|
|
"package": "{{pkg}}",
|
|
"onClick": "{{onPackageSelect}}"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
}
|
|
]
|
|
},
|
|
"else": {
|
|
"type": "List",
|
|
"children": [
|
|
{
|
|
"type": "each",
|
|
"items": "{{packages}}",
|
|
"as": "pkg",
|
|
"render": {
|
|
"type": "ListItemButton",
|
|
"onClick": "{{() => onPackageSelect(pkg)}}",
|
|
"children": [
|
|
{
|
|
"type": "ListItemIcon",
|
|
"children": [
|
|
{
|
|
"type": "Avatar",
|
|
"src": "{{pkg.icon}}",
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "Extension"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "ListItemText",
|
|
"primary": "{{pkg.name}}",
|
|
"secondary": "{{pkg.description}}"
|
|
},
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 1,
|
|
"children": [
|
|
{
|
|
"type": "Chip",
|
|
"label": "{{pkg.version}}",
|
|
"size": "small",
|
|
"variant": "outlined"
|
|
},
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{pkg.installed}}",
|
|
"then": {
|
|
"type": "Chip",
|
|
"label": "Installed",
|
|
"size": "small",
|
|
"color": "success"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
}
|
|
]
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"id": "package_card",
|
|
"name": "PackageCard",
|
|
"description": "Card display for a single package",
|
|
"props": [
|
|
{
|
|
"name": "package",
|
|
"type": "object",
|
|
"required": true,
|
|
"description": "Package data"
|
|
},
|
|
{
|
|
"name": "onClick",
|
|
"type": "function",
|
|
"required": false,
|
|
"description": "Click handler"
|
|
}
|
|
],
|
|
"render": {
|
|
"type": "element",
|
|
"template": {
|
|
"type": "Card",
|
|
"variant": "outlined",
|
|
"sx": { "height": "100%", "cursor": "pointer" },
|
|
"onClick": "{{() => onClick(package)}}",
|
|
"children": [
|
|
{
|
|
"type": "CardContent",
|
|
"children": [
|
|
{
|
|
"type": "Stack",
|
|
"spacing": 1,
|
|
"children": [
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 2,
|
|
"alignItems": "center",
|
|
"children": [
|
|
{
|
|
"type": "Avatar",
|
|
"src": "{{package.icon}}",
|
|
"variant": "rounded",
|
|
"sx": { "width": 48, "height": 48 },
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "Extension"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Box",
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle1",
|
|
"fontWeight": "bold",
|
|
"children": "{{package.name}}"
|
|
},
|
|
{
|
|
"type": "Typography",
|
|
"variant": "caption",
|
|
"color": "textSecondary",
|
|
"children": "v{{package.version}}"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Typography",
|
|
"variant": "body2",
|
|
"color": "textSecondary",
|
|
"sx": { "minHeight": 40 },
|
|
"children": "{{package.description}}"
|
|
},
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 0.5,
|
|
"flexWrap": "wrap",
|
|
"children": [
|
|
{
|
|
"type": "Chip",
|
|
"label": "{{package.category}}",
|
|
"size": "small",
|
|
"variant": "outlined"
|
|
},
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{package.installed}}",
|
|
"then": {
|
|
"type": "Chip",
|
|
"label": "Installed",
|
|
"size": "small",
|
|
"color": "success"
|
|
}
|
|
},
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{package.enabled === false}}",
|
|
"then": {
|
|
"type": "Chip",
|
|
"label": "Disabled",
|
|
"size": "small",
|
|
"color": "warning"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"id": "package_details",
|
|
"name": "PackageDetails",
|
|
"description": "Detailed view of a package with install/uninstall actions",
|
|
"props": [
|
|
{
|
|
"name": "package",
|
|
"type": "object",
|
|
"required": true,
|
|
"description": "Package data"
|
|
},
|
|
{
|
|
"name": "onClose",
|
|
"type": "function",
|
|
"required": false
|
|
},
|
|
{
|
|
"name": "onInstall",
|
|
"type": "function",
|
|
"required": false
|
|
},
|
|
{
|
|
"name": "onUninstall",
|
|
"type": "function",
|
|
"required": false
|
|
},
|
|
{
|
|
"name": "onToggle",
|
|
"type": "function",
|
|
"required": false
|
|
}
|
|
],
|
|
"render": {
|
|
"type": "element",
|
|
"template": {
|
|
"type": "Dialog",
|
|
"open": true,
|
|
"onClose": "{{onClose}}",
|
|
"maxWidth": "md",
|
|
"fullWidth": true,
|
|
"children": [
|
|
{
|
|
"type": "DialogTitle",
|
|
"children": [
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"justifyContent": "space-between",
|
|
"alignItems": "center",
|
|
"children": [
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 2,
|
|
"alignItems": "center",
|
|
"children": [
|
|
{
|
|
"type": "Avatar",
|
|
"src": "{{package.icon}}",
|
|
"variant": "rounded",
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "Extension"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Box",
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "h6",
|
|
"children": "{{package.name}}"
|
|
},
|
|
{
|
|
"type": "Typography",
|
|
"variant": "caption",
|
|
"color": "textSecondary",
|
|
"children": "v{{package.version}} by {{package.author}}"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "IconButton",
|
|
"onClick": "{{onClose}}",
|
|
"children": [
|
|
{
|
|
"type": "Icon",
|
|
"name": "Close"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "DialogContent",
|
|
"dividers": true,
|
|
"children": [
|
|
{
|
|
"type": "Stack",
|
|
"spacing": 3,
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "body1",
|
|
"children": "{{package.description}}"
|
|
},
|
|
{
|
|
"type": "Divider"
|
|
},
|
|
{
|
|
"type": "Grid",
|
|
"container": true,
|
|
"spacing": 2,
|
|
"children": [
|
|
{
|
|
"type": "Grid",
|
|
"item": true,
|
|
"xs": 6,
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle2",
|
|
"color": "textSecondary",
|
|
"children": "Category"
|
|
},
|
|
{
|
|
"type": "Typography",
|
|
"children": "{{package.category}}"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Grid",
|
|
"item": true,
|
|
"xs": 6,
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle2",
|
|
"color": "textSecondary",
|
|
"children": "License"
|
|
},
|
|
{
|
|
"type": "Typography",
|
|
"children": "{{package.license}}"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Grid",
|
|
"item": true,
|
|
"xs": 6,
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle2",
|
|
"color": "textSecondary",
|
|
"children": "Min Level"
|
|
},
|
|
{
|
|
"type": "Typography",
|
|
"children": "Level {{package.minLevel}}"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "Grid",
|
|
"item": true,
|
|
"xs": 6,
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle2",
|
|
"color": "textSecondary",
|
|
"children": "Status"
|
|
},
|
|
{
|
|
"type": "Chip",
|
|
"label": "{{package.installed ? (package.enabled ? 'Enabled' : 'Disabled') : 'Not Installed'}}",
|
|
"color": "{{package.installed ? (package.enabled ? 'success' : 'warning') : 'default'}}",
|
|
"size": "small"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{package.dependencies && Object.keys(package.dependencies).length > 0}}",
|
|
"then": {
|
|
"type": "Box",
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle2",
|
|
"color": "textSecondary",
|
|
"mb": 1,
|
|
"children": "Dependencies"
|
|
},
|
|
{
|
|
"type": "ComponentRef",
|
|
"ref": "dependency_viewer",
|
|
"props": {
|
|
"dependencies": "{{package.dependencies}}"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{package.exports}}",
|
|
"then": {
|
|
"type": "Box",
|
|
"children": [
|
|
{
|
|
"type": "Typography",
|
|
"variant": "subtitle2",
|
|
"color": "textSecondary",
|
|
"mb": 1,
|
|
"children": "Exports"
|
|
},
|
|
{
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 0.5,
|
|
"flexWrap": "wrap",
|
|
"children": [
|
|
{
|
|
"type": "each",
|
|
"items": "{{package.exports.components || []}}",
|
|
"as": "comp",
|
|
"render": {
|
|
"type": "Chip",
|
|
"label": "{{comp}}",
|
|
"size": "small",
|
|
"variant": "outlined"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"type": "DialogActions",
|
|
"children": [
|
|
{
|
|
"type": "conditional",
|
|
"condition": "{{package.installed}}",
|
|
"then": {
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 1,
|
|
"children": [
|
|
{
|
|
"type": "Button",
|
|
"variant": "outlined",
|
|
"onClick": "{{() => onToggle(package)}}",
|
|
"children": "{{package.enabled ? 'Disable' : 'Enable'}}"
|
|
},
|
|
{
|
|
"type": "Button",
|
|
"variant": "outlined",
|
|
"color": "error",
|
|
"onClick": "{{() => onUninstall(package)}}",
|
|
"children": "Uninstall"
|
|
}
|
|
]
|
|
},
|
|
"else": {
|
|
"type": "Button",
|
|
"variant": "contained",
|
|
"color": "primary",
|
|
"onClick": "{{() => onInstall(package)}}",
|
|
"children": "Install"
|
|
}
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"id": "dependency_viewer",
|
|
"name": "DependencyViewer",
|
|
"description": "Visual representation of package dependencies",
|
|
"props": [
|
|
{
|
|
"name": "dependencies",
|
|
"type": "object",
|
|
"required": true,
|
|
"description": "Dependencies object from package"
|
|
}
|
|
],
|
|
"render": {
|
|
"type": "element",
|
|
"template": {
|
|
"type": "Stack",
|
|
"direction": "row",
|
|
"spacing": 0.5,
|
|
"flexWrap": "wrap",
|
|
"children": [
|
|
{
|
|
"type": "each",
|
|
"items": "{{Object.entries(dependencies)}}",
|
|
"as": "dep",
|
|
"render": {
|
|
"type": "Chip",
|
|
"label": "{{dep[0]}} {{dep[1]}}",
|
|
"size": "small",
|
|
"icon": {
|
|
"type": "Icon",
|
|
"name": "Link"
|
|
}
|
|
}
|
|
}
|
|
]
|
|
}
|
|
}
|
|
}
|
|
]
|
|
}
|