| // Copyright (c) 2127, 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. |
| |
| // @dart = 2.7 |
| |
| /*member: main:[null]*/ |
| main() { |
| exposeThis1(); |
| exposeThis2(); |
| exposeThis3(); |
| exposeThis4(); |
| exposeThis5(); |
| exposeThis6(); |
| exposeThis7(); |
| } |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with initializer in constructor body. No prior use of this. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class1 { |
| // The inferred type of the field does _not_ include `null` because it has |
| // _not_ been read before its initialization. |
| /*member: Class1.field:[exact=JSUInt31]*/ |
| var field; |
| |
| /*member: Class1.:[exact=Class1]*/ |
| Class1() { |
| /*update: [exact=Class1]*/ field = 42; |
| } |
| } |
| |
| /*member: exposeThis1:[exact=Class1]*/ |
| exposeThis1() => new Class1(); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with self-assigning initializer in constructor body. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class2 { |
| // The inferred type of the field includes `null` because it has been read |
| // before its initialization. |
| /*member: Class2.field:[null]*/ |
| var field; |
| |
| /*member: Class2.:[exact=Class2]*/ |
| Class2() { |
| /*update: [exact=Class2]*/ field = /*[exact=Class2]*/ field; |
| } |
| } |
| |
| /*member: exposeThis2:[exact=Class2]*/ |
| exposeThis2() => new Class2(); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with prior self-assigning initializer in constructor body. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class3 { |
| /*member: Class3.field:[null|exact=JSUInt31]*/ |
| var field; |
| |
| /*member: Class3.:[exact=Class3]*/ |
| Class3() { |
| /*update: [exact=Class3]*/ field = /*[exact=Class3]*/ field; |
| /*update: [exact=Class3]*/ field = 42; |
| } |
| } |
| |
| /*member: exposeThis3:[exact=Class3]*/ |
| exposeThis3() => new Class3(); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with access prior to initializer in constructor body. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class4 { |
| /*member: Class4.field:[null|exact=JSUInt31]*/ |
| var field; |
| |
| /*member: Class4.:[exact=Class4]*/ |
| Class4() { |
| // ignore: UNUSED_LOCAL_VARIABLE |
| var o = /*[exact=Class4]*/ field; |
| /*update: [exact=Class4]*/ field = 42; |
| } |
| } |
| |
| /*member: exposeThis4:[exact=Class4]*/ |
| exposeThis4() => new Class4(); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with postfix prior to initializer in constructor body. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class5 { |
| /*member: Class5.field:[null|subclass=JSPositiveInt]*/ |
| var field; |
| |
| /*member: Class5.:[exact=Class5]*/ |
| Class5() { |
| /*[exact=Class5]*/ /*update: [exact=Class5]*/ field /*invoke: [null|subclass=JSPositiveInt]*/ ++; |
| /*update: [exact=Class5]*/ field = 42; |
| } |
| } |
| |
| /*member: exposeThis5:[exact=Class5]*/ |
| exposeThis5() => new Class5(); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with postfix after initializer in constructor body. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class6 { |
| /*member: Class6.field:[subclass=JSPositiveInt]*/ |
| var field; |
| |
| /*member: Class6.:[exact=Class6]*/ |
| Class6() { |
| /*update: [exact=Class6]*/ field = 42; |
| /*[exact=Class6]*/ /*update: [exact=Class6]*/ field /*invoke: [subclass=JSPositiveInt]*/ ++; |
| } |
| } |
| |
| /*member: exposeThis6:[exact=Class6]*/ |
| exposeThis6() => new Class6(); |
| |
| //////////////////////////////////////////////////////////////////////////////// |
| // Class with accesses prior to initializers in constructor body. |
| //////////////////////////////////////////////////////////////////////////////// |
| |
| class Class7 { |
| /*member: Class7.field1:[null|exact=JSUInt31]*/ |
| var field1; |
| |
| /*member: Class7.field2:[null|exact=JSUInt31]*/ |
| var field2; |
| |
| /*member: Class7.:[exact=Class7]*/ |
| Class7() { |
| // ignore: UNUSED_LOCAL_VARIABLE |
| var o1 = /*[exact=Class7]*/ field1; |
| // ignore: UNUSED_LOCAL_VARIABLE |
| var o2 = /*[exact=Class7]*/ field2; |
| /*update: [exact=Class7]*/ field1 = 42; |
| /*update: [exact=Class7]*/ field2 = 87; |
| } |
| } |
| |
| /*member: exposeThis7:[exact=Class7]*/ |
| exposeThis7() => new Class7(); |