/*
 * Copyright (c) 2023 - 2024 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

function main():void{
    assert foo1() == 10;
    assert foo2() == "a";
    assert foo3() == true;

    assert foo4() == 30;
    assert foo4(new Int(5)) == 25;

    assert foo5(new Int(5)) == 55;
    assert foo5(new Int(5),new Int(10)) == 45;


    assert foo6() == undefined;
    assert foo7() == undefined;
    assert foo8() == undefined;

    assert foo9() == 0;
    assert foo9(new Int(5)) == -1;

    assert foo10(new Int(5)) == 0;
    assert foo10(new Int(5),new Int(10)) == -1;

    assert foo11() == 0;
    assert foo12() == 0;

    assert foo13(new Int(10)) == 15;
    assert foo14(new Int(10)) == 25;

    assert foo15(new Int(10),new Int(5)) == 20;
    assert foo16(new Int(10),new Int(5)) == 30;
}

function foo1(a : Int = 10) : Int {
    return a;
}

function foo2(a : string = "a") : string {
    return a;
}

function foo3(a : Boolean = true) : Boolean {
    return a;
}

function foo4(a : Int = 10, b : Int = 20) : Int {
    return a + b;
}

function foo5(a : Int = 10, b : Int = 20, c : Int = 30) : Int {
    assert a == 5;

    return a + b + c;
}

function foo6(a? : Int) : Int|undefined {
    return a;
}

function foo7(a? : string) : string|undefined {
    return a;
}

function foo8(a? : Boolean) : Boolean|undefined {
    return a;
}

function foo9(a? : Int, b? : Int) : Int {
    if(a == undefined && b == undefined){
        return 0;
    }
    if(b == undefined){
        return -1;
    }
    return a! + b;
}

function foo10(a? : Int, b? : Int, c? : Int) : Int {
    assert a! == 5;
    if(b == undefined && c == undefined){
        return 0;
    }
    if(c == undefined){
        return -1;
    }

    return a! + b! + c;
}

function foo11(a : Int = 5, b? : Int) : Int {
    if(b == undefined){
        return 0;
    }
    return a + b;
}

function foo12(a? : Int, b : Int = 5, c? : Int) : Int {
    assert b == 5;

    if(a == undefined && c == undefined){
        return 0;
    }

    return a! + b + c!;
}

function foo13(a : Int, b : Int = 5) : Int {
    return a + b;
}

function foo14(a : Int, b : Int = 5, c : Int = 10) : Int {
    return a + b + c;
}

function foo15(a : Int, b : Int, c : Int = 5) : Int {
    return a + b + c;
}

function foo16(a : Int, b : Int, c : Int = 10, d : Int = 5) : Int {
    return a + b + c + d;
}