pkg/compiler/test/inference/data/assign_op.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() {
  assignPlus();
  assignAnd();
  instanceAssignPlus();
  instanceAssignAnd();
  assignIndexPlus();
  assignIndexAnd();
  assignIndexInc();
  assignIndexDec();
}

////////////////////////////////////////////////////////////////////////////////

/*member: assignPlus:[subclass=JSUInt32|powerset={I}{O}{N}]*/
assignPlus() {
  var i = 87;
  return i /*invoke: [exact=JSUInt31|powerset={I}{O}{N}]*/ += 42;
}

/*member: assignAnd:[exact=JSUInt31|powerset={I}{O}{N}]*/
assignAnd() {
  var i = 87;
  return i /*invoke: [exact=JSUInt31|powerset={I}{O}{N}]*/ &= 42;
}

/*member: Class1.:[exact=Class1|powerset={N}{O}{N}]*/
class Class1 {
  /*member: Class1.field:[subclass=JSPositiveInt|powerset={I}{O}{N}]*/
  var field = 87;
}

/*member: instanceAssignPlus:[subclass=JSPositiveInt|powerset={I}{O}{N}]*/
instanceAssignPlus() {
  var c = Class1();
  return c. /*[exact=Class1|powerset={N}{O}{N}]*/ /*update: [exact=Class1|powerset={N}{O}{N}]*/ field /*invoke: [subclass=JSPositiveInt|powerset={I}{O}{N}]*/ +=
      42;
}

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

/*member: instanceAssignAnd:[exact=JSUInt31|powerset={I}{O}{N}]*/
instanceAssignAnd() {
  var c = Class2();
  return c. /*[exact=Class2|powerset={N}{O}{N}]*/ /*update: [exact=Class2|powerset={N}{O}{N}]*/ field /*invoke: [exact=JSUInt31|powerset={I}{O}{N}]*/ &=
      42;
}

/*member: assignIndexPlus:[subclass=JSPositiveInt|powerset={I}{O}{N}]*/
assignIndexPlus() {
  var i = [87];
  return i
      /*Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [subclass=JSPositiveInt|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
      /*update: Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [subclass=JSPositiveInt|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
      [0] /*invoke: [subclass=JSPositiveInt|powerset={I}{O}{N}]*/ +=
      42;
}

/*member: assignIndexAnd:[exact=JSUInt31|powerset={I}{O}{N}]*/
assignIndexAnd() {
  var i = [87];
  return i
      /*Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [exact=JSUInt31|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
      /*update: Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [exact=JSUInt31|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
      [0] /*invoke: [exact=JSUInt31|powerset={I}{O}{N}]*/ &=
      42;
}

/*member: assignIndexInc:[subclass=JSPositiveInt|powerset={I}{O}{N}]*/
assignIndexInc() {
  var i = [87];
  return i
  /*Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [subclass=JSPositiveInt|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
  /*update: Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [subclass=JSPositiveInt|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
  [0] /*invoke: [subclass=JSPositiveInt|powerset={I}{O}{N}]*/ ++;
}

/*member: assignIndexDec:[subclass=JSInt|powerset={I}{O}{N}]*/
assignIndexDec() {
  var i = [87];
  return /*invoke: [subclass=JSInt|powerset={I}{O}{N}]*/ --i
  /*Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [subclass=JSInt|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
  /*update: Container([exact=JSExtendableArray|powerset={I}{G}{M}], element: [subclass=JSInt|powerset={I}{O}{N}], length: 1, powerset: {I}{G}{M})*/
  [0];
}