// 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() {
  fieldGetUnset();
  fieldGetUnsetInitialized();
  fieldSet();
  fieldSetReturn();
}

////////////////////////////////////////////////////////////////////////////////
/// Get an uninitialized field.
////////////////////////////////////////////////////////////////////////////////

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

/*member: fieldGetUnset:[null|powerset={null}]*/
fieldGetUnset() => Class1(). /*[exact=Class1|powerset={N}]*/ field;

////////////////////////////////////////////////////////////////////////////////
/// Get a field initialized to `null`.
////////////////////////////////////////////////////////////////////////////////

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

/*member: fieldGetUnsetInitialized:[null|powerset={null}]*/
fieldGetUnsetInitialized() => Class4(). /*[exact=Class4|powerset={N}]*/ field;

////////////////////////////////////////////////////////////////////////////////
/// Set an uninitialized field.
////////////////////////////////////////////////////////////////////////////////

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

/*member: fieldSet:[null|powerset={null}]*/
fieldSet() {
  Class2(). /*update: [exact=Class2|powerset={N}]*/ field = 0;
}

////////////////////////////////////////////////////////////////////////////////
/// Return the setting of an uninitialized field.
////////////////////////////////////////////////////////////////////////////////

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

/*member: fieldSetReturn:[exact=JSUInt31|powerset={I}]*/
fieldSetReturn() {
  return Class3(). /*update: [exact=Class3|powerset={N}]*/ field = 0;
}