norn-cli 2.3.0 → 2.4.0

package/out/contractAssertionSummary.js

@@ -0,0 +1,225 @@
+"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 () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildContractAssertionDisplay = buildContractAssertionDisplay;
+exports.buildContractValidationList = buildContractValidationList;
+const path = __importStar(require("path"));
+function buildContractAssertionDisplay(assertion, maxIssues = 3, maxValidatedItems = 24) {
+    if (assertion.operator !== 'matchesSchema') {
+        return undefined;
+    }
+    const issueCount = assertion.schemaSummary?.issueCount ?? assertion.schemaErrors?.length ?? (assertion.error ? 1 : 0);
+    const schemaPath = assertion.schemaPath || (typeof assertion.rightValue === 'string' ? assertion.rightValue : undefined);
+    const schemaName = schemaPath ? path.basename(schemaPath) : undefined;
+    const issueTexts = (assertion.schemaErrors || [])
+        .slice(0, maxIssues)
+        .map(formatSchemaIssue);
+    const validationList = buildContractValidationList(assertion.schema, assertion.schemaErrors || [], maxValidatedItems);
+    const failedValidationCount = validationList.failedCount || (!assertion.passed && issueCount > 0 ? 1 : 0);
+    const totalValidations = validationList.totalCount + failedValidationCount;
+    const passedValidations = assertion.passed ? totalValidations : validationList.totalCount;
+    let summaryText;
+    if (totalValidations > 0) {
+        summaryText = `${passedValidations}/${totalValidations} validations passed`;
+    }
+    else {
+        summaryText = assertion.passed ? 'contract passed' : 'contract validation failed';
+    }
+    if (issueCount > 0) {
+        summaryText += `, ${issueCount} issue${issueCount === 1 ? '' : 's'}`;
+    }
+    const titleText = schemaName
+        ? `${schemaName}: ${summaryText}`
+        : `Contract: ${summaryText}`;
+    const validationText = totalValidations > 0
+        ? `${passedValidations}/${totalValidations} validations`
+        : (assertion.passed ? 'validated' : `${issueCount} issue${issueCount === 1 ? '' : 's'}`);
+    const severity = getContractDisplaySeverity(assertion);
+    return {
+        titleText,
+        summaryText,
+        validationText,
+        severity,
+        schemaPath,
+        schemaName,
+        issueTexts,
+        remainingIssueCount: Math.max(issueCount - issueTexts.length, 0),
+        validatedItems: validationList.items,
+        remainingValidatedCount: validationList.remainingCount,
+        totalValidatedCount: validationList.totalCount
+    };
+}
+function buildContractValidationList(schema, errors = [], maxItems = 24) {
+    const failedPaths = new Set(errors.map(getComparableErrorPath));
+    const allItems = collectContractValidationItems(schema)
+        .filter(item => !isFailedValidationPath(item.comparablePath, failedPaths));
+    const items = allItems.slice(0, maxItems).map(({ comparablePath: _comparablePath, ...item }) => item);
+    return {
+        items,
+        totalCount: allItems.length,
+        remainingCount: Math.max(allItems.length - items.length, 0),
+        failedCount: failedPaths.size
+    };
+}
+const RULE_LABELS = {
+    type: value => `type: ${Array.isArray(value) ? value.join(' | ') : String(value)}`,
+    format: value => `format: ${String(value)}`,
+    enum: () => 'enum',
+    const: () => 'const',
+    pattern: () => 'pattern',
+    minimum: value => `min: ${String(value)}`,
+    exclusiveMinimum: value => `exclusive min: ${String(value)}`,
+    maximum: value => `max: ${String(value)}`,
+    exclusiveMaximum: value => `exclusive max: ${String(value)}`,
+    minLength: value => `min length: ${String(value)}`,
+    maxLength: value => `max length: ${String(value)}`,
+    minItems: value => `min items: ${String(value)}`,
+    maxItems: value => `max items: ${String(value)}`,
+    uniqueItems: () => 'unique items',
+    minProperties: value => `min properties: ${String(value)}`,
+    maxProperties: value => `max properties: ${String(value)}`,
+    multipleOf: value => `multiple of: ${String(value)}`
+};
+function collectContractValidationItems(schema, comparablePath = '', inheritedRules = []) {
+    if (!isRecord(schema)) {
+        return [];
+    }
+    const items = [];
+    const ownRules = getSchemaRuleLabels(schema);
+    const rules = [...inheritedRules, ...ownRules];
+    if (comparablePath && rules.length > 0) {
+        items.push({
+            comparablePath,
+            path: formatComparablePath(comparablePath),
+            rules
+        });
+    }
+    else if (!comparablePath && rules.length > 0 && !schema.properties && !schema.items) {
+        items.push({
+            comparablePath: '/',
+            path: '(root)',
+            rules
+        });
+    }
+    if (isRecord(schema.properties)) {
+        const required = Array.isArray(schema.required) ? new Set(schema.required.map(String)) : new Set();
+        for (const [propertyName, propertySchema] of Object.entries(schema.properties)) {
+            const childPath = appendPropertyPath(comparablePath, propertyName);
+            const childRules = required.has(propertyName) ? ['required'] : [];
+            items.push(...collectContractValidationItems(propertySchema, childPath, childRules));
+        }
+    }
+    if (isRecord(schema.items)) {
+        items.push(...collectContractValidationItems(schema.items, appendArrayPath(comparablePath), []));
+    }
+    return items;
+}
+function getSchemaRuleLabels(schema) {
+    const rules = [];
+    for (const [keyword, formatter] of Object.entries(RULE_LABELS)) {
+        if (schema[keyword] !== undefined) {
+            rules.push(formatter(schema[keyword]));
+        }
+    }
+    if (schema.additionalProperties === false) {
+        rules.push('no extra properties');
+    }
+    return rules;
+}
+function appendPropertyPath(basePath, propertyName) {
+    return `${basePath || ''}/${propertyName.replace(/~/g, '~0').replace(/\//g, '~1')}`;
+}
+function appendArrayPath(basePath) {
+    return `${basePath || ''}/[]`;
+}
+function formatComparablePath(comparablePath) {
+    return comparablePath.replace(/\/\[\]/g, '[]').replace(/~1/g, '/').replace(/~0/g, '~');
+}
+function getComparableErrorPath(error) {
+    let instancePath = error.instancePath && error.instancePath !== '(root)'
+        ? error.instancePath
+        : '';
+    if (error.keyword === 'required' && typeof error.params?.missingProperty === 'string') {
+        instancePath = appendErrorPropertyPath(instancePath, error.params.missingProperty);
+    }
+    else if (error.keyword === 'additionalProperties' && typeof error.params?.additionalProperty === 'string') {
+        instancePath = appendErrorPropertyPath(instancePath, error.params.additionalProperty);
+    }
+    return normalizeComparablePath(instancePath || '/');
+}
+function appendErrorPropertyPath(instancePath, propertyName) {
+    const normalizedPath = instancePath && instancePath !== '(root)' && instancePath !== '/' ? instancePath : '';
+    const escapedPropertyName = propertyName.replace(/~/g, '~0').replace(/\//g, '~1');
+    const lastSegment = normalizedPath.split('/').pop();
+    return lastSegment === escapedPropertyName
+        ? normalizedPath
+        : `${normalizedPath}/${escapedPropertyName}`;
+}
+function normalizeComparablePath(instancePath) {
+    if (!instancePath || instancePath === '(root)' || instancePath === '/') {
+        return '/';
+    }
+    return instancePath
+        .split('/')
+        .map(segment => (/^\d+$/.test(segment) ? '[]' : segment))
+        .join('/');
+}
+function isFailedValidationPath(comparablePath, failedPaths) {
+    for (const failedPath of failedPaths) {
+        if (comparablePath === failedPath || comparablePath.startsWith(`${failedPath}/`)) {
+            return true;
+        }
+    }
+    return false;
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function formatSchemaIssue(error) {
+    const location = error.instancePath && error.instancePath !== '(root)'
+        ? error.instancePath
+        : '';
+    return location ? `${location}: ${error.message}` : error.message;
+}
+function getContractDisplaySeverity(assertion) {
+    if (assertion.passed) {
+        return 'success';
+    }
+    const schemaErrors = assertion.schemaErrors || [];
+    return schemaErrors.length > 0 && schemaErrors.every(error => error.severity === 'warning')
+        ? 'warning'
+        : 'error';
+}
+//# sourceMappingURL=contractAssertionSummary.js.map

package/out/contractDecorationProvider.js

@@ -0,0 +1,243 @@
+"use strict";
+/**
+ * Contract Decoration Provider - Visual indicators for schema assertion lines
+ * Shows pass/fail/stale status as colored decorations in the editor gutter
+ */
+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 () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ContractDecorationProvider = void 0;
+exports.createContractHoverProvider = createContractHoverProvider;
+const vscode = __importStar(require("vscode"));
+const validationCache_1 = require("./validationCache");
+/**
+ * Creates decoration types with appropriate colors and icons
+ */
+function createDecorationTypes() {
+    return {
+        pass: vscode.window.createTextEditorDecorationType({
+            gutterIconPath: vscode.Uri.parse('data:image/svg+xml,' + encodeURIComponent(`
+                <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="#4ec9b0">
+                    <path d="M4 2a1 1 0 0 0-1 1v10a1 1 0 0 0 1 1h8a1 1 0 0 0 1-1V3a1 1 0 0 0-1-1H4zm1 2h6v1H5V4zm0 2h6v1H5V6zm0 2h4v1H5V8z"/>
+                    <path d="M10.5 10l-2 2-1-1-.7.7 1.7 1.7 2.7-2.7-.7-.7z"/>
+                </svg>
+            `)),
+            gutterIconSize: 'contain',
+            backgroundColor: 'rgba(78, 201, 176, 0.08)',
+            isWholeLine: true,
+            overviewRulerColor: '#4ec9b0',
+            overviewRulerLane: vscode.OverviewRulerLane.Right
+        }),
+        fail: vscode.window.createTextEditorDecorationType({
+            gutterIconPath: vscode.Uri.parse('data:image/svg+xml,' + encodeURIComponent(`
+                <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="#f14c4c">
+                    <path d="M4 2a1 1 0 0 0-1 1v10a1 1 0 0 0 1 1h8a1 1 0 0 0 1-1V3a1 1 0 0 0-1-1H4zm1 2h6v1H5V4zm0 2h6v1H5V6zm0 2h4v1H5V8z"/>
+                    <path d="M9.5 10l1.5 1.5-1 1-1.5-1.5-1.5 1.5-1-1 1.5-1.5-1.5-1.5 1-1 1.5 1.5 1.5-1.5 1 1-1.5 1.5z"/>
+                </svg>
+            `)),
+            gutterIconSize: 'contain',
+            backgroundColor: 'rgba(241, 76, 76, 0.1)',
+            isWholeLine: true,
+            overviewRulerColor: '#f14c4c',
+            overviewRulerLane: vscode.OverviewRulerLane.Right
+        }),
+        warn: vscode.window.createTextEditorDecorationType({
+            gutterIconPath: vscode.Uri.parse('data:image/svg+xml,' + encodeURIComponent(`
+                <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="#cca700">
+                    <path d="M4 2a1 1 0 0 0-1 1v10a1 1 0 0 0 1 1h8a1 1 0 0 0 1-1V3a1 1 0 0 0-1-1H4zm1 2h6v1H5V4zm0 2h6v1H5V6zm0 2h4v1H5V8z"/>
+                    <path d="M10.5 10.5a.5.5 0 0 1-1 0v-1a.5.5 0 0 1 1 0v1zm-.5 2a.5.5 0 1 1 0-1 .5.5 0 0 1 0 1z"/>
+                </svg>
+            `)),
+            gutterIconSize: 'contain',
+            backgroundColor: 'rgba(204, 167, 0, 0.08)',
+            isWholeLine: true,
+            overviewRulerColor: '#cca700',
+            overviewRulerLane: vscode.OverviewRulerLane.Right
+        }),
+        stale: vscode.window.createTextEditorDecorationType({
+            gutterIconPath: vscode.Uri.parse('data:image/svg+xml,' + encodeURIComponent(`
+                <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="#808080">
+                    <path d="M4 2a1 1 0 0 0-1 1v10a1 1 0 0 0 1 1h8a1 1 0 0 0 1-1V3a1 1 0 0 0-1-1H4zm1 2h6v1H5V4zm0 2h6v1H5V6zm0 2h4v1H5V8z"/>
+                    <path d="M10.5 10.5a.5.5 0 0 1-1 0v-1a.5.5 0 0 1 1 0v1zm-.5 2a.5.5 0 1 1 0-1 .5.5 0 0 1 0 1z"/>
+                </svg>
+            `)),
+            gutterIconSize: 'contain',
+            backgroundColor: 'rgba(128, 128, 128, 0.05)',
+            isWholeLine: true,
+            overviewRulerColor: '#808080',
+            overviewRulerLane: vscode.OverviewRulerLane.Right
+        }),
+        unknown: vscode.window.createTextEditorDecorationType({
+            gutterIconPath: vscode.Uri.parse('data:image/svg+xml,' + encodeURIComponent(`
+                <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" fill="#808080" opacity="0.5">
+                    <path d="M4 2a1 1 0 0 0-1 1v10a1 1 0 0 0 1 1h8a1 1 0 0 0 1-1V3a1 1 0 0 0-1-1H4zm1 2h6v1H5V4zm0 2h6v1H5V6zm0 2h4v1H5V8z" stroke="#808080" stroke-dasharray="2,2" fill="none"/>
+                </svg>
+            `)),
+            gutterIconSize: 'contain'
+        })
+    };
+}
+/**
+ * Pattern to match matchesSchema assertions
+ */
+const MATCHES_SCHEMA_PATTERN = /^\s*assert\s+.+\s+matchesSchema\s+/i;
+/**
+ * Find all matchesSchema assertion lines in a document
+ */
+function findSchemaAssertionLines(document) {
+    const lines = [];
+    for (let i = 0; i < document.lineCount; i++) {
+        const lineText = document.lineAt(i).text;
+        if (MATCHES_SCHEMA_PATTERN.test(lineText)) {
+            lines.push(i);
+        }
+    }
+    return lines;
+}
+/**
+ * Contract Decoration Provider class
+ */
+class ContractDecorationProvider {
+    decorationTypes;
+    disposables = [];
+    constructor() {
+        this.decorationTypes = createDecorationTypes();
+        // Update decorations when active editor changes
+        this.disposables.push(vscode.window.onDidChangeActiveTextEditor(editor => {
+            if (editor?.document.languageId === 'norn') {
+                this.updateDecorations(editor);
+            }
+        }));
+        // Update decorations when document changes (with debounce)
+        let updateTimeout;
+        this.disposables.push(vscode.workspace.onDidChangeTextDocument(event => {
+            const editor = vscode.window.activeTextEditor;
+            if (editor && event.document === editor.document && editor.document.languageId === 'norn') {
+                if (updateTimeout) {
+                    clearTimeout(updateTimeout);
+                }
+                updateTimeout = setTimeout(() => {
+                    this.updateDecorations(editor);
+                }, 300);
+            }
+        }));
+        // Initial decoration for active editor
+        const activeEditor = vscode.window.activeTextEditor;
+        if (activeEditor?.document.languageId === 'norn') {
+            this.updateDecorations(activeEditor);
+        }
+    }
+    /**
+     * Update decorations for a text editor
+     * Disabled - no gutter icons or line highlights for contract assertions
+     */
+    updateDecorations(editor) {
+        // Contract decorations disabled - user requested clean editor without gutter icons/highlights
+        // Clear any existing decorations
+        editor.setDecorations(this.decorationTypes.pass, []);
+        editor.setDecorations(this.decorationTypes.fail, []);
+        editor.setDecorations(this.decorationTypes.warn, []);
+        editor.setDecorations(this.decorationTypes.stale, []);
+        editor.setDecorations(this.decorationTypes.unknown, []);
+    }
+    /**
+     * Refresh decorations on all visible editors
+     */
+    refreshAllDecorations() {
+        for (const editor of vscode.window.visibleTextEditors) {
+            if (editor.document.languageId === 'norn') {
+                this.updateDecorations(editor);
+            }
+        }
+    }
+    dispose() {
+        // Dispose decoration types
+        Object.values(this.decorationTypes).forEach(dt => dt.dispose());
+        // Dispose other subscriptions
+        this.disposables.forEach(d => d.dispose());
+    }
+}
+exports.ContractDecorationProvider = ContractDecorationProvider;
+/**
+ * Create a hover provider for schema assertion decorations
+ */
+function createContractHoverProvider() {
+    return {
+        provideHover(document, position) {
+            const line = document.lineAt(position.line);
+            if (!MATCHES_SCHEMA_PATTERN.test(line.text)) {
+                return undefined;
+            }
+            const result = (0, validationCache_1.getResultForAssertion)(document.uri.fsPath, position.line);
+            if (!result) {
+                return new vscode.Hover([
+                    new vscode.MarkdownString('**Contract Status:** ⚪ Not validated\n\nRun the sequence to validate this assertion.')
+                ]);
+            }
+            const statusIcon = {
+                pass: '🟢',
+                fail: '🔴',
+                warn: '🟡',
+                stale: '⚪'
+            }[result.status] || '⚪';
+            const statusText = {
+                pass: 'Passed',
+                fail: 'Failed',
+                warn: 'Warning',
+                stale: 'Stale (re-run to update)'
+            }[result.status] || 'Unknown';
+            const md = new vscode.MarkdownString();
+            md.appendMarkdown(`**Contract Status:** ${statusIcon} ${statusText}\n\n`);
+            md.appendMarkdown(`**Schema:** \`${result.schemaPath}\`\n\n`);
+            if (result.lastRunTime) {
+                const date = new Date(result.lastRunTime);
+                md.appendMarkdown(`**Last Run:** ${date.toLocaleString()}\n\n`);
+            }
+            if (result.environment) {
+                md.appendMarkdown(`**Environment:** ${result.environment}\n\n`);
+            }
+            if (result.status === 'fail' && result.errorCount) {
+                md.appendMarkdown(`**Errors:** ${result.errorCount}\n\n`);
+                if (result.errorSummary) {
+                    md.appendMarkdown(`> ${result.errorSummary}\n\n`);
+                }
+            }
+            // Add action link
+            md.appendMarkdown(`[Open Contract View](command:norn.openContractView?${encodeURIComponent(JSON.stringify({ schemaPath: result.schemaPath }))})`);
+            md.isTrusted = true;
+            return new vscode.Hover(md);
+        }
+    };
+}
+//# sourceMappingURL=contractDecorationProvider.js.map