Add support for @Unsafe to analyzer

pkg/analyzer/CHANGELOG.md

@@ -1,3 +1,6 @@
+## 0.39.6
+* Add support for `@Unsafe` annotation as `isUnsafe` and `hasUnsafe`.
+
 ## 0.39.5-dev
 * Deprecated `ClassElement.instantiateToBounds()` and
   `FunctionTypeAliasElement.instantiateToBounds()`. With the null-safety

pkg/analyzer/lib/dart/element/element.dart

@@ -585,6 +585,9 @@ abstract class Element implements AnalysisTarget {
   /// Return `true` if this element has an annotation of the form `@sealed`.
   bool get hasSealed;
 
+  /// Return `true` if this element has an annotation of the form `@Unsafe`.
+  bool get hasUnsafe;
+
   /// Return `true` if this element has an annotation of the form
   /// `@visibleForTemplate`.
   bool get hasVisibleForTemplate;
@@ -782,6 +785,9 @@ abstract class ElementAnnotation implements ConstantEvaluationTarget {
   /// sealed.
   bool get isSealed;
 
+  /// Return `true` if this annotation marks a method or field as unsafe.
+  bool get isUnsafe;
+
   /// Return `true` if this annotation marks the associated member as being
   /// visible for template files.
   bool get isVisibleForTemplate;

pkg/analyzer/lib/src/dart/element/element.dart

@@ -2392,6 +2392,9 @@ class ElementAnnotationImpl implements ElementAnnotation {
   /// The name of the top-level variable used to mark a class as being sealed.
   static const String _SEALED_VARIABLE_NAME = "sealed";
 
+  /// The name of the top-level class used to mark an API as unsafe.
+  static const String _UNSAFE_CLASS_NAME = "Unsafe";
+
   /// The name of the top-level variable used to mark a method as being
   /// visible for templates.
   static const String _VISIBLE_FOR_TEMPLATE_VARIABLE_NAME =
@@ -2540,6 +2543,12 @@ class ElementAnnotationImpl implements ElementAnnotation {
       element.name == _SEALED_VARIABLE_NAME &&
       element.library?.name == _META_LIB_NAME;
 
+  @override
+  bool get isUnsafe =>
+      element is ClassElement &&
+      element.name == _UNSAFE_CLASS_NAME &&
+      element.library?.name == _META_LIB_NAME;
+
   @override
   bool get isVisibleForTemplate =>
       element is PropertyAccessorElement &&
@@ -2864,6 +2873,18 @@ abstract class ElementImpl implements Element {
     return false;
   }
 
+  @override
+  bool get hasUnsafe {
+    var metadata = this.metadata;
+    for (var i = 0; i < metadata.length; i++) {
+      var annotation = metadata[i];
+      if (annotation.isUnsafe) {
+        return true;
+      }
+    }
+    return false;
+  }
+
   @override
   bool get hasVisibleForTemplate {
     var metadata = this.metadata;

pkg/analyzer/lib/src/dart/element/member.dart

@@ -485,6 +485,9 @@ abstract class Member implements Element {
   @override
   bool get hasSealed => _declaration.hasSealed;
 
+  @override
+  bool get hasUnsafe => _declaration.hasUnsafe;
+
   @override
   bool get hasVisibleForTemplate => _declaration.hasVisibleForTemplate;
 

pkg/analyzer/pubspec.yaml

@@ -1,5 +1,5 @@
 name: analyzer
-version: 0.39.4
+version: 0.39.6
 description: This package provides a library that performs static analysis of Dart code.
 homepage: https://github.com/dart-lang/sdk/tree/master/pkg/analyzer