type/usage-typing rejects a connection usage typed by an allocation def
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
- 58/100
Línea de trabajo
Start by running the supplied alloc.sysml reproduction and inspect the implementation of the type/usage-typing diagnostic. Compare its accepted type categories with the AllocationDefinition specialization described in Systems Library/Allocations.sysml. Done means the allocation-typed connection validates without the reported error and later-tier diagnostics are no longer suppressed.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Version: sysml v0.9.0 (commit ee54ea0), darwin-arm64 release binary
A connection usage typed by an allocation def is rejected with type/usage-typing, but an allocation definition is a connection definition.
Repro
package P {
part def A;
part def B;
allocation def Al { end a : A; end b : B; }
connection c : Al[*];
}
$ sysml -validate -debug alloc.sysml
alloc.sysml:5:5: error: A connection must be typed by connection definitions. [type/usage-typing]
connection c : Al[*];
^~~~~~~~~~~~~~~~~~~~~
sysml: alloc.sysml did not analyse cleanly; no check was made
The same thing happens when the allocation def also specializes Allocations::Allocation, or a user connection def.
Expected
No error. In the SysML v2 abstract syntax, AllocationDefinition specializes ConnectionDefinition, and the normative library says the same: Systems Library/Allocations.sysml, allocation def Allocation :> BinaryConnection. An allocation def therefore satisfies the typing requirement of a ConnectionUsage.
Because the error is in the type tier, it also hides every later-tier diagnostic for the whole model.
- Lenguaje dominante
- Go
- Estrellas
- 24
- Forks
- 5
- Merge medio
- 10 h 7 min
- PR fusionados (30 d)
- 536
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
-
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
Los mantenedores suelen responder en 1 día
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 38/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 4/5 3-5 días Aptitud para principiantes 52/100
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
Open-MBEE/OpenSysML#608 · 1 comentario ·
Los mantenedores suelen responder en 1 día
Todos los issues de Open-MBEE/OpenSysML
Issues similares
-
bug needs-triage
Dificultad 2/5 1-3 horas Aptitud para principiantes 86/100
DataDog/dd-trace-go#5469 ·
Los mantenedores suelen responder en 1 día
-
bug tests
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
l3montree-dev/devguard#3101 ·
Los mantenedores suelen responder en 1 día
-
area:*of bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
oapi-codegen/oapi-codegen#2593 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
DaoCloud/DaoCloud-docs#7432 ·
Los mantenedores suelen responder en 1 día