// 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: Class.:[exact=Class|powerset={N}]*/
class Class {
  /*member: Class.field:[exact=JSUInt31|powerset={I}]*/
  var field = 42;

  /*member: Class.method:[null|powerset={null}]*/
  method([
    /*[null|exact=JSUInt31|powerset={null}{I}]*/ a,
    /*[null|exact=JSUInt31|powerset={null}{I}]*/ b,
  ]) {}
}

/*member: main:[null|powerset={null}]*/
main() {
  Class();
  statementOrderFieldAccess(null);
  statementOrderFieldUpdate(null);
  statementOrderInvocation(null);
  receiverVsArgument(null);
  argumentsOrder(null);
  operatorOrder(null);
  updateVsRhs(null);
  logicalOr(null);
  conditionalCondition(null);
  conditionalBothBranches(null);
  conditionalOneBranchOnly(null);
}

////////////////////////////////////////////////////////////////////////////////
// Accesses in statements.
////////////////////////////////////////////////////////////////////////////////

/*member: statementOrderFieldAccess:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
statementOrderFieldAccess(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  o.field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Updates in statements.
////////////////////////////////////////////////////////////////////////////////

/*member: statementOrderFieldUpdate:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
statementOrderFieldUpdate(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  o.field = 42;
  o. /*update: [subclass=Object|powerset={IN}]*/ field = 42;
}

////////////////////////////////////////////////////////////////////////////////
// Invocations in statements.
////////////////////////////////////////////////////////////////////////////////

/*member: statementOrderInvocation:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
statementOrderInvocation(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  o.method(null);
  o. /*invoke: [subclass=Object|powerset={IN}]*/ method(null);
}

////////////////////////////////////////////////////////////////////////////////
// Access in argument before method call.
////////////////////////////////////////////////////////////////////////////////

/*member: receiverVsArgument:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
receiverVsArgument(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  // TODO(johnniwinther): The arguments should refine the receiver.
  o.method(o.field);
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Access in multiple arguments.
////////////////////////////////////////////////////////////////////////////////

/*member: argumentsOrder:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
argumentsOrder(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  // TODO(johnniwinther): The arguments should refine the receiver.
  o.method(o.field, o. /*[subclass=Object|powerset={IN}]*/ field);
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Access in both sides of an operator call.
////////////////////////////////////////////////////////////////////////////////

/*member: operatorOrder:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
operatorOrder(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  o.field /*invoke: [exact=JSUInt31|powerset={I}]*/ <
      o. /*[subclass=Object|powerset={IN}]*/ field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Assign after access in right-hand side.
////////////////////////////////////////////////////////////////////////////////

/*member: updateVsRhs:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
updateVsRhs(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  // TODO(johnniwinther): The right-hand side should refine the left-hand side
  // receiver.
  o.field = o.field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Access in both sides of a logical or.
////////////////////////////////////////////////////////////////////////////////

/*member: logicalOr:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
logicalOr(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  o.field || o. /*[subclass=Object|powerset={IN}]*/ field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Access in condition of a conditional expression.
////////////////////////////////////////////////////////////////////////////////

/*member: conditionalCondition:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
conditionalCondition(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  o.field
      ? o. /*[subclass=Object|powerset={IN}]*/ field
      : o. /*[subclass=Object|powerset={IN}]*/ field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Access both branches of a conditional expression.
////////////////////////////////////////////////////////////////////////////////

/*member: _#flag:[exact=_Cell|powerset={N}]*/
late bool /*Value([exact=JSBool|powerset={I}], value: true, powerset: {I})*/ /*update: [exact=_Cell|powerset={N}]*/
flag;

/*member: conditionalBothBranches:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
conditionalBothBranches(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  // ignore: DEAD_CODE
  (flag = true) ? o.field : o.field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}

////////////////////////////////////////////////////////////////////////////////
// Access in only one branch of a conditional expression.
////////////////////////////////////////////////////////////////////////////////

/*member: conditionalOneBranchOnly:[null|powerset={null}]*/
@pragma('dart2js:assumeDynamic')
conditionalOneBranchOnly(/*[null|subclass=Object|powerset={null}{IN}]*/ o) {
  // ignore: DEAD_CODE
  (flag = true) ? o.field : null;
  o.field;
  o. /*[subclass=Object|powerset={IN}]*/ field;
}