@memoarchitect/tools 0.6.6 → 0.7.2

package/packages/tools/src/grammar/memo-sysml.langium

@@ -27,8 +27,20 @@ grammar MemoSysML
 entry Model:
     members+=NamespaceMember*;
 
+// The root namespace accepts definitions, not only packages. SysML v2 permits
+// members at the root of a file and SysIDE accepts `part def X;` standing alone,
+// so rejecting it here was a MEMO-only restriction: valid source failed to
+// parse, and the AST-based loaders then reported the file as contributing
+// nothing. MEMO's own content still nests everything in packages — the
+// portability gate requires that for qualified naming — but the grammar must
+// not reject source the compiler of record accepts.
 NamespaceMember:
-    PackageDeclaration | ImportDeclaration;
+    PackageDeclaration
+    | ImportDeclaration
+    | AliasDeclaration
+    | DefinitionMember
+    | UseCaseDeclaration
+    | DocComment;
 
 // ─── Package ─────────────────────────────────────────────────────────────────
 
@@ -36,11 +48,19 @@ NamespaceMember:
 // Qualified names (`::`) are for references only; deep namespaces are expressed by
 // NESTING packages (`package memo { package arch { … } }`). The model builder
 // reconstructs the full FQN from the nesting (builder.ts: parentPackage::pkg.name).
+// `standard` comes from the normative `LibraryPackage` production
+// (`bnf/KerML-textual-bnf.kebnf:1446`), where it is the flag that marks a
+// library package as part of the standard library rather than a user one. Every
+// one of the 94 vendored normative library files opens with `standard library
+// package`, so without it the parser fails on line 1 of the entire corpus.
 PackageDeclaration:
-    isLibrary?='library'? 'package' name=ID '{'
+    isStandard?='standard'? isLibrary?='library'? 'package' name=ID '{'
         members+=PackageMember*
     '}';
 
+// Flows and successions are legal package members, not only usage-body members:
+// a flow between two action usages declared side by side in a package has no
+// enclosing action to sit inside. SysIDE accepts them here, so the grammar does.
 PackageMember:
     PackageDeclaration
     | AliasDeclaration
@@ -50,6 +70,8 @@ PackageMember:
     | ItemUsage
     | AttributeMember
     | UseCaseDeclaration
+    | FlowConnectionUsage
+    | SuccessionUsage
     | ConnectionUsage
     | AllocateUsage
     | MetadataApplication
@@ -224,7 +246,7 @@ UseCaseDeclaration:
 // Item usage: standalone (`item x : T { … }`), directioned port payload
 // (`in item reading : T;` / `out item command : T;`), or a bound feature value.
 ItemUsage:
-    direction=('in' | 'out' | 'inout')? 'item' name=MemberName
+    direction=('in' | 'out' | 'inout')? 'item' name=MemberName preMultiplicity=Multiplicity?
     (':' type=QualifiedName multiplicity=Multiplicity?)?
     ('=' boundRef=QualifiedName)?
     ('{' body+=UsageBodyMember* '}' | ';');
@@ -251,9 +273,34 @@ InterfaceUsage:
 // ActionUsage supports both typed (action name : Type;) and composite
 // (action name { nested-actions, flows, successions }) forms.
 ActionUsage:
-    behaviorKind=('action' | 'operator' | 'function') name=ID (':' type=QualifiedName)?
+    behaviorKind=('action' | 'operator' | 'function') name=ActionName (':' type=QualifiedName)?
     ('{' body+=ActionUsageBodyMember* '}' | ';');
 
