npm - @specverse/engines - Versions diffs - 5.0.2 → 5.2.0 - Mend

@specverse/engines 5.0.2 → 5.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (116) hide show

package/assets/examples/09-api/converted.yaml DELETED Viewed

@@ -1,95 +0,0 @@
-components:
-  SpecVerseFundamentals:
-    version: 1.0.0
-    description: "Example 01-01: Basic model definition with attributes"
-    import:
-      - from: "@specverse/primitives"
-        select:
-          - Money
-    export:
-      models:
-        - Product
-    models:
-      Product:
-        description: Simple product with basic attributes
-        attributes:
-          id:
-            name: id
-            type: UUID
-            required: true
-            unique: false
-          name:
-            name: name
-            type: String
-            required: true
-            unique: false
-          summary:
-            name: summary
-            type: String
-            required: false
-            unique: false
-          price:
-            name: price
-            type: Money
-            required: true
-            unique: false
-          inStock:
-            name: inStock
-            type: Boolean
-            required: false
-            unique: false
-            default: "true"
-          category:
-            name: category
-            type: String
-            required: true
-            unique: false
-            values:
-              - electronics
-              - books
-              - clothing
-              - home
-          contactEmail:
-            name: contactEmail
-            type: Email
-            required: false
-            unique: false
-        behaviors:
-          attachProfile:
-            description: Attach a profile to this model instance
-            parameters:
-              profileName:
-                name: profileName
-                type: String
-                required: true
-                unique: false
-            returns: Boolean
-            requires:
-              - Profile exists and is compatible with this model
-            ensures:
-              - Profile is attached
-              - Profile attributes are available
-          detachProfile:
-            description: Detach a profile from this model instance
-            parameters:
-              profileName:
-                name: profileName
-                type: String
-                required: true
-                unique: false
-            returns: Boolean
-            requires:
-              - Profile is currently attached
-            ensures:
-              - Profile is detached
-              - Profile attributes are no longer available
-          hasProfile:
-            description: Check if a profile is attached to this model instance
-            parameters:
-              profileName:
-                name: profileName
-                type: String
-                required: true
-                unique: false
-            returns: Boolean
-deployments: {}

package/assets/examples/09-api/diagram-architecture.mmd DELETED Viewed

@@ -1,10 +0,0 @@
-graph TB
-  subgraph "Client Layer"
-  end
-  subgraph "Controller Layer"
-  end
-  subgraph "Service Layer"
-  end
-  subgraph "Model Layer"
-    Product[(Product)]
-  end

package/assets/examples/09-api/diagram-er.mmd DELETED Viewed

@@ -1,10 +0,0 @@
-erDiagram
-  Product {
-    uuid id "NOT NULL"
-    string name "NOT NULL"
-    string summary
-    string price "NOT NULL"
-    boolean inStock
-    string category "NOT NULL"
-    string contactEmail
-  }

package/assets/examples/09-api/documentation.html DELETED Viewed

