null-annotate lib/ui/isolate_name_server.dart (#18352)
diff --git a/lib/ui/isolate_name_server.dart b/lib/ui/isolate_name_server.dart
index 2c379f1..ac06265 100644
--- a/lib/ui/isolate_name_server.dart
+++ b/lib/ui/isolate_name_server.dart
@@ -23,7 +23,7 @@
class IsolateNameServer {
// This class is only a namespace, and should not be instantiated or
// extended directly.
- factory IsolateNameServer._() => null;
+ factory IsolateNameServer._() => throw UnsupportedError('Namespace');
/// Looks up the [SendPort] associated with a given name.
///
@@ -31,7 +31,7 @@
/// place, consider [registerPortWithName].
///
/// The `name` argument must not be null.
- static SendPort lookupPortByName(String name) {
+ static SendPort/*?*/ lookupPortByName(String/*!*/ name) {
assert(name != null, "'name' cannot be null.");
return _lookupPortByName(name);
}
@@ -49,7 +49,7 @@
/// name, as there is an inherent race condition in doing so.
///
/// The `port` and `name` arguments must not be null.
- static bool registerPortWithName(SendPort port, String name) {
+ static bool/*!*/ registerPortWithName(SendPort port, String name) {
assert(port != null, "'port' cannot be null.");
assert(name != null, "'name' cannot be null.");
return _registerPortWithName(port, name);
@@ -66,15 +66,15 @@
/// after it has been removed).
///
/// The `name` argument must not be null.
- static bool removePortNameMapping(String name) {
+ static bool/*!*/ removePortNameMapping(String name) {
assert(name != null, "'name' cannot be null.");
return _removePortNameMapping(name);
}
- static SendPort _lookupPortByName(String name)
+ static SendPort/*?*/ _lookupPortByName(String name)
native 'IsolateNameServerNatives_LookupPortByName';
- static bool _registerPortWithName(SendPort port, String name)
+ static bool/*!*/ _registerPortWithName(SendPort port, String name)
native 'IsolateNameServerNatives_RegisterPortWithName';
- static bool _removePortNameMapping(String name)
+ static bool/*!*/ _removePortNameMapping(String name)
native 'IsolateNameServerNatives_RemovePortNameMapping';
}
diff --git a/lib/web_ui/lib/src/ui/window.dart b/lib/web_ui/lib/src/ui/window.dart
index d6555f2..ae12047 100644
--- a/lib/web_ui/lib/src/ui/window.dart
+++ b/lib/web_ui/lib/src/ui/window.dart
@@ -1093,18 +1093,22 @@
// TODO(flutter_web): probably dont implement this one.
class IsolateNameServer {
+ // This class is only a namespace, and should not be instantiated or
+ // extended directly.
+ factory IsolateNameServer._() => throw UnsupportedError('Namespace');
+
static dynamic lookupPortByName(String name) {
assert(name != null, "'name' cannot be null.");
throw UnimplementedError();
}
- static bool registerPortWithName(dynamic port, String name) {
+ static bool/*!*/ registerPortWithName(dynamic port, String name) {
assert(port != null, "'port' cannot be null.");
assert(name != null, "'name' cannot be null.");
throw UnimplementedError();
}
- static bool removePortNameMapping(String name) {
+ static bool/*!*/ removePortNameMapping(String name) {
assert(name != null, "'name' cannot be null.");
throw UnimplementedError();
}