+// Activity actions use their own concrete forms. Keep the payload and endpoint
+// references structural: they are semantic inputs for lowering, not display text.
+AcceptActionUsage:
+    'action' name=ActionName 'accept' payloadName=ID ':' payloadType=QualifiedName ';';
+
+// `then` on a body member is a succession from the member before it, so it is
+// captured rather than consumed — a discarded `then` leaves the node floating
+// with no incoming control flow.
+SendActionUsage:
+    followsPrevious?='then'? 'action' name=ActionName 'send' receiver=FeatureReference 'to' target=ReferenceName ';';
+
+FeatureReference:
+    segments+=ID ('.' segments+=ID)*;
+
+ActionName returns string:
+    ID | 'accept' | 'send' | 'terminate';
+
+// SysML v2 terminate actions may be anonymous (`terminate;`, `then terminate;`)
+// or named (`action rejected terminate;`). A name is important in diagrams
+// with several distinct activity-final outcomes because it supplies the label
+// and a stable identity for each final node.
+TerminateUsage:
+    {infer TerminateUsage} followsPrevious?='then'?
+    (('action' name=ID)? 'terminate') ';';
+
 PortUsage:
     direction=('in' | 'out' | 'inout')? 'port' isConjugated?='~'? name=ID ':' type=QualifiedName
     ('{' body+=UsageBodyMember* '}' | ';');
@@ -293,7 +340,7 @@ ConnectionEnd:
 // Action defs can have in/out/inout parameters plus regular body members
 
 ActionDefBodyMember:
-    ActionParameterMember | DefinitionBodyMember;
+    ActionParameterMember | TerminateUsage | ActionUsage | AcceptActionUsage | SendActionUsage | ControlNodeUsage | RequireConstraintMember | UsageBodyMember;
 
 ActionParameterMember:
     direction=('in' | 'out' | 'inout') name=ID ':' type=QualifiedName ';';
@@ -304,7 +351,7 @@ ActionParameterMember:
 // FlowConnectionUsage / SuccessionUsage / ConnectionUsage are contributed by
 // UsageBodyMember; listing them again here would make the alternatives ambiguous.
 ActionUsageBodyMember:
-    ActionUsage | ControlNodeUsage | UsageBodyMember;
+    ActionParameterMember | TerminateUsage | ActionUsage | AcceptActionUsage | SendActionUsage | ControlNodeUsage | UsageBodyMember;
 
 // ─── Behavior: Control nodes (fork / join) ──────────────────────────────────
 // SysML v2 activity control nodes. A `fork` splits one incoming control flow
@@ -317,7 +364,7 @@ ActionUsageBodyMember:
 //   first parallelPrep then prime;
 //   first parallelPrep then selfTest;
 ControlNodeUsage:
-    controlKind=('fork' | 'join') name=ID ';';
+    controlKind=('fork' | 'join' | 'decide' | 'merge') name=ID ';';
 
 // ─── Behavior: Flow connection usage ────────────────────────────────────────
 // Syntax: flow of ItemType from source.port to target.port ;
@@ -330,16 +377,19 @@ FlowEnd:
 
 // Dot-separated qualified name for flow endpoints (e.g. receive.prescription)
 DottedName returns string:
-    ID ('.' ID)*;
+    DottedNameSegment ('.' DottedNameSegment)*;
+
+DottedNameSegment returns string:
+    ID | 'accept' | 'send' | 'terminate';
 
 // ─── Behavior: Succession usage ─────────────────────────────────────────────
 // Syntax: first start then action1 then action2 then done ;
 
 SuccessionUsage:
-    'first' steps+=SuccessionStep ('then' steps+=SuccessionStep)+ ';';
+    'succession'? 'first' steps+=SuccessionStep ('then' steps+=SuccessionStep)+ ';';
 
 SuccessionStep:
-    ref=SuccessionRef;
+    ref=SuccessionRef ('if' guard=OrExpr)?;
 
 SuccessionRef returns string:
     'start' | 'done' | ID;
@@ -405,14 +455,32 @@ UsageBodyMember:
     AttributeMember | PartMember | PortUsage | ItemUsage | RefMember | ViewUsage | FlowConnectionUsage | SuccessionUsage | ConnectionUsage | MetadataApplication | DocComment;
 
 // ─── Attribute member ────────────────────────────────────────────────────────
-// Two forms:
+// Three forms:
 //   attribute name : Type ;              (type declaration)
 //   attribute redefines name = value ;   (value assignment / redefinition)
