metadata construct not parsed — VerificationMethodKind annotations fail with 'expected a body member'
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Start with the OpenSysML parser path exercised by conn.load_from_content in the supplied Python reproduction, then compare metadata shorthand handling with SysML v2 formal/2026-03-02 §7.24.1 and Table 22. Done means the example returns ok=True without the “expected a body member” diagnostic and preserves parsing of the VerificationMethodKind annotation.
索引モデルが issue の本文から書いたものです。
説明
Summary
The metadata construct in SysML v2 (used for VerificationMethodKind annotations on verification cases) fails to parse in OpenSysML v0.9.0.
Reproduction
import opensysml
conn = opensysml.connect(version='v0.9.0')
src = '''
package MetaTest {
private import VerificationCases::*;
part def Widget { attribute size : Real default = 1.0; }
requirement def SizeReq {
subject widget : Widget;
require constraint { widget.size <= 5.0 }
}
requirement sizeReq : SizeReq;
verification def SizeCheck {
subject widget : Widget;
#verificationMethod = VerificationMethodKind::test;
objective {
verify sizeReq;
}
}
}
'''
m = conn.load_from_content(src, strict=False)
print(m.ok) # False
print(m.diagnostics[0].message) # 'expected a body member'
Expected
ok=True — the metadata shorthand #feature = value should parse per SysML v2 formal/2026-03-02 §7.24 Table 22.
Spec citation
SysML v2 formal/2026-03-02 §7.24.1 (p.141), Table 22 (p.143): Verification Methods Compartment textual notation:
metadata VerificationMethod { kind = (VerificationMethodKind::inspect, ...); }
The #verificationMethod shorthand is the textual notation for this metadata block.
Context
Reported from Open-MBEE/toaster#19 while building an executable SysML v2 tutorial.
- 主要言語
- Go
- スター
- 24
- フォーク
- 5
- 平均マージ
- 10時間 12分
- マージ済み PR（30日）
- 598
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Open-MBEE/OpenSysML のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
Open-MBEE/OpenSysML#729 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 68/100
メンテナーはふだん 1 日以内に返信
-
bug
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
Open-MBEE/OpenSysML#720 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 55/100
メンテナーはふだん 1 日以内に返信
Open-MBEE/OpenSysML の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
NVIDIA/k8s-device-plugin#2076 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
メンテナーはふだん 1 日以内に返信
-
agentic-workflows
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
メンテナーはふだん 1 日以内に返信
-
area/release kind/bug
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
kubernetes-sigs/kueue#16455 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信