@oml/cli 0.7.0

package/out/commands/lint.js

@@ -0,0 +1,31 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import chalk from 'chalk';
+import { createBackend } from '../backend/create-backend.js';
+import { formatDuration } from '../util.js';
+export const lintAction = async (fileName, opts) => {
+    const startedAt = Date.now();
+    const workspaceRoot = opts.workspace ?? opts.workspaceRoot ?? '.';
+    const backend = createBackend();
+    try {
+        const result = await backend.validate(fileName, workspaceRoot);
+        if (result.filesChecked === 0) {
+            console.log(chalk.yellow(`No .oml files found under ${workspaceRoot}.`));
+            return;
+        }
+        if (fileName && result.warnings === 0) {
+            console.log(chalk.green('lint: no syntax or validation errors found.'));
+            return;
+        }
+        if (result.warnings > 0) {
+            console.log(chalk.yellow(`lint: ${result.filesChecked} OML file(s) checked with ${result.warnings} warning(s). [${formatDuration(Date.now() - startedAt)}]`));
+            process.exit(1);
+        }
+        else {
+            console.log(chalk.green(`lint: ${result.filesChecked} OML file(s) checked. [${formatDuration(Date.now() - startedAt)}]`));
+        }
+    }
+    finally {
+        await backend.dispose();
+    }
+};
+//# sourceMappingURL=lint.js.map

package/out/commands/lint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/commands/lint.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAO5C,MAAM,CAAC,MAAM,UAAU,GAAG,KAAK,EAAE,QAA4B,EAAE,IAAiB,EAAiB,EAAE;IAC/F,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,aAAa,IAAI,GAAG,CAAC;IAClE,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;IAChC,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,YAAY,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,6BAA6B,aAAa,GAAG,CAAC,CAAC,CAAC;YACzE,OAAO;QACX,CAAC;QACD,IAAI,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC,CAAC;YACxE,OAAO;QACX,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,YAAY,6BAA6B,MAAM,CAAC,QAAQ,iBAAiB,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9J,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACJ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,MAAM,CAAC,YAAY,0BAA0B,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9H,CAAC;IACL,CAAC;YAAS,CAAC;QACP,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;IAC5B,CAAC;AACL,CAAC,CAAC"}

package/out/commands/reason.d.ts

@@ -0,0 +1,13 @@
+export type ReasonOptions = {
+    workspace?: string;
+    owl?: string;
+    format?: string;
+    clean?: boolean;
+    pretty?: boolean;
+    only?: boolean;
+    checkOnly?: boolean;
+    uniqueNamesAssumption?: boolean;
+    explanations?: boolean;
+    profile?: boolean;
+};
+export declare const reasonAction: (opts: ReasonOptions) => Promise<void>;

package/out/commands/reason.js