+//   attribute redefines name { … }       (structured value: nested redefinitions)
+//
+// The third form is how a value of an `attribute def` with several features is
+// assigned — you cannot write it with `=`, because the value is not a literal.
+// It is what SysIDE accepts for e.g. a RegionBounds:
+//
+//   attribute :>> bounds { attribute :>> x = 0.1; attribute :>> width = 0.4; }
+
+// A fourth form is a TYPED attribute carrying a default:
+//
+//   attribute id : String = "CR-MED-040";
+//
+// SysIDE accepts it and MEMO rejected it, which session 1 logged as a grammar
+// gap and section 18.2 deliverable 8 assigned to session 2. It stopped being
+// theoretical once rules and policies started declaring typed attributes with
+// defaults. SysIDE is the compiler of record, so the grammar follows it.
 
 AttributeMember:
     'attribute' redefines?=('redefines' | ':>>')? name=MemberName
-    (':' type=QualifiedName multiplicity=Multiplicity? ('{' body+=UsageBodyMember* '}' | ';')
-    | '=' value=AttributeValue ';');
+    (':' type=QualifiedName multiplicity=Multiplicity?
+        ('=' value=AttributeValue ';' | '{' body+=UsageBodyMember* '}' | ';')
+    | '=' value=AttributeValue ';'
+    | '{' body+=UsageBodyMember* '}');
 
 AttributeValue:
     StringValue | RealValue | IntValue | BooleanValue | SetLiteral | EnumValue;
@@ -443,19 +511,32 @@ EnumValue:
     enumRef=QualifiedName;
 
 // ─── Nested part member ──────────────────────────────────────────────────────
-// Three forms:
+// Four forms:
 //   part subsystems : Subsystem[0..*];        (typed nested part)
 //   part requirement = reqSingleMode;          (feature value binding to a reference)
 //   part protectedAsset :> therapyAsset;       (subsetting an existing element)
+//   part vpLogical :> viewpointDefinition = logicalArchitectureViewpoint;
+//                                              (subsetting AND supplying a value)
 // The binding forms carry the source/target ends of semantic *Link instances,
 // which the model builder projects into navigable relationships.
+//
+// The fourth form is how a MULTI-VALUED feature takes several values. Repeating
+// `part :>> viewpointDefinition = x;` redefines the same feature each time and
+// SysIDE rejects it as shadowing, so each value has to subset the feature under
+// its own member name. `viewpointDefinition : Viewpoint[1..*]` is exactly that
+// case: a view governed by three viewpoints needs three members.
+//
+// SysIDE accepts this and the MEMO grammar did not, which is the wrong way
+// round — SysIDE is the compiler of record, so the grammar follows it.
+// `subsetValue` holds the value; `boundRef` keeps meaning the subsetted
+// feature, so every existing `:>` consumer is unaffected.
 
 PartMember:
     'part'
     (bindingOp=':>>' name=MemberName ('=' boundRef=QualifiedName)?
     | name=MemberName
       (':' type=QualifiedName multiplicity=Multiplicity?)?
-      (bindingOp=('=' | ':>') boundRef=QualifiedName)?)
+      (bindingOp=('=' | ':>') boundRef=QualifiedName ('=' subsetValue=QualifiedName)?)?)
     ('{' body+=UsageBodyMember* '}' | ';');
 
 // ─── Reference member ───────────────────────────────────────────────────────
@@ -488,7 +569,7 @@ QualifiedName returns string:
     QualifiedNameSegment ('::' QualifiedNameTailSegment)*;
 
 QualifiedNameSegment returns string:
-    ID | 'library';
+    ID | 'library' | 'standard';
 
 // Non-first segments may be keywords so enum literals declared via
 // EnumLiteralName (e.g. DirectionKind::in, UseErrorCategoryKind::action)
@@ -503,14 +584,19 @@ QualifiedNameTailSegment returns string:
     | 'use' | 'fork' | 'join';
 
 // Allow keywords as identifiers in member/feature contexts
+// `standard` joins these for the same reason the others are here: making it a
+// keyword for `standard library package` would otherwise stop it being a name,
+// and MEMO's compliance ontology declares `attribute standard : String`.
 MemberName returns string:
     ID | 'requirement' | 'action' | 'item' | 'port' | 'interface' | 'connection'
