A part usage typed only by an item definition passes check/lint (validatePartUsagePartDefinition not checked)
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 72/100
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- Rust
- Stelle
- 23
- Fork
- 3
- Merge medio
- 9m
- PR unite (30g)
- 3
Preparare l'ambiente
Non abbiamo ancora controllato i file di configurazione di questo progetto. Parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di Open-MBEE/sysml-toolkit
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
Tutte le issue di Open-MBEE/sysml-toolkit
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
-
area: cli bug priority: P2 ready-for-agent
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
I maintainer di solito rispondono entro 2 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno