120 lines
3.0 KiB
Plaintext
120 lines
3.0 KiB
Plaintext
import string
|
|
import testcheck
|
|
|
|
|
|
# ============================================================
|
|
# NoVTable multiple inheritance: a sibling-mixin self.helper() call (BaseB
|
|
# calling helper defined in BaseA) must resolve the symbol to BaseA/Combined.
|
|
# ============================================================
|
|
novirtual class BaseA:
|
|
a: int
|
|
|
|
def helper(self) -> int:
|
|
return self.a
|
|
|
|
|
|
novirtual class BaseB:
|
|
b: int
|
|
|
|
def caller(self) -> int:
|
|
return self.helper()
|
|
|
|
|
|
novirtual class Combined(BaseA, BaseB):
|
|
pass
|
|
|
|
|
|
def test_cross_mixin_call():
|
|
testcheck.section("Test 1: cross-mixin self. call")
|
|
c: Combined = Combined()
|
|
c.a = 42
|
|
c.b = 7
|
|
testcheck.check(c.caller() == 42,
|
|
"caller()==42 (BaseB->BaseA)",
|
|
"cross-mixin call fail")
|
|
|
|
|
|
# ============================================================
|
|
# Test 2: multilevel mixin chain (parent inheritance + sibling) with field
|
|
# writes, exercising this_adjust across sibling and parent field regions.
|
|
# ============================================================
|
|
novirtual class MixinA2:
|
|
a2: int
|
|
|
|
def inner2(self) -> int:
|
|
self.a2 = self.a2 + 10
|
|
return self.a2
|
|
|
|
|
|
novirtual class MixinB2(MixinA2):
|
|
b2: int
|
|
|
|
def mid2(self) -> int:
|
|
return self.inner2() + self.b2
|
|
|
|
|
|
novirtual class MixinC2:
|
|
c2: int
|
|
|
|
def outer2(self) -> int:
|
|
return self.mid2() + self.c2
|
|
|
|
|
|
novirtual class Combined2(MixinB2, MixinC2):
|
|
pass
|
|
|
|
|
|
def test_multilevel_chain():
|
|
testcheck.section("Test 2: multilevel mixin chain + field write")
|
|
c: Combined2 = Combined2()
|
|
c.a2 = 1
|
|
c.b2 = 2
|
|
c.c2 = 3
|
|
# outer2 -> mid2 -> inner2: inner2 writes a2 (1->11), mid2=13, outer2=16
|
|
testcheck.check(c.outer2() == 16,
|
|
"outer2()==16 (C->B->A chain + field write)",
|
|
"multilevel chain fail")
|
|
|
|
|
|
# ============================================================
|
|
# Test 3: second-parent field offset (nonzero this_adjust) plus a pointer
|
|
# field; self.val must adjust into DataMixin's field region.
|
|
# ============================================================
|
|
novirtual class PtrMixin:
|
|
name: char*
|
|
|
|
def get_name(self) -> char*:
|
|
return self.name
|
|
|
|
|
|
novirtual class DataMixin:
|
|
val: int
|
|
|
|
def get_val(self) -> int:
|
|
return self.val
|
|
|
|
|
|
novirtual class Combined3(PtrMixin, DataMixin):
|
|
pass
|
|
|
|
|
|
def test_second_parent_offset():
|
|
testcheck.section("Test 3: second-parent field offset (this_adjust != 0)")
|
|
c: Combined3 = Combined3()
|
|
c.name = "hello"
|
|
c.val = 99
|
|
testcheck.check(string.strcmp(c.get_name(), "hello") == 0,
|
|
"get_name()==hello (first parent)",
|
|
"first parent fail")
|
|
testcheck.check(c.get_val() == 99,
|
|
"get_val()==99 (second parent field offset)",
|
|
"second parent this_adjust fail")
|
|
|
|
|
|
def main() -> int:
|
|
testcheck.begin("NoVTableCrossMixinTest")
|
|
test_cross_mixin_call()
|
|
test_multilevel_chain()
|
|
test_second_parent_offset()
|
|
return testcheck.end()
|