13af6ab5fSopenharmony_ci/*
23af6ab5fSopenharmony_ci * Copyright (c) 2023-2024 Huawei Device Co., Ltd.
33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License.
53af6ab5fSopenharmony_ci * You may obtain a copy of the License at
63af6ab5fSopenharmony_ci *
73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0
83af6ab5fSopenharmony_ci *
93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software
103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and
133af6ab5fSopenharmony_ci * limitations under the License.
143af6ab5fSopenharmony_ci */
153af6ab5fSopenharmony_ci
163af6ab5fSopenharmony_ciclass A {
173af6ab5fSopenharmony_ci    foo(): int {
183af6ab5fSopenharmony_ci        return 1;
193af6ab5fSopenharmony_ci    }
203af6ab5fSopenharmony_ci
213af6ab5fSopenharmony_ci    final baz(): int {
223af6ab5fSopenharmony_ci        return this.foo(); // virtual call expected
233af6ab5fSopenharmony_ci    }
243af6ab5fSopenharmony_ci}
253af6ab5fSopenharmony_ci
263af6ab5fSopenharmony_cifinal class B extends A {
273af6ab5fSopenharmony_ci    override foo(): int {
283af6ab5fSopenharmony_ci        return 2;
293af6ab5fSopenharmony_ci    }
303af6ab5fSopenharmony_ci
313af6ab5fSopenharmony_ci    bar(): int {
323af6ab5fSopenharmony_ci        return super.foo(); // static call expected
333af6ab5fSopenharmony_ci    }
343af6ab5fSopenharmony_ci
353af6ab5fSopenharmony_ci    virt(): int {
363af6ab5fSopenharmony_ci        return super.baz();
373af6ab5fSopenharmony_ci    }
383af6ab5fSopenharmony_ci}
393af6ab5fSopenharmony_ci
403af6ab5fSopenharmony_ciclass F {
413af6ab5fSopenharmony_ci    public readonly f: int;
423af6ab5fSopenharmony_ci
433af6ab5fSopenharmony_ci    constructor() {
443af6ab5fSopenharmony_ci        this.f = 42;
453af6ab5fSopenharmony_ci    }
463af6ab5fSopenharmony_ci}
473af6ab5fSopenharmony_ci
483af6ab5fSopenharmony_cifinal class G extends F {
493af6ab5fSopenharmony_ci
503af6ab5fSopenharmony_ci}
513af6ab5fSopenharmony_ci
523af6ab5fSopenharmony_cifinal class H extends F {
533af6ab5fSopenharmony_ci    constructor() {
543af6ab5fSopenharmony_ci
553af6ab5fSopenharmony_ci    }
563af6ab5fSopenharmony_ci}
573af6ab5fSopenharmony_ci
583af6ab5fSopenharmony_cifinal class I extends F {
593af6ab5fSopenharmony_ci    constructor() {
603af6ab5fSopenharmony_ci        super();
613af6ab5fSopenharmony_ci    }
623af6ab5fSopenharmony_ci}
633af6ab5fSopenharmony_ci
643af6ab5fSopenharmony_cifunction main(): void {
653af6ab5fSopenharmony_ci    let bClass: B = new B();
663af6ab5fSopenharmony_ci
673af6ab5fSopenharmony_ci    let a: int = bClass.foo();
683af6ab5fSopenharmony_ci    assert a == 2
693af6ab5fSopenharmony_ci
703af6ab5fSopenharmony_ci    let b: int = bClass.bar();
713af6ab5fSopenharmony_ci    assert b == 1
723af6ab5fSopenharmony_ci
733af6ab5fSopenharmony_ci    let c: int = bClass.virt();
743af6ab5fSopenharmony_ci    assert c == 2
753af6ab5fSopenharmony_ci
763af6ab5fSopenharmony_ci    const f: F = new F();
773af6ab5fSopenharmony_ci    assert f.f == 42;
783af6ab5fSopenharmony_ci
793af6ab5fSopenharmony_ci    const g: G = new G();
803af6ab5fSopenharmony_ci    assert g.f == 42;
813af6ab5fSopenharmony_ci
823af6ab5fSopenharmony_ci    const h: H = new H();
833af6ab5fSopenharmony_ci    assert h.f == 42;
843af6ab5fSopenharmony_ci
853af6ab5fSopenharmony_ci    const i: I = new I();
863af6ab5fSopenharmony_ci    assert i.f == 42;
873af6ab5fSopenharmony_ci
883af6ab5fSopenharmony_ci    let d_as_A: F = i;
893af6ab5fSopenharmony_ci    assert d_as_A.f == 42;
903af6ab5fSopenharmony_ci}
91