@@ -1,104 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
-    <meta charset="UTF-8">
-    <meta name="viewport" content="width=device-width, initial-scale=1.0">
-    <title>SpecVerseFundamentals Documentation</title>
-    <style>
-        body {
-            font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, sans-serif;
-            line-height: 1.6;
-            color: #333;
-            max-width: 900px;
-            margin: 0 auto;
-            padding: 20px;
-        }
-        h1, h2, h3, h4, h5 {
-            color: #2c3e50;
-            margin-top: 1.5em;
-        }
-        h1 { border-bottom: 2px solid #3498db; padding-bottom: 0.3em; }
-        h2 { border-bottom: 1px solid #ecf0f1; padding-bottom: 0.2em; }
-        table {
-            border-collapse: collapse;
-            width: 100%;
-            margin: 1em 0;
-        }
-        th, td {
-            border: 1px solid #ddd;
-            padding: 8px;
-            text-align: left;
-        }
-        th {
-            background-color: #f8f9fa;
-            font-weight: bold;
-        }
-        code {
-            background-color: #f4f4f4;
-            padding: 2px 4px;
-            border-radius: 3px;
-            font-family: 'Consolas', 'Monaco', 'Courier New', monospace;
-        }
-        pre {
-            background-color: #f4f4f4;
-            padding: 1em;
-            border-radius: 5px;
-            overflow-x: auto;
-        }
-        .toc {
-            background-color: #f8f9fa;
-            padding: 1em;
-            border-radius: 5px;
-            margin: 1em 0;
-        }
-        .toc ul {
-            list-style-type: none;
-            padding-left: 1em;
-        }
-        .toc a {
-            text-decoration: none;
-            color: #3498db;
-        }
-        .toc a:hover {
-            text-decoration: underline;
-        }
-        hr {
-            border: none;
-            border-top: 1px solid #ecf0f1;
-            margin: 2em 0;
-        }
-    </style>
-</head>
-<body>
-    <h1>SpecVerseFundamentals</h1><p>Example 01-01: Basic model definition with attributes</p><p><strong>Version:</strong> 1.0.0
-<strong>Generated:</strong> 2025-09-29T17:21:55.606Z</p><h2>Table of Contents</h2><ul><li><a href="#overview">Overview</a></li>
-<li><a href="#models">Models</a></li>
-  - <a href="#product">Product</a></p><h2>Overview</h2><h3>Component Statistics</h3><p><tr><td>Component Type</td><td>Count</td></tr>
-<tr><td>Models</td><td>1</td></tr>
-<tr><td>Controllers</td><td>0</td></tr>
-<tr><td>Services</td><td>0</td></tr>
-<tr><td>Views</td><td>0</td></tr>
-<tr><td>Events</td><td>0</td></tr></p><h3>Imports</h3><p>
-<h3>Exports</h3><p><strong>SpecVerseFundamentals:</strong>
-<li><strong>models:</strong> Product</li></ul><h2>Models</h2><h3>Product</h3><p>Simple product with basic attributes</p><h4>Attributes</h4><p><tr><td>Name</td><td>Type</td><td>Required</td><td>Unique</td><td>Description</td></tr>
-<tr><td>id</td><td>UUID</td><td>✓</td></tr>
-<tr><td>name</td><td>String</td><td>✓</td></tr>
-<tr><td>summary</td><td>String</td></tr>
-<tr><td>price</td><td>Money</td><td>✓</td></tr>
-<tr><td>inStock</td><td>Boolean</td><td>Default: true</td></tr>
-<tr><td>category</td><td>String</td><td>✓</td></tr>
-<tr><td>contactEmail</td><td>Email</td></tr></p><h4>Behaviors</h4><h5>attachProfile</h5><p>Attach a profile to this model instance</p><p><strong>Parameters:</strong>
-<li><code>profileName</code>: String (required)</li></ul><p><strong>Returns:</strong> Boolean</p><p><strong>Preconditions:</strong>
-<li>Profile exists and is compatible with this model</li></ul><p><strong>Postconditions:</strong>
-<li>Profile is attached</li>
-<li>Profile attributes are available</li></ul><h5>detachProfile</h5><p>Detach a profile from this model instance</p><p><strong>Parameters:</strong>
-<li><code>profileName</code>: String (required)</li></ul><p><strong>Returns:</strong> Boolean</p><p><strong>Preconditions:</strong>
-<li>Profile is currently attached</li></ul><p><strong>Postconditions:</strong>
-<li>Profile is detached</li>
-<li>Profile attributes are no longer available</li></ul><h5>hasProfile</h5><p>Check if a profile is attached to this model instance</p><p><strong>Parameters:</strong>
-<li><code>profileName</code>: String (required)</li></ul><p><strong>Returns:</strong> Boolean</p><p>---
-</p>
-</body>
-</html>

package/assets/examples/09-api/documentation.md DELETED Viewed

@@ -1,95 +0,0 @@
-# SpecVerseFundamentals
-Example 01-01: Basic model definition with attributes
-**Version:** 1.0.0
-**Generated:** 2025-09-29T17:21:55.605Z
-## Table of Contents
-- [Overview](#overview)
-- [Models](#models)
-  - [Product](#product)
-## Overview
-### Component Statistics
-| Component Type | Count |
-|----------------|-------|
-| Models | 1 |
-| Controllers | 0 |
-| Services | 0 |
-| Views | 0 |
-| Events | 0 |
-### Imports
-### Exports
-**SpecVerseFundamentals:**
-- **models:** Product
-## Models
-### Product
-Simple product with basic attributes
-#### Attributes
-| Name | Type | Required | Unique | Description |
-|------|------|----------|--------|-------------|
-| id | UUID | ✓ |  |  |
-| name | String | ✓ |  |  |
-| summary | String |  |  |  |
-| price | Money | ✓ |  |  |
-| inStock | Boolean |  |  | Default: true |
-| category | String | ✓ |  |  |
-| contactEmail | Email |  |  |  |
-#### Behaviors
-##### attachProfile
-Attach a profile to this model instance
-**Parameters:**
-- `profileName`: String (required)
-**Returns:** Boolean
-**Preconditions:**
-- Profile exists and is compatible with this model
-**Postconditions:**
-- Profile is attached
-- Profile attributes are available
-##### detachProfile
-Detach a profile from this model instance
-**Parameters:**
-- `profileName`: String (required)
-**Returns:** Boolean
-**Preconditions:**
-- Profile is currently attached
-**Postconditions:**
-- Profile is detached
-- Profile attributes are no longer available
-##### hasProfile
-Check if a profile is attached to this model instance
-**Parameters:**
-- `profileName`: String (required)
-**Returns:** Boolean
----