14514f5e3Sopenharmony_ci/*
24514f5e3Sopenharmony_ci * Copyright (c) 2023 Huawei Device Co., Ltd.
34514f5e3Sopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License");
44514f5e3Sopenharmony_ci * you may not use this file except in compliance with the License.
54514f5e3Sopenharmony_ci * You may obtain a copy of the License at
64514f5e3Sopenharmony_ci *
74514f5e3Sopenharmony_ci *     http://www.apache.org/licenses/LICENSE-2.0
84514f5e3Sopenharmony_ci *
94514f5e3Sopenharmony_ci * Unless required by applicable law or agreed to in writing, software
104514f5e3Sopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS,
114514f5e3Sopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
124514f5e3Sopenharmony_ci * See the License for the specific language governing permissions and
134514f5e3Sopenharmony_ci * limitations under the License.
144514f5e3Sopenharmony_ci */
154514f5e3Sopenharmony_ci
164514f5e3Sopenharmony_cideclare function print(arg: any): string;
174514f5e3Sopenharmony_cideclare class ArkTools {
184514f5e3Sopenharmony_ci    static isNotHoleProperty(obj: object, key: string): boolean;
194514f5e3Sopenharmony_ci}
204514f5e3Sopenharmony_ci
214514f5e3Sopenharmony_ciclass C {
224514f5e3Sopenharmony_ci    x: number = 1;
234514f5e3Sopenharmony_ci    y: string;
244514f5e3Sopenharmony_ci    constructor() {
254514f5e3Sopenharmony_ci        this.y = "abc";
264514f5e3Sopenharmony_ci    }
274514f5e3Sopenharmony_ci}
284514f5e3Sopenharmony_ci
294514f5e3Sopenharmony_ciclass D extends C {
304514f5e3Sopenharmony_ci    z: number = 2;
314514f5e3Sopenharmony_ci    t: string;
324514f5e3Sopenharmony_ci    constructor() {
334514f5e3Sopenharmony_ci        super();
344514f5e3Sopenharmony_ci        this.t = "bcd";
354514f5e3Sopenharmony_ci    }
364514f5e3Sopenharmony_ci}
374514f5e3Sopenharmony_ci
384514f5e3Sopenharmony_cifunction test(): void {
394514f5e3Sopenharmony_ci    let c = new C();
404514f5e3Sopenharmony_ci    print(ArkTools.isNotHoleProperty(c, "x"));
414514f5e3Sopenharmony_ci    print(ArkTools.isNotHoleProperty(c, "y"));
424514f5e3Sopenharmony_ci
434514f5e3Sopenharmony_ci    let d = new D();
444514f5e3Sopenharmony_ci    print(ArkTools.isNotHoleProperty(d, "x"));
454514f5e3Sopenharmony_ci    print(ArkTools.isNotHoleProperty(d, "y"));
464514f5e3Sopenharmony_ci    print(ArkTools.isNotHoleProperty(d, "z"));
474514f5e3Sopenharmony_ci    print(ArkTools.isNotHoleProperty(d, "t"));
484514f5e3Sopenharmony_ci}
494514f5e3Sopenharmony_ci
504514f5e3Sopenharmony_citest();
51