metadata construct not parsed — VerificationMethodKind annotations fail with 'expected a body member'
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 68/100
Línea de trabajo
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.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
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.
- Lenguaje dominante
- Go
- Estrellas
- 24
- Forks
- 5
- Merge medio
- 10 h 11 min
- PR fusionados (30 d)
- 572
Preparar el entorno
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/OpenSysML
-
bug
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
Open-MBEE/OpenSysML#720 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
Los mantenedores suelen responder en 1 día
Todos los issues de Open-MBEE/OpenSysML
Issues similares
-
[Docs] - Document minimum Terraform/OpenTofu version (>= 1.11) required by write-only argumentsAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 92/100
MagaluCloud/terraform-provider-mgc#323 ·
Los mantenedores suelen responder en 11 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
rossoctl/context-guru#366 ·
Los mantenedores suelen responder en 1 día
-
stage-fail
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
siyuan-note/bazaar#2293 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
piraeusdatastore/piraeus-operator#1070 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
Los mantenedores suelen responder en 1 día