@@ -0,0 +1,62 @@
+// Copyright (c) 2026 Modelware. All rights reserved.
+import { createOmlServices } from '@oml/language';
+import chalk from 'chalk';
+import { NodeFileSystem } from 'langium/node';
+import { URI } from 'langium';
+import * as fs from 'node:fs/promises';
+import * as path from 'node:path';
+import { buildWorkspaceDocuments, collectWorkspaceOntologyEntries, normalizeFormatExtension, OntologyInconsistencyError, reasonWorkspaceOntologies } from '../backend/reasoned-output.js';
+import { formatDuration } from '../util.js';
+import { compileAction, resolveCompileOutputRoot, resolveCompileWorkspaceRoot } from './compile.js';
+export const reasonAction = async (opts) => {
+    const workspaceRoot = resolveCompileWorkspaceRoot(opts.workspace);
+    const outputRoot = resolveCompileOutputRoot(workspaceRoot, opts.owl);
+    const format = normalizeFormatExtension(opts.format);
+    if (opts.only && opts.clean) {
+        console.error(chalk.red('Cannot combine --only with --clean for reason.'));
+        process.exit(1);
+    }
+    if (!opts.only) {
+        await compileAction({
+            workspace: workspaceRoot,
+            owl: outputRoot,
+            format,
+            clean: opts.clean,
+            pretty: opts.pretty
+        });
+    }
+    const outputStat = await fs.stat(outputRoot).catch(() => undefined);
+    if (!outputStat || !outputStat.isDirectory()) {
+        console.error(chalk.red(`OWL output folder does not exist: ${outputRoot}`));
+        process.exit(1);
+    }
+    const startedAt = Date.now();
+    const servicesBundle = createOmlServices(NodeFileSystem);
+    await servicesBundle.Oml.shared.workspace.WorkspaceManager.initializeWorkspace([
+        { uri: URI.file(workspaceRoot).toString(), name: path.basename(workspaceRoot) }
+    ]);
+    const documents = await buildWorkspaceDocuments(servicesBundle.Oml, workspaceRoot, true);
+    const entries = collectWorkspaceOntologyEntries(documents, outputRoot, format);
+    let result;
+    try {
+        result = await reasonWorkspaceOntologies(entries, {
+            outputRoot,
+            format,
+            pretty: opts.pretty ?? false,
+            explanations: opts.explanations ?? true,
+            uniqueNamesAssumption: opts.uniqueNamesAssumption ?? true,
+            checkOnly: opts.checkOnly ?? false,
+            profile: opts.profile ?? false,
+        });
+    }
+    catch (error) {
+        if (error instanceof OntologyInconsistencyError) {
+            console.error(chalk.red(error.message));
+            process.exit(1);
+        }
+        throw error;
+    }
+    const action = opts.checkOnly ? 'checked in' : 'generated in';
+    console.log(chalk.green(`reason: ${result.ontologiesReasoned} ontology file(s) ${action} ${path.relative(process.cwd(), outputRoot) || outputRoot} [${formatDuration(Date.now() - startedAt)}]`));
+};
+//# sourceMappingURL=reason.js.map

package/out/commands/reason.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reason.js","sourceRoot":"","sources":["../../src/commands/reason.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,uBAAuB,EAAE,+BAA+B,EAAE,wBAAwB,EAAE,0BAA0B,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAC1L,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AAepG,MAAM,CAAC,MAAM,YAAY,GAAG,KAAK,EAAE,IAAmB,EAAiB,EAAE;IACrE,MAAM,aAAa,GAAG,2BAA2B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClE,MAAM,UAAU,GAAG,wBAAwB,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACb,MAAM,aAAa,CAAC;YAChB,SAAS,EAAE,aAAa;YACxB,GAAG,EAAE,UAAU;YACf,MAAM;YACN,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;SACtB,CAAC,CAAC;IACP,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC;QAC3C,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,qCAAqC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7B,MAAM,cAAc,GAAG,iBAAiB,CAAC,cAAc,CAAC,CAAC;IACzD,MAAM,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,mBAAmB,CAAC;QAC3E,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE;KAClF,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,MAAM,uBAAuB,CAAC,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,+BAA+B,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/E,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACD,MAAM,GAAG,MAAM,yBAAyB,CAAC,OAAO,EAAE;YAC9C,UAAU;YACV,MAAM;YACN,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK;YAC5B,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI;YACvC,qBAAqB,EAAE,IAAI,CAAC,qBAAqB,IAAI,IAAI;YACzD,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,KAAK;YAClC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;SACjC,CAAC,CAAC;IACP,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACb,IAAI,KAAK,YAAY,0BAA0B,EAAE,CAAC;YAC9C,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,KAAK,CAAC;IAChB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC;IAC9D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,MAAM,CAAC,kBAAkB,qBAAqB,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,CAAC,IAAI,UAAU,KAAK,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;AACtM,CAAC,CAAC"}

package/out/commands/render.d.ts

@@ -0,0 +1,15 @@
+export type RenderOptions = {
+    workspace?: string;
+    md: string;
+    web: string;
+    owl?: string;
+    format?: string;
+    context?: string;
+    clean?: boolean;
+    only?: boolean;
+    pretty?: boolean;
+    uniqueNamesAssumption?: boolean;
+    explanations?: boolean;
+    profile?: boolean;
+};
+export declare const renderAction: (opts: RenderOptions) => Promise<void>;