type/usage-typing rejects a connection usage typed by an allocation def
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 58/100
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- Go
- Stelle
- 24
- Fork
- 5
- Merge medio
- 10h 7m
- PR unite (30g)
- 536
Preparare l'ambiente
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/OpenSysML
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 38/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
Open-MBEE/OpenSysML#608 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di Open-MBEE/OpenSysML
Issue simili
-
bug
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 92/100
open-telemetry/opentelemetry-go-compile-instrumentation#1417 ·
I maintainer di solito rispondono entro 2 giorni
-
agent-research-finding agent-research-recommend chore ready-for-agent
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
jordansmall/spindrift#4068 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Type/Task
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
OpenNSW/nsw-srilanka#537 ·
I maintainer di solito rispondono entro 1 giorno
-
security
Difficoltà 2/5 1-2 giorni Idoneità per principianti 62/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 90/100
I maintainer di solito rispondono entro 1 giorno