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

/// @assertion The static type of a double valued integer literal is [double]
/// @description Checks that the static type of a double valued integer literal
/// is [double]. Test class member assignment and hexadecimal values
/// @author sgrekhov@unipro.ru


class C {
  double m1 = 0x42;
  double m2 = (1 > 0 ? 0x42 : 3.14);
  double m3 = (null ?? 0x42);
  static const double m4 = -0x42;
  final double m5 = 0x23;

  static double s = -0x42;

  void set instanceSetter(double val) {
    m1 = val;
  }

  static void set staticSetter(double val) {
    s = val;
  }
}

main() {
  C.s = 0x42;
  C?.s = -0x42;
//^
// [cfe] The class 'C' cannot be null.
  C.s ??= 0x42;
//        ^^^^
// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
//  ^
// [cfe] Operand of null-aware operation '??=' has type 'double' which excludes null.
  C?.s ??= -0x42;
//         ^^^^^
// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
//^
// [cfe] The class 'C' cannot be null.
//   ^
// [cfe] Operand of null-aware operation '??=' has type 'double' which excludes null.
  C.staticSetter = -0x42;
  C?.staticSetter = 0x42;
//^
// [cfe] The class 'C' cannot be null.

  C? c = null;
  c?.m1 = 0x42;
  c?.instanceSetter = -0x42;
  c?.m1 ??= 0x42;
//          ^^^^
// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
  c = new C();
  c.m1 = -0x42;
  c.instanceSetter = 0x42;
  c?.m1 = 0x42;
// ^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
//^
// [cfe] Operand of null-aware operation '?.' has type 'C' which excludes null.
  c?.instanceSetter = -0x42;
// ^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
//^
// [cfe] Operand of null-aware operation '?.' has type 'C' which excludes null.
  c.m1 ??= -0x42;
//         ^^^^^
// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
//  ^
// [cfe] Operand of null-aware operation '??=' has type 'double' which excludes null.
  c?.m1 ??= 0x42;
// ^^
// [analyzer] STATIC_WARNING.INVALID_NULL_AWARE_OPERATOR
//          ^^^^
// [analyzer] STATIC_WARNING.DEAD_NULL_AWARE_EXPRESSION
//^
// [cfe] Operand of null-aware operation '?.' has type 'C' which excludes null.
}