A part usage typed only by an item definition passes check/lint (validatePartUsagePartDefinition not checked)
まだ誰も着手していません。
評価
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 初心者へのやさしさ
- 72/100
調査の方向性
Reproduce the example with the sysml-toolkit check --lib and lint --lib entry points, using the item-only part usage shown in the issue. Trace the PartUsage validation for validatePartUsagePartDefinition and add a regression test around the no-diagnostic result. Done means both commands report a diagnostic when no item definition is a PartDefinition.
索引モデルが issue の本文から書いたものです。
説明
Summary
A part usage typed only by an item def (no part def anywhere among its item definitions) loads without a diagnostic, even though the spec's own validatePartUsagePartDefinition constraint requires at least one part definition.
Observed
package P {
item def Start;
part def L { part bread : Start; }
}
Loads with ok=True and no diagnostics in OpenSysML v0.9.0. sysml-toolkit v0.9.1 exits 0 with no output on both check --lib <sysml.library> and lint --lib <sysml.library> (checked both commands).
Reference
SysML v2.0 (formal/2026-03-02), 8.3.11 Parts Abstract Syntax, validatePartUsagePartDefinition (printed p. 323):
At least one of the itemDefinitions of a PartUsage must be a PartDefinition.
partDefinition->notEmpty()
The prose immediately above the constraint states the same rule in plain language: "A PartUsage is a usage of a PartDefinition to represent a system or a part of a system. At least one of the itemDefinitions of the PartUsage must be a PartDefinition."
Request
Report a diagnostic for a part usage none of whose item definitions is a part definition.
- 主要言語
- Rust
- スター
- 23
- フォーク
- 3
- 平均マージ
- 9分
- マージ済み PR（30日）
- 3
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Open-MBEE/sysml-toolkit のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 68/100
Open-MBEE/sysml-toolkit の issue をすべて見る
似ている issue
-
type/bug
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
stackabletech/kafka-operator#1033 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
bug good first issue needs testing
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
メンテナーはふだん 3 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
farion1231/cc-switch#7744 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
datafusion
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
apache/iceberg-rust#3297 ·
メンテナーはふだん 1 日以内に返信