mirror of
https://github.com/dart-lang/sdk
synced 2024-10-14 22:09:37 +00:00
d6e78f27af
Annotations @pragma('dart2js:late:trust') @pragma('dart2js:late:check') are now scoped, so that an annotation on a library or class will take effect unless shadowed by a closer `dart2js:late` annotation. Currently the annotations affect only `late` fields. Change-Id: Ida5c2b9387449263e29e74925aac9172fb3dc40c Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/251503 Reviewed-by: Sigmund Cherem <sigmund@google.com> Commit-Queue: Stephen Adams <sra@google.com>
130 lines
3.3 KiB
Dart
130 lines
3.3 KiB
Dart
// Copyright (c) 2022, 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.
|
|
|
|
@pragma('dart2js:late:check')
|
|
library late_field_checks.lib_check;
|
|
|
|
import 'late_field_checks_common.dart';
|
|
|
|
void main() {
|
|
libraryName = 'LibraryCheck';
|
|
|
|
test(() => ClassNoneFieldNone());
|
|
test(() => ClassNoneFinalFieldNone());
|
|
test(() => ClassNoneFieldTrust());
|
|
test(() => ClassNoneFinalFieldTrust());
|
|
test(() => ClassNoneFieldCheck());
|
|
test(() => ClassNoneFinalFieldCheck());
|
|
|
|
test(() => ClassTrustFieldNone());
|
|
test(() => ClassTrustFinalFieldNone());
|
|
test(() => ClassTrustFieldTrust());
|
|
test(() => ClassTrustFinalFieldTrust());
|
|
test(() => ClassTrustFieldCheck());
|
|
test(() => ClassTrustFinalFieldCheck());
|
|
|
|
test(() => ClassCheckFieldNone());
|
|
test(() => ClassCheckFinalFieldNone());
|
|
test(() => ClassCheckFieldTrust());
|
|
test(() => ClassCheckFinalFieldTrust());
|
|
test(() => ClassCheckFieldCheck());
|
|
test(() => ClassCheckFinalFieldCheck());
|
|
}
|
|
|
|
class ClassNoneFieldNone implements Field, Checked {
|
|
late int field;
|
|
}
|
|
|
|
class ClassNoneFinalFieldNone implements Field, Final, Checked {
|
|
late final int field;
|
|
}
|
|
|
|
class ClassNoneFieldTrust implements Field, Trusted {
|
|
@pragma('dart2js:late:trust')
|
|
late int field;
|
|
}
|
|
|
|
class ClassNoneFinalFieldTrust implements Field, Final, Trusted {
|
|
@pragma('dart2js:late:trust')
|
|
late final int field;
|
|
}
|
|
|
|
class ClassNoneFieldCheck implements Field, Checked {
|
|
@pragma('dart2js:late:check')
|
|
late int field;
|
|
}
|
|
|
|
class ClassNoneFinalFieldCheck implements Field, Final, Checked {
|
|
@pragma('dart2js:late:check')
|
|
late final int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:trust')
|
|
class ClassTrustFieldNone implements Field, Trusted {
|
|
late int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:trust')
|
|
class ClassTrustFinalFieldNone implements Field, Final, Trusted {
|
|
late final int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:trust')
|
|
class ClassTrustFieldTrust implements Field, Trusted {
|
|
@pragma('dart2js:late:trust')
|
|
late int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:trust')
|
|
class ClassTrustFinalFieldTrust implements Field, Final, Trusted {
|
|
@pragma('dart2js:late:trust')
|
|
late final int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:trust')
|
|
class ClassTrustFieldCheck implements Field, Checked {
|
|
@pragma('dart2js:late:check')
|
|
late int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:trust')
|
|
class ClassTrustFinalFieldCheck implements Field, Final, Checked {
|
|
@pragma('dart2js:late:check')
|
|
late final int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:check')
|
|
class ClassCheckFieldNone implements Field, Checked {
|
|
late int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:check')
|
|
class ClassCheckFinalFieldNone implements Field, Final, Checked {
|
|
late final int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:check')
|
|
class ClassCheckFieldTrust implements Field, Trusted {
|
|
@pragma('dart2js:late:trust')
|
|
late int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:check')
|
|
class ClassCheckFinalFieldTrust implements Field, Final, Trusted {
|
|
@pragma('dart2js:late:trust')
|
|
late final int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:check')
|
|
class ClassCheckFieldCheck implements Field, Checked {
|
|
@pragma('dart2js:late:check')
|
|
late int field;
|
|
}
|
|
|
|
@pragma('dart2js:late:check')
|
|
class ClassCheckFinalFieldCheck implements Field, Final, Checked {
|
|
@pragma('dart2js:late:check')
|
|
late final int field;
|
|
}
|