-    | 'attribute' | 'constraint' | 'view' | 'viewpoint' | 'ref' | 'part' | 'state' | 'verification';
+    | 'attribute' | 'constraint' | 'view' | 'viewpoint' | 'ref' | 'part' | 'state' | 'verification'
+    | 'standard';
 
 FeatureName returns string:
     ID | 'part' | 'requirement' | 'action' | 'item' | 'port' | 'interface'
     | 'connection' | 'flow' | 'view' | 'viewpoint' | 'attribute' | 'constraint'
-    | 'ref' | 'allocate' | 'end' | 'enum' | 'function' | 'operator' | 'state' | 'verification';
+    | 'ref' | 'allocate' | 'end' | 'enum' | 'function' | 'operator' | 'state' | 'verification'
+    | 'standard';
 
 // ─── Hidden terminals (skipped by lexer) ─────────────────────────────────────
 

package/packages/tools/lib/model/dimension-filter.d.ts

@@ -1,33 +0,0 @@
-import type { OntologyKindInfo } from './ontology-loader.js';
-/** Typed scope extracted from a MethodologyScope part instance. */
-export interface MethodologyScopeInfo {
-    id: string;
-    scopeName: string;
-    includedArchLayers: string[];
-    includedStandards: string[];
-    includedArtifactKinds: string[];
-    includedViewpointTypes: string[];
-    excludedKinds: string[];
-}
-/** A minimal part-instance shape, matching MethodologyPart without importing it. */
-interface ScopePartLike {
-    attributes: Record<string, unknown>;
-    multiAttributes: Record<string, unknown[]>;
-}
-/** Extract typed scope info from a MethodologyScope part instance. */
-export declare function extractScopeInfo(part: ScopePartLike): MethodologyScopeInfo;
-export type DimensionKey = 'archLayer' | 'standard' | 'artifactKind' | 'viewpointType';
-/**
- * Filter ontology kinds by a methodology scope dimension.
- *
- * Returns the subset of `kinds` whose dimension value appears in the scope's
- * included set. If the scope is null or the included set for the dimension is
- * empty, all kinds pass through (methodology does not restrict).
- */
-export declare function filterKindsByDimension(kinds: OntologyKindInfo[], dimension: DimensionKey, scope: MethodologyScopeInfo | null): OntologyKindInfo[];
-/**
- * Check whether a single kind is excluded by methodology scope.
- */
-export declare function isKindExcluded(kind: OntologyKindInfo, scope: MethodologyScopeInfo | null): boolean;
-export {};
-//# sourceMappingURL=dimension-filter.d.ts.map

package/packages/tools/lib/model/dimension-filter.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"dimension-filter.d.ts","sourceRoot":"","sources":["../../src/model/dimension-filter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,mEAAmE;AACnE,MAAM,WAAW,oBAAoB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,oFAAoF;AACpF,UAAU,aAAa;IACnB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACpC,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;CAC9C;AAED,sEAAsE;AACtE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,aAAa,GAAG,oBAAoB,CAa1E;AAED,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,UAAU,GAAG,cAAc,GAAG,eAAe,CAAC;AAkBvF;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAClC,KAAK,EAAE,gBAAgB,EAAE,EACzB,SAAS,EAAE,YAAY,EACvB,KAAK,EAAE,oBAAoB,GAAG,IAAI,GACnC,gBAAgB,EAAE,CAcpB;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC1B,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,oBAAoB,GAAG,IAAI,GACnC,OAAO,CAGT"}

package/packages/tools/lib/model/dimension-filter.js

