Skip to content

Feature/textual notation corpus expansion - #376

Merged
antoineatstariongroup merged 3 commits into
developmentfrom
feature/textual-notation-corpus-expansion
Sep 9, 2026
Merged

Feature/textual notation corpus expansion#376
antoineatstariongroup merged 3 commits into
developmentfrom
feature/textual-notation-corpus-expansion

Conversation

@antoineatstariongroup

Copy link
Copy Markdown
Collaborator

Prerequisites

  • I have written a descriptive pull-request title
  • I have verified that there are no overlapping pull-requests open
  • I have verified that I am following the SysML2.NET code style guidelines
  • I have provided test coverage for my change (where applicable)

Description

Expansion of textual notation corpus

Registers AHFNorwayTopics as a validation test case, alongside its
AHFCoreLib/AHFProfileLib library dependencies which supply imports but
have no round-trip baseline of their own.
…rules

Computes reachability from RootNamespace over the merged KerML+SysML
KEBNF grammar (SysML definitions override same-named KerML ones) and
decorates every generated Build{Rule} method whose production has no
incoming reference with [GrammarUnreachable], so a HandCoded companion
that turns out to still call it stays consistent by explicit exclusion.
…on corpus

Redefinition, Generalization, Flow Usage, Binding Connectors, and
Interface examples, converted from the SysML v2 pilot implementation's
training corpus via its own SysML2XMI tool. Each closes coverage gaps
on grammar-reachable rules (Redefinition, Subclassification, Flow,
BindingConnector, binary Connector) identified as exercised by no
existing test case. Expected/*.sysml baselines are the writer's own
captured output, not the pilot's literal source text, since the two
differ only in the documented ACCEPT categories (redefines/:>> and
specializes/:> keyword aliases, formatting) per CLAUDE.md.

PortExample.sysmlx is a shared library dependency for three of the
five (Flow Usage, Binding Connectors, Interface), following the same
no-baseline-of-its-own pattern as AHFCoreLib/AHFProfileLib.
@sonarqubecloud

sonarqubecloud Bot commented Sep 9, 2026

Copy link
Copy Markdown

@antoineatstariongroup
antoineatstariongroup merged commit 654fa37 into development Sep 9, 2026
8 checks passed
@antoineatstariongroup
antoineatstariongroup deleted the feature/textual-notation-corpus-expansion branch September 9, 2026 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant