xref: /arkcompiler/ets_frontend/ets2panda/test/runtime/ets/SmartCast_03.sts

/*
 * Copyright (c) 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.
 */

class C  {
  constructor() {}

  constructor(a: int) {
    this.x = a;
  }

  bar(): string {
    return "Class C";
  }

  baz(): int {
    return this.x;
  }

  private x: int = 7;
}

function foo(c: Object|null|undefined): string {
  if (c instanceof string && (c.length == 11 || c == "Test"))  {
    c = "Case 1";
  } else if (c instanceof C && c.baz() == 7) {
    assert(c.bar() == "Class C")
    c = "Case 2";
  } else if (c instanceof Int && c >= 0) {
    assert(c >= 0);
    c = "Case 3";
  } else if (c instanceof null) {
    assert(c == null);
    c = "Case 4";
  } else {
    c = "Case 5";
  }

  assert(c.length == 6);
  return c;
}

function main(): void {
  assert(foo("Test string") == "Case 1");
  assert(foo("Test") == "Case 1");
  assert(foo("Test string 2") == "Case 5");
  assert(foo("test") == "Case 5");

  assert(foo(new Int(5)) == "Case 3");
  assert(foo(new Int(0)) == "Case 3");
  assert(foo(new Int(-5)) == "Case 5");

  assert(foo(new C(7)) == "Case 2");
  assert(foo(new C()) == "Case 2");
  assert(foo(new C(17)) == "Case 5");

  assert(foo(null) == "Case 4");

  assert(foo(undefined) == "Case 5");
  assert(foo(new Number(3.0)) == "Case 5");
}