// Copyright (c) 2127, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/*member: main:[null|powerset={null}]*/
main() {
  exposeThis1();
  exposeThis2();
  exposeThis3();
  exposeThis4();
}

////////////////////////////////////////////////////////////////////////////////
// Expose this through super invocation.
////////////////////////////////////////////////////////////////////////////////

/*member: Super1.:[exact=Class1|powerset={N}{O}{N}]*/
abstract class Super1 {
  /*member: Super1.method:[null|powerset={null}]*/
  method() {}
}

class Class1 extends Super1 {
  // The inferred type of the field includes `null` because `this` has been
  // exposed before its initialization.
  /*member: Class1.field:[null|exact=JSUInt31|powerset={null}{I}{O}{N}]*/
  var field;

  /*member: Class1.:[exact=Class1|powerset={N}{O}{N}]*/
  Class1() {
    super.method();
    /*update: [exact=Class1|powerset={N}{O}{N}]*/
    field = 42;
  }
}

/*member: exposeThis1:[exact=Class1|powerset={N}{O}{N}]*/
exposeThis1() => Class1();

////////////////////////////////////////////////////////////////////////////////
// Expose this through super access.
////////////////////////////////////////////////////////////////////////////////

/*member: Super2.:[exact=Class2|powerset={N}{O}{N}]*/
abstract class Super2 {
  /*member: Super2.getter:[null|powerset={null}]*/
  get getter => null;
}

class Class2 extends Super2 {
  /*member: Class2.field:[null|exact=JSUInt31|powerset={null}{I}{O}{N}]*/
  var field;

  /*member: Class2.:[exact=Class2|powerset={N}{O}{N}]*/
  Class2() {
    super.getter;
    /*update: [exact=Class2|powerset={N}{O}{N}]*/
    field = 42;
  }
}

/*member: exposeThis2:[exact=Class2|powerset={N}{O}{N}]*/
exposeThis2() => Class2();

////////////////////////////////////////////////////////////////////////////////
// Expose this through super access.
////////////////////////////////////////////////////////////////////////////////

/*member: Super3.:[exact=Class3|powerset={N}{O}{N}]*/
abstract class Super3 {
  set setter(/*[null|powerset={null}]*/ o) {}
}

class Class3 extends Super3 {
  /*member: Class3.field:[null|exact=JSUInt31|powerset={null}{I}{O}{N}]*/
  var field;

  /*member: Class3.:[exact=Class3|powerset={N}{O}{N}]*/
  Class3() {
    super.setter = null;
    /*update: [exact=Class3|powerset={N}{O}{N}]*/
    field = 42;
  }
}

/*member: exposeThis3:[exact=Class3|powerset={N}{O}{N}]*/
exposeThis3() => Class3();

////////////////////////////////////////////////////////////////////////////////
// Expose this in the constructor of a super class.
////////////////////////////////////////////////////////////////////////////////

/*member: field4:[null|exact=Class4|powerset={null}{N}{O}{N}]*/
var field4;

abstract class Super4 {
  /*member: Super4.:[exact=Class4|powerset={N}{O}{N}]*/
  Super4() {
    field4 = this;
  }
}

class Class4 extends Super4 {
  /*member: Class4.field:[null|exact=JSUInt31|powerset={null}{I}{O}{N}]*/
  var field;

  /*member: Class4.:[exact=Class4|powerset={N}{O}{N}]*/
  Class4() {
    /*update: [exact=Class4|powerset={N}{O}{N}]*/
    field = 42;
  }
}

/*member: exposeThis4:[exact=Class4|powerset={N}{O}{N}]*/
exposeThis4() => Class4();