{ void m1() {…} }
{ void m1() {…} }
{ void m1() {…} }
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
class A {abstract <strong>void</strong> m();frozen int answer() { return 41; }local int loc() { return 1; }}class C merge(rename answer to wrongAnswer in A), Bclass B {frozen int answer() { return 42;}virtual <strong>void</strong> m() { loc(); }local int loc() {return answer(); }}lookup(C, answer) =lookup(merge <strong>…</strong>, answer) == lookup((rename<strong>…</strong>), answer)and non-deterministically= lookup(B, answer)