/*
 * 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  {
  readonly a: boolean
  constructor(a_: boolean = false) {
    this.a = a_;
  }
}

function foo1(x: C|null|undefined): string {
  if (x == null || !x.a)  {
    return x != null ? "false1" : "null"; 
  } else  {
    return x.a ? "true2" : "false2";
  }
}

function foo2(x: C|null|undefined): string {
  if (x != null && x.a)  {
    return "true";
  } else  {
    return  x != null ? "false" : "null";
  }
}

function bar(x: C|null|undefined, y: boolean, z: boolean): string {
  if ((x instanceof C && y) || (x instanceof C && z))  {
    return (x.a ? "true1" : "false1") + y + z;
  } else  {
    return (x != null ? (x.a ? "true2" : "false2") : "null") + y + z;
  }
}

function main(): void {
  assert(foo1(null) == "null"); 
  assert(foo2(null) == "null");
  assert(bar(null, true, true) == "nulltruetrue");
  assert(bar(null, true, false) == "nulltruefalse");
  assert(bar(null, false, true) == "nullfalsetrue");
  assert(bar(null, false, false) == "nullfalsefalse");

  assert(foo1(undefined) == "null");
  assert(foo2(undefined) == "null");
  assert(bar(undefined, true, true) == "nulltruetrue");
  assert(bar(undefined, true, false) == "nulltruefalse");
  assert(bar(undefined, false, true) == "nullfalsetrue");
  assert(bar(undefined, false, false) == "nullfalsefalse");

  let c = new C();
  assert(foo1(c) == "false1");
  assert(foo2(c) == "false");
  assert(bar(c, true, true) == "false1truetrue");
  assert(bar(c, true, false) == "false1truefalse");
  assert(bar(c, false, true) == "false1falsetrue");
  assert(bar(c, false, false) == "false2falsefalse");

  c = new C(true);
  assert(foo1(c) == "true2");
  assert(foo2(c) == "true");
  assert(bar(c, true, true) == "true1truetrue");
  assert(bar(c, true, false) == "true1truefalse");
  assert(bar(c, false, true) == "true1falsetrue");
  assert(bar(c, false, false) == "true2falsefalse");
}