blob: fddd83c93db72b52b35f50bfa58d05da2457c3ac [file] [log] [blame]
// Copyright (c) 2019, 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.
// SharedOptions=--enable-experiment=non-nullable
import 'package:expect/expect.dart';
class A {
late int lateField = initLateField();
int initLateField() {
lateField = 456;
Expect.equals(456, lateField);
return 123;
}
late final int lateFinalField = initLateFinalField();
int count = 0;
int initLateFinalField() {
if (count == 5) return count;
return ++count + lateFinalField;
}
static late int staticLateField = initStaticLateField();
static int initStaticLateField() {
staticLateField = 456;
Expect.equals(456, staticLateField);
return 123;
}
static late final int staticLateFinalField = initStaticLateFinalField();
static int staticCount = 0;
static int initStaticLateFinalField() {
if (staticCount == 5) return staticCount;
return ++staticCount + staticLateFinalField;
}
}
lateFieldWithInitThatWritesIntermediateValue() {
A a = A();
Expect.equals(123, a.lateField);
Expect.throws(() => a.lateFinalField);
Expect.equals(5, a.lateFinalField);
Expect.equals(123, A.staticLateField);
Expect.throws(() => A.staticLateFinalField);
Expect.equals(5, A.staticLateFinalField);
}
lateFieldWithComplicatedInitializers() {
late int count = 0;
int closure() {
++count;
return 5;
}
late int nestedLateVar = closure();
late var lateVar = [for (int i = 0; i < nestedLateVar; ++i) i * i];
Expect.equals(0, count);
Expect.listEquals([0, 1, 4, 9, 16], lateVar);
Expect.equals(1, count);
Expect.listEquals([0, 1, 4, 9, 16], lateVar);
Expect.equals(1, count);
count = 0;
late var lateVarInIf = [++count, for (int i = 0; i < 3; ++i) i * i];
Expect.equals(0, count);
if (true) Expect.listEquals([1, 0, 1, 4], lateVarInIf);
Expect.equals(1, count);
Expect.listEquals([1, 0, 1, 4], lateVarInIf);
Expect.equals(1, count);
count = 0;
late var lateVarInFor = [++count, for (int i = 0; i < 3; ++i) i * i];
Expect.equals(0, count);
for (int i = 0; i < 3; ++i) Expect.listEquals([1, 0, 1, 4], lateVarInFor);
Expect.equals(1, count);
count = 0;
late var lateVarInClosure = [++count, for (int i = 0; i < 3; ++i) i * i];
void anotherClosure() {
Expect.listEquals([1, 0, 1, 4], lateVarInClosure);
}
Expect.equals(0, count);
anotherClosure();
anotherClosure();
anotherClosure();
Expect.equals(1, count);
count = 0;
late int lateVarClosureOuter = () {
Expect.equals(0, count);
++count;
late int lateVarClosureInner = closure();
Expect.equals(1, count);
Expect.equals(5, lateVarClosureInner);
Expect.equals(2, count);
return lateVarClosureInner;
}();
Expect.equals(0, count);
Expect.equals(5, lateVarClosureOuter);
Expect.equals(2, count);
}
class B {
late int throwBeforeWrite = initThrowBeforeWrite();
int initThrowBeforeWrite() {
throw AssertionError();
return 123;
}
late int throwAfterWrite = initThrowAfterWrite();
int initThrowAfterWrite() {
throwAfterWrite = 456;
throw AssertionError();
return 123;
}
}
lateFieldWithThrowingInitializers() {
late int throwBeforeWrite = () {
throw AssertionError();
return 123;
}();
Expect.throwsAssertionError(() => throwBeforeWrite);
Expect.throwsAssertionError(() => throwBeforeWrite);
Expect.throwsAssertionError(() => throwBeforeWrite);
B b = B();
Expect.throwsAssertionError(() => b.throwBeforeWrite);
Expect.throwsAssertionError(() => b.throwBeforeWrite);
Expect.throwsAssertionError(() => b.throwBeforeWrite);
Expect.throwsAssertionError(() => b.throwAfterWrite);
Expect.equals(456, b.throwAfterWrite);
Expect.equals(456, b.throwAfterWrite);
}
main() {
lateFieldWithInitThatWritesIntermediateValue();
lateFieldWithComplicatedInitializers();
lateFieldWithThrowingInitializers();
}