sysml-validate 0.14.3 → 0.14.5

package/out/main.js

@@ -58699,6 +58699,11 @@ var DIAGNOSTIC_MESSAGES = {
   LEX004_INVALID_STRING_ESCAPE: (escape) => `Invalid escape '\\${escape}'. KerML Table 4 permits \\' \\" \\b \\f \\t \\n and \\\\.`,
   LEX008_NON_ASCII_IDENTIFIER: (name) => `Identifier '${name}' contains a non-ASCII character. Wrap it in single quotes ('${name}') to use it as an unrestricted name.`,
   LEX009_TRAILING_WHITESPACE: "Trailing whitespace.",
+  // REQ-385 — OMG SysML v2 Part 1 §7.17.3 restricts control nodes to the body of
+  // an action definition or usage. Successions are NOT covered (§7.13.5 sanctions
+  // `first a then b;` and the `then` occurrence shorthand in a part), so the
+  // message names the construct it means rather than "action language".
+  SEM011_ACTION_ONLY_CONSTRUCT: (construct, clause, owner) => `${construct} may only be declared in the body of an action definition or usage (OMG SysML v2 Part 1 \xA7${clause}), not in ${owner}.`,
   RES016_LIBRARY_SHADOWING: (name) => `'${name}' shadows a standard-library element of the same name; the library symbol is hidden in this scope.`,
   // issue #183 — KerML namespace distinguishability (validateNamespaceDistinguishability).
   // Owned siblings sharing a name/short name (or an alias clashing with an owned
@@ -59449,6 +59454,48 @@ var CONSTRAINT_SIDE_EFFECT_TYPES = /* @__PURE__ */ new Set([
   "DoAction",
   "ExitAction"
 ]);
+var ACTION_BODY_TYPES = /* @__PURE__ */ new Set([
+  "ActionDecl",
+  "PerformStmt",
+  "MergeNode",
+  "DecideNode",
+  "JoinNode",
+  "ForkNode",
+  "IfActionNode",
+  "WhileLoopNode",
+  "LoopNode",
+  "ForLoopNode",
+  "SendNode",
+  "AcceptNode",
+  "AssignNode",
+  "TerminateNode",
+  "StateDecl",
+  "ExhibitStateDecl",
+  "TransitionDecl",
+  "EntryAction",
+  "DoAction",
+  "ExitAction",
+  "CalcDecl",
+  "CaseDecl",
+  "UseCaseDecl",
+  "AnalysisCaseDecl",
+  "VerificationCaseDecl"
+]);
+var CONTROL_NODE_KEYWORDS = {
+  MergeNode: "merge",
+  DecideNode: "decide",
+  JoinNode: "join",
+  ForkNode: "fork"
+};
+var SUCCESSION_MEMBER_WRAPPERS = /* @__PURE__ */ new Set([
+  "ThenActionMember",
+  "ElseSuccessionMember",
+  "PrefixMetadataMember"
+]);
+function actionOnlyConstruct(node) {
+  const keyword = CONTROL_NODE_KEYWORDS[node.$type];
+  return keyword ? { construct: `A '${keyword}' control node`, clause: "7.17.3" } : void 0;
+}
 var SysmlValidator = class _SysmlValidator {
   indexManager;
   langiumDocuments;
@@ -59538,6 +59585,26 @@ var SysmlValidator = class _SysmlValidator {
       }
     }
   }
+  // REQ-385 — SEM011. A fork/join/decide/merge control node "can only be declared
+  // in the body of an action definition or usage" (OMG SysML v2 Part 1 §7.17.3).
+  // Written in a part, one parsed and drew silently, which is how a part came to
+  // show control flow it cannot own (user report 2026-08-09). See
+  // `actionOnlyConstruct` for the constructs deliberately NOT covered.
+  checkActionFlowPlacement(node, accept) {
+    const restricted = actionOnlyConstruct(node);
+    if (!restricted)
+      return;
+    if (SUCCESSION_MEMBER_WRAPPERS.has(node.$container?.$type ?? ""))
+      return;
+    let owner = node.$container;
+    while (owner && SUCCESSION_MEMBER_WRAPPERS.has(owner.$type))
+      owner = owner.$container;
+    if (!owner || ACTION_BODY_TYPES.has(owner.$type))
+      return;
+    const ownerName = owner.name;
+    const ownerKind = DECL_KEYWORDS[owner.$type] ?? "this context";
+    accept(severity("SEM011", "warning"), DIAGNOSTIC_MESSAGES.SEM011_ACTION_ONLY_CONSTRUCT(restricted.construct, restricted.clause, ownerName ? `${ownerKind} '${ownerName}'` : ownerKind), { node, code: "SEM011" });
+  }
   // REQ-148, REQ-294, REQ-315, REQ-330 — SEM006/SYN092 requirement definition must have a subject
   checkRequirementDecl(node, accept) {
     if (!node.isDef || !node.name)
@@ -61267,7 +61334,12 @@ ${baseIndent}}`;
       StateDecl: this.checkStateDecl.bind(this),
       Import: this.checkImport.bind(this),
       Package: this.checkPackage.bind(this),
-      VerifyStmt: this.checkVerifyStmt.bind(this)
+      VerifyStmt: this.checkVerifyStmt.bind(this),
+      // REQ-385 — SEM011: the action language OMG confines to an action body.
+      MergeNode: this.checkActionFlowPlacement.bind(this),
+      DecideNode: this.checkActionFlowPlacement.bind(this),
+      JoinNode: this.checkActionFlowPlacement.bind(this),
+      ForkNode: this.checkActionFlowPlacement.bind(this)
     };
   }
 };
@@ -68895,7 +68967,7 @@ async function runValidation(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.14.3" : "dev";
+var VERSION2 = true ? "0.14.5" : "dev";
 async function main(argv) {
   const command = parseArgs(argv);
   if (command.kind === "help") {