Redefinition in a view reported unresolved with two exposes and a metadata usage
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
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.
由索引模型根据 Issue 内容生成。
描述
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::*;inP1andP2
Expected: no error. v inherits kind from Dia (OwnedRedefinition, SysML-textual-bnf :482). SysIDE accepts the file.
- 主要语言
- Go
- 星标
- 24
- 派生
- 5
- 平均合并
- 10 小时 12 分钟
- 30 天内合并 PR
- 598
环境准备
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
Open-MBEE/OpenSysML 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 68/100
Open-MBEE/OpenSysML#729 · 2 条评论 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 68/100
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 68/100
维护者通常 1 天内回复
-
bug
难度 4/5 3-5 天 新手友好度 48/100
Open-MBEE/OpenSysML#720 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 55/100
维护者通常 1 天内回复
查看 Open-MBEE/OpenSysML 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 92/100
MagaluCloud/terraform-provider-mgc#323 ·
维护者通常 11 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
rossoctl/context-guru#366 ·
维护者通常 1 天内回复
-
stage-fail
难度 2/5 1-3 小时 新手友好度 72/100
siyuan-note/bazaar#2293 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 84/100
piraeusdatastore/piraeus-operator#1070 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
维护者通常 1 天内回复