Skip to content

ST6RI-894 Inconsistent name resolution for qualified name as target of redefinition #717

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
seidewitz merged 6 commits into from
Nov 26, 2025
Merged

ST6RI-894 Inconsistent name resolution for qualified name as target of redefinition #717

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
85ac6fd
ST6RI-894 Replaced non-gen code for Specialization::getSource/getTarget.
seidewitz Nov 14, 2025
67d3e1a
ST6RI-894 Added KerML Xpect test on redefinition scoping.
seidewitz Nov 14, 2025
dc186f1
ST6RI-894 Updated resolution of redefinition target names.
seidewitz Nov 18, 2025
3b9ceda
ST6RI-894 Updated KerML Xpect scoping tests for new redef scoping rules.
seidewitz Nov 18, 2025
698f4ff
ST6RI-894 Adjusted context for resolution of first name in feature chain
seidewitz Nov 19, 2025
c830a5f
ST6RI-894 Added implied typing when ConstructorExpression result added.
seidewitz Nov 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
41 changes: 41 additions & 0 deletions ...ect.tests/src/org/omg/kerml/xpect/tests/parsing/ParsingTests_RedefinitionScoping.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
//* XPECT_SETUP org.omg.kerml.xpect.tests.parsing.KerMLParsingTest
ResourceSet {
ThisFile {}
File {from ="/library/Base.kerml"}
}
Workspace {
JavaProject {
SrcFolder {
ThisFile {}
File {from ="/library/Base.kerml"}
}
}
}
END_SETUP
*/

