Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Redefinition in a view reported unresolved with two exposes and a metadata usage

Chiusa
  • Qualcosa non va?
#649 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

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
55/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Stack tecnologico
go
Ambito
compilers

Direzione di ricerca

Reproduce the example with sysml -validate using the issue's redef.sysml case and confirm that removing any one of the three triggering elements avoids the error. Trace the name-resolution path for view redefinitions, two expose statements, private imports, and metadata usage. Done means the supplied file validates without an unresolved kind reference and regression coverage preserves that behavior.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

sysml -validate (v0.9.0, and develop with #638 applied) reports a valid redefinition as unresolved:

package Lib {
    private import ScalarValues::*;
    metadata def Tag;
    view def Dia { attribute kind : String; }
}
package P1 { private import Lib::*; }
package P2 { private import Lib::*; }
package App {
    private import Lib::*;
    view v : Dia {
        expose P1::*;
        expose P2::*;
        @Tag;
        attribute :>> kind = "grid";
    }
}

redef.sysml:14:23: error: unresolved reference: kind — did you mean Lib::Dia::kind?

It validates cleanly if you remove any one of:

  • the second expose
  • @Tag;
  • the private import Lib::*; in P1 and P2

Expected: no error. v inherits kind from Dia (OwnedRedefinition, SysML-textual-bnf :482). SysIDE accepts the file.

Lingua principale
Go
Stelle
24
Fork
5
Merge medio
10h 11m
PR unite (30g)
572

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di Open-MBEE/OpenSysML

Tutte le issue di Open-MBEE/OpenSysML

Issue simili

Altre issue su Go

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.