pkg/compiler/test/inference/data/new.dart

// Copyright (c) 2017, 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() {
  generativeConstructorCall();
  factoryConstructorCall2();
  factoryConstructorCall3();
  classWithFinalFieldInitializer();
  classWithNonFinalFieldInitializer();
  classWithExplicitFieldInitializer();
  classWithFieldInitializerInBody();
  classWithNullNoFieldInitializerInBody();
  classWithNullFieldInitializerInBody();
  classWithNullMaybeFieldInitializerInBody();
  classWithNullFinalFieldInitializer();
}

////////////////////////////////////////////////////////////////////////////////
/// Call default constructor of a field-less class.
////////////////////////////////////////////////////////////////////////////////

/*member: Class1.:[exact=Class1|powerset={N}]*/
class Class1 {}

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

////////////////////////////////////////////////////////////////////////////////
/// Call factory constructor that returns an instance of the same class.
////////////////////////////////////////////////////////////////////////////////

class Class3 {
  /*member: Class3.:[exact=Class3|powerset={N}]*/
  factory Class3() => Class3.named();
  /*member: Class3.named:[exact=Class3|powerset={N}]*/
  Class3.named();
}

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

////////////////////////////////////////////////////////////////////////////////
/// Call factory constructor that returns an instance of another class.
////////////////////////////////////////////////////////////////////////////////

class Class4a {
  /*member: Class4a.:[exact=Class4b|powerset={N}]*/
  factory Class4a() => Class4b();
}

/*member: Class4b.:[exact=Class4b|powerset={N}]*/
class Class4b implements Class4a {}

/*member: factoryConstructorCall3:[exact=Class4b|powerset={N}]*/
factoryConstructorCall3() => Class4a();

////////////////////////////////////////////////////////////////////////////////
/// Call constructor with final field initialization.
////////////////////////////////////////////////////////////////////////////////

class Class5 {
  final /*member: Class5.field:[exact=JSUInt31|powerset={I}]*/ field;

  /*member: Class5.:[exact=Class5|powerset={N}]*/
  Class5(this. /*[exact=JSUInt31|powerset={I}]*/ field);
}

/*member: classWithFinalFieldInitializer:[exact=Class5|powerset={N}]*/
classWithFinalFieldInitializer() => Class5(0);

////////////////////////////////////////////////////////////////////////////////
/// Call constructor with non-final field initialization.
////////////////////////////////////////////////////////////////////////////////

class Class6 {
  var /*member: Class6.field:[exact=JSUInt31|powerset={I}]*/ field;

  /*member: Class6.:[exact=Class6|powerset={N}]*/
  Class6(this. /*[exact=JSUInt31|powerset={I}]*/ field);
}

/*member: classWithNonFinalFieldInitializer:[exact=Class6|powerset={N}]*/
classWithNonFinalFieldInitializer() => Class6(0);

////////////////////////////////////////////////////////////////////////////////
/// Call constructor with explicit field initialization.
////////////////////////////////////////////////////////////////////////////////

class Class7 {
  var /*member: Class7.field:[exact=JSUInt31|powerset={I}]*/ field;

  /*member: Class7.:[exact=Class7|powerset={N}]*/
  Class7(/*[exact=JSUInt31|powerset={I}]*/ value) : this.field = value;
}

/*member: classWithExplicitFieldInitializer:[exact=Class7|powerset={N}]*/
classWithExplicitFieldInitializer() => Class7(0);

////////////////////////////////////////////////////////////////////////////////
/// Call constructor with field initialization in the constructor body.
////////////////////////////////////////////////////////////////////////////////

class Class8 {
  var /*member: Class8.field:[exact=JSUInt31|powerset={I}]*/ field;

  /*member: Class8.:[exact=Class8|powerset={N}]*/
  Class8(/*[exact=JSUInt31|powerset={I}]*/ value) {
    this. /*update: [exact=Class8|powerset={N}]*/ field = value;
  }
}

/*member: classWithFieldInitializerInBody:[exact=Class8|powerset={N}]*/
classWithFieldInitializerInBody() => Class8(0);

////////////////////////////////////////////////////////////////////////////////
/// Instance field with `null` initializer and no assignment in the constructor
/// body.
////////////////////////////////////////////////////////////////////////////////

class Class9 {
  var /*member: Class9.field:[null|powerset={null}]*/ field = null;

  /*member: Class9.:[exact=Class9|powerset={N}]*/
  Class9() {}
}

/*member: classWithNullNoFieldInitializerInBody:[exact=Class9|powerset={N}]*/
classWithNullNoFieldInitializerInBody() => Class9();

////////////////////////////////////////////////////////////////////////////////
/// Instance field with `null` initializer and an assignment in the constructor
/// body.
////////////////////////////////////////////////////////////////////////////////

class Class10 {
  var /*member: Class10.field:[exact=JSUInt31|powerset={I}]*/ field = null;

  /*member: Class10.:[exact=Class10|powerset={N}]*/
  Class10(/*[exact=JSUInt31|powerset={I}]*/ value) {
    this. /*update: [exact=Class10|powerset={N}]*/ field = value;
  }
}

/*member: classWithNullFieldInitializerInBody:[exact=Class10|powerset={N}]*/
classWithNullFieldInitializerInBody() => Class10(0);

////////////////////////////////////////////////////////////////////////////////
/// Instance field with `null` initializer and an assignment in one of the
/// constructor bodies.
////////////////////////////////////////////////////////////////////////////////

class Class11 {
  var /*member: Class11.field:[null|exact=JSUInt31|powerset={null}{I}]*/ field =
      null;

  /*member: Class11.a:[exact=Class11|powerset={N}]*/
  Class11.a(/*[exact=JSUInt31|powerset={I}]*/ value) {
    this. /*update: [exact=Class11|powerset={N}]*/ field = value;
  }

  /*member: Class11.b:[exact=Class11|powerset={N}]*/
  Class11.b() {}
}

/*member: classWithNullMaybeFieldInitializerInBody:[exact=Class11|powerset={N}]*/
classWithNullMaybeFieldInitializerInBody() {
  Class11.a(0);
  return Class11.b();
}

////////////////////////////////////////////////////////////////////////////////
/// Final instance field with `null` initializer.
////////////////////////////////////////////////////////////////////////////////

class Class12 {
  final /*member: Class12.field:[null|powerset={null}]*/ field = null;

  /*member: Class12.:[exact=Class12|powerset={N}]*/
  Class12();
}

/*member: classWithNullFinalFieldInitializer:[exact=Class12|powerset={N}]*/
classWithNullFinalFieldInitializer() {
  return Class12();
}