A part usage typed only by an item definition passes check/lint (validatePartUsagePartDefinition not checked)
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 72/100
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Rust
- Estrellas
- 23
- Forks
- 3
- Merge medio
- 9 min
- PR fusionados (30 d)
- 3
Preparar el entorno
Aún no hemos revisado los archivos de configuración de este proyecto. Empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de Open-MBEE/sysml-toolkit
-
Dificultad 4/5 3-5 días Aptitud para principiantes 68/100
Todos los issues de Open-MBEE/sysml-toolkit
Issues similares
-
type/bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
stackabletech/kafka-operator#1033 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
bug good first issue needs testing
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Los mantenedores suelen responder en 3 días
-
docs: release notes v3.7.0–v3.8.0 footer links to README/CHANGELOG are broken after docs reorgAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 90/100
farion1231/cc-switch#7744 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
datafusion
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
apache/iceberg-rust#3297 ·
Los mantenedores suelen responder en 1 día