@@ -1,57 +0,0 @@
-/** Extract typed scope info from a MethodologyScope part instance. */
-export function extractScopeInfo(part) {
-    const strList = (key) => (part.multiAttributes[key] ?? [])
-        .filter((v) => typeof v === 'string' && v !== '');
-    return {
-        id: String(part.attributes.id ?? ''),
-        scopeName: String(part.attributes.scopeName ?? ''),
-        includedArchLayers: strList('includedArchLayer'),
-        includedStandards: strList('includedStandard'),
-        includedArtifactKinds: strList('includedArtifactKind'),
-        includedViewpointTypes: strList('includedViewpointType'),
-        excludedKinds: strList('excludedKind'),
-    };
-}
-const SCOPE_FIELD = {
-    archLayer: 'includedArchLayers',
-    standard: 'includedStandards',
-    artifactKind: 'includedArtifactKinds',
-    viewpointType: 'includedViewpointTypes',
-};
-function kindMatchesDimension(kind, dimension) {
-    switch (dimension) {
-        case 'archLayer': return kind.layer;
-        case 'standard': return kind.standard;
-        case 'artifactKind': return kind.name;
-        case 'viewpointType': return kind.viewpoints?.[0];
-    }
-}
-/**
- * Filter ontology kinds by a methodology scope dimension.
- *
- * Returns the subset of `kinds` whose dimension value appears in the scope's
- * included set. If the scope is null or the included set for the dimension is
- * empty, all kinds pass through (methodology does not restrict).
- */
-export function filterKindsByDimension(kinds, dimension, scope) {
-    if (!scope)
-        return kinds;
-    const field = SCOPE_FIELD[dimension];
-    const included = scope[field];
-    if (included.length === 0)
-        return kinds;
-    const includedSet = new Set(included);
-    return kinds.filter(kind => {
-        const value = kindMatchesDimension(kind, dimension);
-        return value !== undefined && includedSet.has(value);
-    });
-}
-/**
- * Check whether a single kind is excluded by methodology scope.
- */
-export function isKindExcluded(kind, scope) {
-    if (!scope || scope.excludedKinds.length === 0)
-        return false;
-    return scope.excludedKinds.includes(kind.name);
-}
-//# sourceMappingURL=dimension-filter.js.map

package/packages/tools/lib/model/dimension-filter.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"dimension-filter.js","sourceRoot":"","sources":["../../src/model/dimension-filter.ts"],"names":[],"mappings":"AAmBA,sEAAsE;AACtE,MAAM,UAAU,gBAAgB,CAAC,IAAmB;IAChD,MAAM,OAAO,GAAG,CAAC,GAAW,EAAY,EAAE,CACtC,CAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAA0B,IAAI,EAAE,CAAC;SACtD,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACvE,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,CAAC;QACpC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;QAClD,kBAAkB,EAAE,OAAO,CAAC,mBAAmB,CAAC;QAChD,iBAAiB,EAAE,OAAO,CAAC,kBAAkB,CAAC;QAC9C,qBAAqB,EAAE,OAAO,CAAC,sBAAsB,CAAC;QACtD,sBAAsB,EAAE,OAAO,CAAC,uBAAuB,CAAC;QACxD,aAAa,EAAE,OAAO,CAAC,cAAc,CAAC;KACzC,CAAC;AACN,CAAC;AAID,MAAM,WAAW,GAAqD;IAClE,SAAS,EAAE,oBAAoB;IAC/B,QAAQ,EAAE,mBAAmB;IAC7B,YAAY,EAAE,uBAAuB;IACrC,aAAa,EAAE,wBAAwB;CAC1C,CAAC;AAEF,SAAS,oBAAoB,CAAC,IAAsB,EAAE,SAAuB;IACzE,QAAQ,SAAS,EAAE,CAAC;QAChB,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC;QACpC,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC;QACtC,KAAK,cAAc,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;QACtC,KAAK,eAAe,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAClC,KAAyB,EACzB,SAAuB,EACvB,KAAkC;IAElC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAEzB,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAa,CAAC;IAE1C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAExC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IAEtC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;QACvB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpD,OAAO,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAC1B,IAAsB,EACtB,KAAkC;IAElC,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,OAAO,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnD,CAAC"}

package/packages/tools/lib/model/toolchain.d.ts

@@ -1,12 +0,0 @@
-import type { MEMOConfig } from './config.js';
-export interface ToolInvocation {
-    command: string;
-    args: string[];
-    provider: 'syside' | 'sysand';
-}
-export declare function buildCompilerInvocation(config: MEMOConfig, projectDir: string, includeDirs?: string[]): ToolInvocation | undefined;
-export declare function buildPackagerInvocation(config: MEMOConfig, projectDir: string, outputPath: string): ToolInvocation | undefined;
-export declare function runToolInvocation(invocation: ToolInvocation, cwd: string): void;
-export declare function compileWithConfiguredTool(config: MEMOConfig, projectDir: string, configPath?: string): 'internal' | 'syside';
-export declare function packageWithConfiguredTool(config: MEMOConfig, projectDir: string, outputPath: string): 'internal' | 'sysand';
-//# sourceMappingURL=toolchain.d.ts.map

package/packages/tools/lib/model/toolchain.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"toolchain.d.ts","sourceRoot":"","sources":["../../src/model/toolchain.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,MAAM,WAAW,cAAc;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;CACjC;AAeD,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,UAAU,EAClB,UAAU,EAAE,MAAM,EAClB,WAAW,GAAE,MAAM,EAAO,GAC3B,cAAc,GAAG,SAAS,CAiB5B;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,UAAU,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACnB,cAAc,GAAG,SAAS,CAe5B;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAW/E;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,UAAU,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,CAAC,EAAE,MAAM,GACpB,UAAU,GAAG,QAAQ,CAQvB;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,UAAU,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,GACnB,UAAU,GAAG,QAAQ,CAQvB"}

package/packages/tools/lib/model/toolchain.js

@@ -1,92 +0,0 @@
-import { existsSync } from 'node:fs';
-import { homedir } from 'node:os';
-import { isAbsolute, resolve } from 'node:path';
-import { spawnSync } from 'node:child_process';
-import { findOntologyPackageDirs, resolvePackageSysmlDir } from './ontology-loader.js';
-function resolveProjectPath(value, projectDir) {
-    if (value === '~')
-        return homedir();
-    if (value.startsWith('~/'))
-        return resolve(homedir(), value.slice(2));
-    return isAbsolute(value) ? value : resolve(projectDir, value);
-}
-function resolveExecutable(value, fallback, projectDir) {
-    if (!value)
-        return fallback;
-    return value.includes('/') || value.includes('\\') || value.startsWith('~')
-        ? resolveProjectPath(value, projectDir)
-        : value;
-}
-export function buildCompilerInvocation(config, projectDir, includeDirs = []) {
-    const provider = config.toolchain?.compiler ?? 'internal';
-    if (provider === 'internal')
-        return undefined;
-    if (provider !== 'syside') {
-        throw new Error(`Unsupported compiler "${String(provider)}". Choose "internal" or "syside".`);
-    }
-    const tool = config.toolchain?.syside;
-    const args = ['check', '--colour', 'no', '--diagnose', tool?.diagnose ?? 'all'];
-    if (tool?.configFile)
-        args.push('--config', resolveProjectPath(tool.configFile, projectDir));
-    if (tool?.warningsAsErrors ?? true)
-        args.push('--warnings-as-errors');
-    for (const includeDir of [...new Set(includeDirs)])
-        args.push('--include', includeDir);
-    args.push(projectDir);
-    return {
-        command: resolveExecutable(tool?.executable, 'syside', projectDir),
-        args,
-        provider,
-    };
-}
-export function buildPackagerInvocation(config, projectDir, outputPath) {
-    const provider = config.toolchain?.packager ?? 'internal';
-    if (provider === 'internal')
-        return undefined;
-    if (provider !== 'sysand') {
-        throw new Error(`Unsupported packager "${String(provider)}". Choose "internal" or "sysand".`);
-    }
-    const tool = config.toolchain?.sysand;
-    const args = [];
-    if (tool?.configFile)
-        args.push('--config-file', resolveProjectPath(tool.configFile, projectDir));
-    args.push('build', outputPath);
-    return {
-        command: resolveExecutable(tool?.executable, 'sysand', projectDir),
-        args,
-        provider,
-    };
-}
-export function runToolInvocation(invocation, cwd) {
-    const result = spawnSync(invocation.command, invocation.args, { cwd, stdio: 'inherit' });
-    if (result.error) {
-        const hint = result.error.message.includes('ENOENT')
-            ? ` Configure toolchain.${invocation.provider}.executable or add it to PATH.`
-            : '';
-        throw new Error(`Could not run ${invocation.provider}: ${result.error.message}.${hint}`);
-    }
-    if (result.status !== 0) {
-        throw new Error(`${invocation.provider} exited with status ${result.status ?? 'unknown'}.`);
-    }
-}
-export function compileWithConfiguredTool(config, projectDir, configPath) {
-    const includeDirs = configPath
-        ? findOntologyPackageDirs(configPath).map(resolvePackageSysmlDir)
-        : [];
-    const invocation = buildCompilerInvocation(config, projectDir, includeDirs);
-    if (!invocation)
-        return 'internal';
-    runToolInvocation(invocation, projectDir);
-    return 'syside';
-}
-export function packageWithConfiguredTool(config, projectDir, outputPath) {
-    const invocation = buildPackagerInvocation(config, projectDir, outputPath);
-    if (!invocation)
-        return 'internal';
-    runToolInvocation(invocation, projectDir);
-    if (!existsSync(outputPath)) {
-        throw new Error(`${invocation.provider} completed but did not create ${outputPath}.`);
-    }
-    return 'sysand';
-}
-//# sourceMappingURL=toolchain.js.map

