13af6ab5fSopenharmony_ci/*
23af6ab5fSopenharmony_ci * Copyright (c) 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_cifunction check1() {
173af6ab5fSopenharmony_ci    let sum = 0;
183af6ab5fSopenharmony_ci    let a : number[] = [1,2,3]
193af6ab5fSopenharmony_ci    let idx : number | string;
203af6ab5fSopenharmony_ci    for (idx of a) {
213af6ab5fSopenharmony_ci        let b = idx
223af6ab5fSopenharmony_ci        if (b instanceof Number) {
233af6ab5fSopenharmony_ci            sum += b;
243af6ab5fSopenharmony_ci        } else {
253af6ab5fSopenharmony_ci            sum += 0;
263af6ab5fSopenharmony_ci        }
273af6ab5fSopenharmony_ci    }
283af6ab5fSopenharmony_ci
293af6ab5fSopenharmony_ci    assert(sum == 6);
303af6ab5fSopenharmony_ci}
313af6ab5fSopenharmony_ci
323af6ab5fSopenharmony_cifunction check2() {
333af6ab5fSopenharmony_ci    let str = "";
343af6ab5fSopenharmony_ci    let a2 : string[] = ["ddd"]
353af6ab5fSopenharmony_ci    let idx2 : string | boolean;
363af6ab5fSopenharmony_ci    for (idx2 of a2) {
373af6ab5fSopenharmony_ci        let c2 = idx2
383af6ab5fSopenharmony_ci        if (c2 instanceof string) {
393af6ab5fSopenharmony_ci            str += c2;
403af6ab5fSopenharmony_ci        }
413af6ab5fSopenharmony_ci    }
423af6ab5fSopenharmony_ci
433af6ab5fSopenharmony_ci    assert(str == "ddd");
443af6ab5fSopenharmony_ci}
453af6ab5fSopenharmony_ci
463af6ab5fSopenharmony_cifunction check3() {
473af6ab5fSopenharmony_ci    let str = "";
483af6ab5fSopenharmony_ci    let a3 : (int|string)[] = ["1,2,3"]
493af6ab5fSopenharmony_ci    let idx3 : int|String;
503af6ab5fSopenharmony_ci    for (idx3 of a3) {
513af6ab5fSopenharmony_ci        let c3 = idx3
523af6ab5fSopenharmony_ci        if (idx3 instanceof string) {
533af6ab5fSopenharmony_ci            str += c3;
543af6ab5fSopenharmony_ci        }
553af6ab5fSopenharmony_ci    }
563af6ab5fSopenharmony_ci
573af6ab5fSopenharmony_ci    assert(str == "1,2,3");
583af6ab5fSopenharmony_ci}
593af6ab5fSopenharmony_ci
603af6ab5fSopenharmony_cifunction check4() {
613af6ab5fSopenharmony_ci    let sum = 0;
623af6ab5fSopenharmony_ci    let a4 : number[] = [888, 999];
633af6ab5fSopenharmony_ci    for (let idx : number | null of a4) {
643af6ab5fSopenharmony_ci        let b4 = idx;
653af6ab5fSopenharmony_ci        if (b4 instanceof Number) {
663af6ab5fSopenharmony_ci            sum += b4;
673af6ab5fSopenharmony_ci        }
683af6ab5fSopenharmony_ci    }
693af6ab5fSopenharmony_ci
703af6ab5fSopenharmony_ci    assert(sum == 1887);
713af6ab5fSopenharmony_ci}
723af6ab5fSopenharmony_ci
733af6ab5fSopenharmony_cifunction check5() {
743af6ab5fSopenharmony_ci    let sum = 0;
753af6ab5fSopenharmony_ci    let a5 : number[] = [11, 22];
763af6ab5fSopenharmony_ci    for (let idx5 : Number of a5) {
773af6ab5fSopenharmony_ci        let b5 = idx5
783af6ab5fSopenharmony_ci        sum += b5;
793af6ab5fSopenharmony_ci    }
803af6ab5fSopenharmony_ci
813af6ab5fSopenharmony_ci    assert(sum == 33);
823af6ab5fSopenharmony_ci}
833af6ab5fSopenharmony_ci
843af6ab5fSopenharmony_cifunction check6() {
853af6ab5fSopenharmony_ci    let sum = 0;
863af6ab5fSopenharmony_ci    let a6 : number[] = [500, 600];
873af6ab5fSopenharmony_ci    for (let idx6 : Double | null of a6) {
883af6ab5fSopenharmony_ci        let b6 = idx6
893af6ab5fSopenharmony_ci        if (b6 instanceof Number) {
903af6ab5fSopenharmony_ci            sum += b6;
913af6ab5fSopenharmony_ci        }
923af6ab5fSopenharmony_ci    }
933af6ab5fSopenharmony_ci
943af6ab5fSopenharmony_ci    assert(sum == 1100);
953af6ab5fSopenharmony_ci}
963af6ab5fSopenharmony_ci
973af6ab5fSopenharmony_cifunction check7() {
983af6ab5fSopenharmony_ci    let str = "";
993af6ab5fSopenharmony_ci    let a7 : string = "ffff"
1003af6ab5fSopenharmony_ci    for (let idx7 : char of a7) {
1013af6ab5fSopenharmony_ci        let b7 = idx7
1023af6ab5fSopenharmony_ci        str += b7;
1033af6ab5fSopenharmony_ci    }
1043af6ab5fSopenharmony_ci
1053af6ab5fSopenharmony_ci    assert(str == "ffff");
1063af6ab5fSopenharmony_ci}
1073af6ab5fSopenharmony_cifunction main() {
1083af6ab5fSopenharmony_ci    check1();
1093af6ab5fSopenharmony_ci    check2();
1103af6ab5fSopenharmony_ci    check3();
1113af6ab5fSopenharmony_ci    check4();
1123af6ab5fSopenharmony_ci    check5();
1133af6ab5fSopenharmony_ci    check6();
1143af6ab5fSopenharmony_ci    check7();
1153af6ab5fSopenharmony_ci}
116