// XPECT noErrors ---> ""
package RedefinitionScoping {

classifier A {
feature x {
feature y;
}
}

classifier B specializes A {
feature x redefines x {
// Should redefine A::x::y.
feature redefines x::y;
}
}

classifier C {
feature x;
feature y {
// Should redefine C::x.
feature redefines x;
}
}

}
56 changes: 28 additions & 28 deletions ...rc/org/omg/kerml/xpect/tests/testsuite/MemberNameTests_MultipleInheritance3_Rdef.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,40 +27,40 @@ package test{
feature C subsets B{
//XPECT linkedName at b --> test.B.b
//* XPECT scope at b ---
A, A.a, A.a.aa, A.a.aa.self, A.a.aa.that, A.a.aa.that.self, A.a.self, A.a.that,
A.a.that.self, A.self, A.that, A.that.self, B, B.b, B.b.aa, B.b.aa.self, B.b.aa.that,
B.b.aa.that.self, B.b.self, B.b.that, B.b.that.self, B.self, B.that, B.that.self, C, C.c2,
C.c2.aa, C.c2.aa.self, C.c2.aa.that, C.c2.aa.that.self, C.c2.self, C.c2.that,
C.c2.that.self, C.self, C.that, C.that.self, D, D.d, D.d.self, D.d.that, D.d.that.self, D.self,
D.that, D.that.self, b, b.aa, b.aa.self, b.aa.that, b.aa.that.self, b.self, b.that,
b.that.self, self, test.A, test.A.a, test.A.a.aa, test.A.a.aa.self, test.A.a.aa.that,
test.A.a.aa.that.self, test.A.a.self, test.A.a.that, test.A.a.that.self, test.A.self, test.A.that,
test.A.that.self, test.B, test.B.b, test.B.b.aa, test.B.b.aa.self, test.B.b.aa.that,
test.B.b.aa.that.self, test.B.b.self, test.B.b.that, test.B.b.that.self, test.B.self, test.B.that,
test.B.that.self, test.C, test.C.c2, test.C.c2.aa, test.C.c2.aa.self, test.C.c2.aa.that,
test.C.c2.aa.that.self, test.C.c2.self, test.C.c2.that, test.C.c2.that.self, test.C.self, test.C.that,
test.C.that.self, test.D, test.D.d, test.D.d.self, test.D.d.that, test.D.d.that.self,
test.D.self, test.D.that, test.D.that.self, that, that.self
A, A.a, A.a.aa, A.a.aa.self, A.a.aa.that, A.a.aa.that.self, A.a.self, A.a.that,
A.a.that.self, A.self, A.that, A.that.self, B, B.b, B.b.aa, B.b.aa.self, B.b.aa.that,
B.b.aa.that.self, B.b.self, B.b.that, B.b.that.self, B.self, B.that, B.that.self, C, C.b, C.b.aa,
C.b.aa.self, C.b.aa.that, C.b.aa.that.self, C.b.self, C.b.that, C.b.that.self, C.self,
C.that, C.that.self, D, D.d, D.d.self, D.d.that, D.d.that.self, D.self, D.that,
D.that.self, b, b.aa, b.aa.self, b.aa.that, b.aa.that.self, b.self, b.that, b.that.self,
self, test.A, test.A.a, test.A.a.aa, test.A.a.aa.self, test.A.a.aa.that,
test.A.a.aa.that.self, test.A.a.self, test.A.a.that, test.A.a.that.self, test.A.self, test.A.that,
test.A.that.self, test.B, test.B.b, test.B.b.aa, test.B.b.aa.self, test.B.b.aa.that,
test.B.b.aa.that.self, test.B.b.self, test.B.b.that, test.B.b.that.self, test.B.self, test.B.that,
test.B.that.self, test.C, test.C.b, test.C.b.aa, test.C.b.aa.self, test.C.b.aa.that,
test.C.b.aa.that.self, test.C.b.self, test.C.b.that, test.C.b.that.self, test.C.self, test.C.that,
test.C.that.self, test.D, test.D.d, test.D.d.self, test.D.d.that, test.D.d.that.self,
test.D.self, test.D.that, test.D.that.self, that, that.self
--- */
feature c2 redefines b {}
}
feature D subsets C.c2{
//XPECT linkedName at aa --> test.A.a.aa
//* XPECT scope at aa ---
A, A.a, A.a.aa, A.a.aa.self, A.a.aa.that, A.a.aa.that.self, A.a.self, A.a.that,
A.a.that.self, A.self, A.that, A.that.self, B, B.b, B.b.aa, B.b.aa.self, B.b.aa.that,
B.b.aa.that.self, B.b.self, B.b.that, B.b.that.self, B.self, B.that, B.that.self, C, C.c2,
C.c2.aa, C.c2.aa.self, C.c2.aa.that, C.c2.aa.that.self, C.c2.self, C.c2.that,
C.c2.that.self, C.self, C.that, C.that.self, D, D.d, D.d.self, D.d.that, D.d.that.self, D.self,
D.that, D.that.self, aa, aa.self, aa.that, aa.that.self, self, test.A, test.A.a,
test.A.a.aa, test.A.a.aa.self, test.A.a.aa.that, test.A.a.aa.that.self, test.A.a.self,
test.A.a.that, test.A.a.that.self, test.A.self, test.A.that, test.A.that.self, test.B,
test.B.b, test.B.b.aa, test.B.b.aa.self, test.B.b.aa.that, test.B.b.aa.that.self,
test.B.b.self, test.B.b.that, test.B.b.that.self, test.B.self, test.B.that, test.B.that.self,
test.C, test.C.c2, test.C.c2.aa, test.C.c2.aa.self, test.C.c2.aa.that,
test.C.c2.aa.that.self, test.C.c2.self, test.C.c2.that, test.C.c2.that.self, test.C.self, test.C.that,
test.C.that.self, test.D, test.D.d, test.D.d.self, test.D.d.that, test.D.d.that.self,
test.D.self, test.D.that, test.D.that.self, that, that.self
A, A.a, A.a.aa, A.a.aa.self, A.a.aa.that, A.a.aa.that.self, A.a.self, A.a.that,
A.a.that.self, A.self, A.that, A.that.self, B, B.b, B.b.aa, B.b.aa.self, B.b.aa.that,
B.b.aa.that.self, B.b.self, B.b.that, B.b.that.self, B.self, B.that, B.that.self, C, C.c2,
C.c2.aa, C.c2.aa.self, C.c2.aa.that, C.c2.aa.that.self, C.c2.self, C.c2.that,
C.c2.that.self, C.self, C.that, C.that.self, D, D.aa, D.aa.self, D.aa.that, D.aa.that.self,
D.self, D.that, D.that.self, aa, aa.self, aa.that, aa.that.self, self, test.A,
test.A.a, test.A.a.aa, test.A.a.aa.self, test.A.a.aa.that, test.A.a.aa.that.self,
test.A.a.self, test.A.a.that, test.A.a.that.self, test.A.self, test.A.that, test.A.that.self,
test.B, test.B.b, test.B.b.aa, test.B.b.aa.self, test.B.b.aa.that,
test.B.b.aa.that.self, test.B.b.self, test.B.b.that, test.B.b.that.self, test.B.self, test.B.that,
test.B.that.self, test.C, test.C.c2, test.C.c2.aa, test.C.c2.aa.self, test.C.c2.aa.that,
test.C.c2.aa.that.self, test.C.c2.self, test.C.c2.that, test.C.c2.that.self, test.C.self, test.C.that,
test.C.that.self, test.D, test.D.aa, test.D.aa.self, test.D.aa.that, test.D.aa.that.self,
test.D.self, test.D.that, test.D.that.self, that, that.self
--- */
feature d redefines aa {}
}
Expand Down
16 changes: 8 additions & 8 deletions ...src/org/omg/kerml/xpect/tests/testsuite/MemberNameTests_MultipleInheritance_Rdef.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,14 +47,14 @@ package test{
--- */
feature C subsets B{
//* XPECT scope at b ---
A, A.a, A.a.self, A.a.that, A.a.that.self, A.self, A.that, A.that.self, B, B.b,
B.b.self, B.b.that, B.b.that.self, B.self, B.that, B.that.self, C, C.c, C.c.self,
C.c.that, C.c.that.self, C.self, C.that, C.that.self, D, D.self, D.that, D.that.self, b,
b.self, b.that, b.that.self, self, test.A, test.A.a, test.A.a.self, test.A.a.that,
test.A.a.that.self, test.A.self, test.A.that, test.A.that.self, test.B, test.B.b, test.B.b.self,
test.B.b.that, test.B.b.that.self, test.B.self, test.B.that, test.B.that.self, test.C,
test.C.c, test.C.c.self, test.C.c.that, test.C.c.that.self, test.C.self, test.C.that,
test.C.that.self, test.D, test.D.self, test.D.that, test.D.that.self, that, that.self
A, A.a, A.a.self, A.a.that, A.a.that.self, A.self, A.that, A.that.self, B, B.b,
B.b.self, B.b.that, B.b.that.self, B.self, B.that, B.that.self, C, C.b, C.b.self,
C.b.that, C.b.that.self, C.self, C.that, C.that.self, D, D.self, D.that, D.that.self, b,
b.self, b.that, b.that.self, self, test.A, test.A.a, test.A.a.self, test.A.a.that,
test.A.a.that.self, test.A.self, test.A.that, test.A.that.self, test.B, test.B.b, test.B.b.self,
test.B.b.that, test.B.b.that.self, test.B.self, test.B.that, test.B.that.self, test.C,
test.C.b, test.C.b.self, test.C.b.that, test.C.b.that.self, test.C.self, test.C.that,
test.C.that.self, test.D, test.D.self, test.D.that, test.D.that.self, that, that.self
--- */
feature c redefines b {}
}
Expand Down
8 changes: 3 additions & 5 deletions ...c/org/omg/kerml/xpect/tests/testsuite/MemberNameTests_NamedMemberForPrivate_Rdef.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,11 +20,9 @@ package test {
private alias k for something;
feature hello {
//* XPECT scope at k ---
hello, hello.self, hello.test, hello.test.self, hello.test.that,
hello.test.that.self, hello.that, hello.that.self, k, k.self, k.that, k.that.self, self, something,
something.self, something.that, something.that.self, test.hello, test.hello.self,
test.hello.test, test.hello.test.self, test.hello.test.that, test.hello.test.that.self,
test.hello.that, test.hello.that.self, that, that.self
hello, hello.self, hello.that, hello.that.self, k, k.self, k.that, k.that.self,
self, something, something.self, something.that, something.that.self, test.hello,
test.hello.self, test.hello.that, test.hello.that.self, that, that.self
--- */
//XPECT linkedName at k --> test.something
feature test redefines k{}
Expand Down
26 changes: 14 additions & 12 deletions ...omg/kerml/xpect/tests/testsuite/MemberNameTests_NamedMemberFromInheritance2_Rdef.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,18 +38,20 @@ package test{
//XPECT linkedName at AA --> test.A
feature B subsets AA{
//* XPECT scope at aa ---
A, A.a, A.a.self, A.a.that, A.a.that.self, A.aa, A.aa.self, A.aa.that,
A.aa.that.self, A.self, A.that, A.that.self, AA, AA.a, AA.a.self, AA.a.that, AA.a.that.self,
AA.aa, AA.aa.self, AA.aa.that, AA.aa.that.self, AA.self, AA.that, AA.that.self, B,
B.b, B.b.self, B.b.that, B.b.that.self, B.b_alias, B.b_alias.self, B.b_alias.that,
B.b_alias.that.self, B.self, B.that, B.that.self, a, a.self, a.that, a.that.self, aa, aa.self,
aa.that, aa.that.self, self, test.A, test.A.a, test.A.a.self, test.A.a.that,
test.A.a.that.self, test.A.aa, test.A.aa.self, test.A.aa.that, test.A.aa.that.self, test.A.self,
test.A.that, test.A.that.self, test.AA, test.AA.a, test.AA.a.self, test.AA.a.that,
test.AA.a.that.self, test.AA.aa, test.AA.aa.self, test.AA.aa.that, test.AA.aa.that.self,
test.AA.self, test.AA.that, test.AA.that.self, test.B, test.B.b, test.B.b.self,
test.B.b.that, test.B.b.that.self, test.B.b_alias, test.B.b_alias.self, test.B.b_alias.that,
test.B.b_alias.that.self, test.B.self, test.B.that, test.B.that.self, that, that.self
A, A.a, A.a.self, A.a.that, A.a.that.self, A.aa, A.aa.self, A.aa.that,
A.aa.that.self, A.self, A.that, A.that.self, AA, AA.a, AA.a.self, AA.a.that, AA.a.that.self,
AA.aa, AA.aa.self, AA.aa.that, AA.aa.that.self, AA.self, AA.that, AA.that.self, B,
B.a, B.a.self, B.a.that, B.a.that.self, B.aa, B.aa.self, B.aa.that, B.aa.that.self,
B.b_alias, B.b_alias.self, B.b_alias.that, B.b_alias.that.self, B.self, B.that,
B.that.self, a, a.self, a.that, a.that.self, aa, aa.self, aa.that, aa.that.self, self,
test.A, test.A.a, test.A.a.self, test.A.a.that, test.A.a.that.self, test.A.aa,
test.A.aa.self, test.A.aa.that, test.A.aa.that.self, test.A.self, test.A.that,
test.A.that.self, test.AA, test.AA.a, test.AA.a.self, test.AA.a.that, test.AA.a.that.self,
test.AA.aa, test.AA.aa.self, test.AA.aa.that, test.AA.aa.that.self, test.AA.self,
test.AA.that, test.AA.that.self, test.B, test.B.a, test.B.a.self, test.B.a.that,
test.B.a.that.self, test.B.aa, test.B.aa.self, test.B.aa.that, test.B.aa.that.self, test.B.b_alias,
test.B.b_alias.self, test.B.b_alias.that, test.B.b_alias.that.self, test.B.self, test.B.that,
test.B.that.self, that, that.self
--- */
//XPECT linkedName at aa --> test.A.a
feature b redefines aa;
Expand Down
65 changes: 32 additions & 33 deletions ...src/org/omg/kerml/xpect/tests/testsuite/MultipleImport_ImportClassMoreTimes_Rdef.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -60,39 +60,38 @@ package test{
feature EE subsets D {
//XPECT linkedName at D::f --> OuterPackage3.D.f
//* XPECT scope at D::f ---
D, D.c, D.c.self, D.c.that, D.c.that.self, D.f, D.f.a1, D.f.a1.self,
D.f.a1.that, D.f.a1.that.self, D.f.self, D.f.that, D.f.that.self, D.self, D.that,
D.that.self, EE, EE.c, EE.c.self, EE.c.that, EE.c.that.self, EE.self, EE.that, EE.that.self,
EE.try, EE.try.a1, EE.try.a1.self, EE.try.a1.that, EE.try.a1.that.self, EE.try.self,
EE.try.that, EE.try.that.self, OuterPackage.A, OuterPackage.A.a1, OuterPackage.A.a1.self,
OuterPackage.A.a1.that, OuterPackage.A.a1.that.self, OuterPackage.A.self, OuterPackage.A.that,
OuterPackage.A.that.self, OuterPackage.B, OuterPackage.B.b, OuterPackage.B.b.a1,
OuterPackage.B.b.a1.self, OuterPackage.B.b.a1.that, OuterPackage.B.b.a1.that.self, OuterPackage.B.b.self,
OuterPackage.B.b.that, OuterPackage.B.b.that.self, OuterPackage.B.self, OuterPackage.B.that,
OuterPackage.B.that.self, OuterPackage2.B, OuterPackage2.B.b, OuterPackage2.B.b.a1,
OuterPackage2.B.b.a1.self, OuterPackage2.B.b.a1.that, OuterPackage2.B.b.a1.that.self,
OuterPackage2.B.b.self, OuterPackage2.B.b.that, OuterPackage2.B.b.that.self, OuterPackage2.B.self,
OuterPackage2.B.that, OuterPackage2.B.that.self, OuterPackage2.C, OuterPackage2.C.b,
OuterPackage2.C.b.a1, OuterPackage2.C.b.a1.self, OuterPackage2.C.b.a1.that,
OuterPackage2.C.b.a1.that.self, OuterPackage2.C.b.self, OuterPackage2.C.b.that, OuterPackage2.C.b.that.self,
OuterPackage2.C.c, OuterPackage2.C.c.self, OuterPackage2.C.c.that, OuterPackage2.C.c.that.self,
OuterPackage2.C.self, OuterPackage2.C.that, OuterPackage2.C.that.self, OuterPackage3.C,
OuterPackage3.C.b, OuterPackage3.C.b.a1, OuterPackage3.C.b.a1.self, OuterPackage3.C.b.a1.that,
OuterPackage3.C.b.a1.that.self, OuterPackage3.C.b.self, OuterPackage3.C.b.that, OuterPackage3.C.b.that.self,
OuterPackage3.C.c, OuterPackage3.C.c.self, OuterPackage3.C.c.that, OuterPackage3.C.c.that.self,
OuterPackage3.C.self, OuterPackage3.C.that, OuterPackage3.C.that.self, OuterPackage3.D,
OuterPackage3.D.c, OuterPackage3.D.c.self, OuterPackage3.D.c.that, OuterPackage3.D.c.that.self,
OuterPackage3.D.f, OuterPackage3.D.f.a1, OuterPackage3.D.f.a1.self, OuterPackage3.D.f.a1.that,
OuterPackage3.D.f.a1.that.self, OuterPackage3.D.f.self, OuterPackage3.D.f.that, OuterPackage3.D.f.that.self,
OuterPackage3.D.self, OuterPackage3.D.that, OuterPackage3.D.that.self, c, c.self, c.that,
c.that.self, f, f.a1, f.a1.self, f.a1.that, f.a1.that.self, f.self, f.that, f.that.self,
self, test.D, test.D.c, test.D.c.self, test.D.c.that, test.D.c.that.self, test.D.f,
test.D.f.a1, test.D.f.a1.self, test.D.f.a1.that, test.D.f.a1.that.self, test.D.f.self,
test.D.f.that, test.D.f.that.self, test.D.self, test.D.that, test.D.that.self, test.EE,
test.EE.c, test.EE.c.self, test.EE.c.that, test.EE.c.that.self, test.EE.self,
test.EE.that, test.EE.that.self, test.EE.try, test.EE.try.a1, test.EE.try.a1.self,
test.EE.try.a1.that, test.EE.try.a1.that.self, test.EE.try.self, test.EE.try.that,
test.EE.try.that.self, that, that.self
D, D.c, D.c.self, D.c.that, D.c.that.self, D.f, D.f.a1, D.f.a1.self,
D.f.a1.that, D.f.a1.that.self, D.f.self, D.f.that, D.f.that.self, D.self, D.that,
D.that.self, EE, EE.c, EE.c.self, EE.c.that, EE.c.that.self, EE.f, EE.f.a1, EE.f.a1.self,
EE.f.a1.that, EE.f.a1.that.self, EE.f.self, EE.f.that, EE.f.that.self, EE.self, EE.that,
EE.that.self, OuterPackage.A, OuterPackage.A.a1, OuterPackage.A.a1.self,
OuterPackage.A.a1.that, OuterPackage.A.a1.that.self, OuterPackage.A.self, OuterPackage.A.that,
OuterPackage.A.that.self, OuterPackage.B, OuterPackage.B.b, OuterPackage.B.b.a1,
OuterPackage.B.b.a1.self, OuterPackage.B.b.a1.that, OuterPackage.B.b.a1.that.self, OuterPackage.B.b.self,
OuterPackage.B.b.that, OuterPackage.B.b.that.self, OuterPackage.B.self, OuterPackage.B.that,
OuterPackage.B.that.self, OuterPackage2.B, OuterPackage2.B.b, OuterPackage2.B.b.a1,
OuterPackage2.B.b.a1.self, OuterPackage2.B.b.a1.that, OuterPackage2.B.b.a1.that.self,
OuterPackage2.B.b.self, OuterPackage2.B.b.that, OuterPackage2.B.b.that.self, OuterPackage2.B.self,
OuterPackage2.B.that, OuterPackage2.B.that.self, OuterPackage2.C, OuterPackage2.C.b,
OuterPackage2.C.b.a1, OuterPackage2.C.b.a1.self, OuterPackage2.C.b.a1.that,
OuterPackage2.C.b.a1.that.self, OuterPackage2.C.b.self, OuterPackage2.C.b.that, OuterPackage2.C.b.that.self,
OuterPackage2.C.c, OuterPackage2.C.c.self, OuterPackage2.C.c.that, OuterPackage2.C.c.that.self,
OuterPackage2.C.self, OuterPackage2.C.that, OuterPackage2.C.that.self, OuterPackage3.C,
OuterPackage3.C.b, OuterPackage3.C.b.a1, OuterPackage3.C.b.a1.self, OuterPackage3.C.b.a1.that,
OuterPackage3.C.b.a1.that.self, OuterPackage3.C.b.self, OuterPackage3.C.b.that, OuterPackage3.C.b.that.self,
OuterPackage3.C.c, OuterPackage3.C.c.self, OuterPackage3.C.c.that, OuterPackage3.C.c.that.self,
OuterPackage3.C.self, OuterPackage3.C.that, OuterPackage3.C.that.self, OuterPackage3.D,
OuterPackage3.D.c, OuterPackage3.D.c.self, OuterPackage3.D.c.that, OuterPackage3.D.c.that.self,
OuterPackage3.D.f, OuterPackage3.D.f.a1, OuterPackage3.D.f.a1.self, OuterPackage3.D.f.a1.that,
OuterPackage3.D.f.a1.that.self, OuterPackage3.D.f.self, OuterPackage3.D.f.that, OuterPackage3.D.f.that.self,
OuterPackage3.D.self, OuterPackage3.D.that, OuterPackage3.D.that.self, c, c.self, c.that,
c.that.self, f, f.a1, f.a1.self, f.a1.that, f.a1.that.self, f.self, f.that, f.that.self,
self, test.D, test.D.c, test.D.c.self, test.D.c.that, test.D.c.that.self, test.D.f,
test.D.f.a1, test.D.f.a1.self, test.D.f.a1.that, test.D.f.a1.that.self, test.D.f.self,
test.D.f.that, test.D.f.that.self, test.D.self, test.D.that, test.D.that.self, test.EE,
test.EE.c, test.EE.c.self, test.EE.c.that, test.EE.c.that.self, test.EE.f, test.EE.f.a1,
test.EE.f.a1.self, test.EE.f.a1.that, test.EE.f.a1.that.self, test.EE.f.self, test.EE.f.that,
test.EE.f.that.self, test.EE.self, test.EE.that, test.EE.that.self, that, that.self
--- */
feature try redefines D::f;
}
Expand Down
22 changes: 10 additions & 12 deletions ...src/org/omg/kerml/xpect/tests/testsuite/MultipleImport_ImportClassWithAlias_Rdef.kerml.xt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,18 +23,16 @@ package test{
//XPECT linkedName at aliass --> OuterPackage.A
feature C {
//* XPECT scope at aliass---
C, C.c, C.c.a1, C.c.a1.self, C.c.a1.that, C.c.a1.that.self, C.c.self, C.c.that,
C.c.that.self, C.self, C.that, C.that.self, OuterPackage.A, OuterPackage.A.a1,
OuterPackage.A.a1.self, OuterPackage.A.a1.that, OuterPackage.A.a1.that.self, OuterPackage.A.self,
OuterPackage.A.that, OuterPackage.A.that.self, OuterPackage.B, OuterPackage.B.b,
OuterPackage.B.b.a1, OuterPackage.B.b.a1.self, OuterPackage.B.b.a1.that,
OuterPackage.B.b.a1.that.self, OuterPackage.B.b.self, OuterPackage.B.b.that, OuterPackage.B.b.that.self,
OuterPackage.B.self, OuterPackage.B.that, OuterPackage.B.that.self, aliass, aliass.a1,
aliass.a1.self, aliass.a1.that, aliass.a1.that.self, aliass.self, aliass.that,
aliass.that.self, self, test.C, test.C.c, test.C.c.a1, test.C.c.a1.self, test.C.c.a1.that,
test.C.c.a1.that.self, test.C.c.self, test.C.c.that, test.C.c.that.self, test.C.self, test.C.that,
test.C.that.self, test.aliass, test.aliass.a1, test.aliass.a1.self, test.aliass.a1.that,
test.aliass.a1.that.self, test.aliass.self, test.aliass.that, test.aliass.that.self, that, that.self
C, C.self, C.that, C.that.self, OuterPackage.A, OuterPackage.A.a1,
OuterPackage.A.a1.self, OuterPackage.A.a1.that, OuterPackage.A.a1.that.self, OuterPackage.A.self,
OuterPackage.A.that, OuterPackage.A.that.self, OuterPackage.B, OuterPackage.B.b,
OuterPackage.B.b.a1, OuterPackage.B.b.a1.self, OuterPackage.B.b.a1.that,
OuterPackage.B.b.a1.that.self, OuterPackage.B.b.self, OuterPackage.B.b.that, OuterPackage.B.b.that.self,
OuterPackage.B.self, OuterPackage.B.that, OuterPackage.B.that.self, aliass, aliass.a1,
aliass.a1.self, aliass.a1.that, aliass.a1.that.self, aliass.self, aliass.that,
aliass.that.self, self, test.C, test.C.self, test.C.that, test.C.that.self, test.aliass,
test.aliass.a1, test.aliass.a1.self, test.aliass.a1.that, test.aliass.a1.that.self,
test.aliass.self, test.aliass.that, test.aliass.that.self, that, that.self
--- */
feature c redefines aliass;
}
Expand Down
Loading