package/packages/tools/lib/model/toolchain.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"toolchain.js","sourceRoot":"","sources":["../../src/model/toolchain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAQvF,SAAS,kBAAkB,CAAC,KAAa,EAAE,UAAkB;IACzD,IAAI,KAAK,KAAK,GAAG;QAAE,OAAO,OAAO,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAyB,EAAE,QAAgB,EAAE,UAAkB;IACtF,IAAI,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAC;IAC5B,OAAO,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACvE,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,UAAU,CAAC;QACvC,CAAC,CAAC,KAAK,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAkB,EAClB,UAAkB,EAClB,cAAwB,EAAE;IAE1B,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,QAAQ,IAAI,UAAU,CAAC;IAC1D,IAAI,QAAQ,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC;IACtC,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,IAAI,KAAK,CAAC,CAAC;IAChF,IAAI,IAAI,EAAE,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC7F,IAAI,IAAI,EAAE,gBAAgB,IAAI,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACtE,KAAK,MAAM,UAAU,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;QAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACvF,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtB,OAAO;QACH,OAAO,EAAE,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC;QAClE,IAAI;QACJ,QAAQ;KACX,CAAC;AACN,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAkB,EAClB,UAAkB,EAClB,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,EAAE,QAAQ,IAAI,UAAU,CAAC;IAC1D,IAAI,QAAQ,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC;IACtC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,IAAI,EAAE,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAClG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC/B,OAAO;QACH,OAAO,EAAE,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC;QAClE,IAAI;QACJ,QAAQ;KACX,CAAC;AACN,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAA0B,EAAE,GAAW;IACrE,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzF,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAChD,CAAC,CAAC,wBAAwB,UAAU,CAAC,QAAQ,gCAAgC;YAC7E,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,IAAI,KAAK,CAAC,iBAAiB,UAAU,CAAC,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,QAAQ,uBAAuB,MAAM,CAAC,MAAM,IAAI,SAAS,GAAG,CAAC,CAAC;IAChG,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAkB,EAClB,UAAkB,EAClB,UAAmB;IAEnB,MAAM,WAAW,GAAG,UAAU;QAC1B,CAAC,CAAC,uBAAuB,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,sBAAsB,CAAC;QACjE,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,UAAU,GAAG,uBAAuB,CAAC,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAC5E,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IACnC,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC1C,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAkB,EAClB,UAAkB,EAClB,UAAkB;IAElB,MAAM,UAAU,GAAG,uBAAuB,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IAC3E,IAAI,CAAC,UAAU;QAAE,OAAO,UAAU,CAAC;IACnC,iBAAiB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAC1C,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,GAAG,UAAU,CAAC,QAAQ,iCAAiC,UAAU,GAAG,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC"}