Provide access to list of types that cannot be subtyped (issue 23125)

pkg/analyzer/lib/src/generated/resolver.dart

 // Copyright (c) 2014, 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.
 
 library engine.resolver;
 
 import "dart:math" as math;
 import 'dart:collection';
 
 import 'package:analyzer/src/generated/utilities_collection.dart';
@@ skipping 13185 matching lines @@
   }
 }
 
 /**
  * The interface `TypeProvider` defines the behavior of objects that provide access to types
  * defined by the language.
  */
 abstract class TypeProvider {
   /**
    * Return the type representing the built-in type 'bool'.
-   *
-   * @return the type representing the built-in type 'bool'
    */
   InterfaceType get boolType;
 
   /**
    * Return the type representing the type 'bottom'.
-   *
-   * @return the type representing the type 'bottom'
    */
   DartType get bottomType;
 
   /**
    * Return the type representing the built-in type 'Deprecated'.
-   *
-   * @return the type representing the built-in type 'Deprecated'
    */
   InterfaceType get deprecatedType;
 
   /**
    * Return the type representing the built-in type 'double'.
-   *
-   * @return the type representing the built-in type 'double'
    */
   InterfaceType get doubleType;
 
   /**
    * Return the type representing the built-in type 'dynamic'.
-   *
-   * @return the type representing the built-in type 'dynamic'
    */
   DartType get dynamicType;
 
   /**
    * Return the type representing the built-in type 'Function'.
-   *
-   * @return the type representing the built-in type 'Function'
    */
   InterfaceType get functionType;
 
   /**
    * Return the type representing 'Future<dynamic>'.
    */
   InterfaceType get futureDynamicType;
 
   /**
    * Return the type representing 'Future<Null>'.
    */
   InterfaceType get futureNullType;
 
   /**
    * Return the type representing the built-in type 'Future'.
    */
   InterfaceType get futureType;
 
   /**
    * Return the type representing the built-in type 'int'.
-   *
-   * @return the type representing the built-in type 'int'
    */
   InterfaceType get intType;
 
   /**
    * Return the type representing the type 'Iterable<dynamic>'.
    */
   InterfaceType get iterableDynamicType;
 
   /**
    * Return the type representing the built-in type 'Iterable'.
    */
   InterfaceType get iterableType;
 
   /**
    * Return the type representing the built-in type 'List'.
-   *
-   * @return the type representing the built-in type 'List'
    */
   InterfaceType get listType;
 
   /**
+   * Return a list containing all of the types that cannot be either extended or
+   * implemented.
+   */
+  List<InterfaceType> get nonSubtypableTypes;

[vsm, 2015/04/07 20:51:12]

sealedTypes is another option

+
+  /**
    * Return the type representing the built-in type 'Map'.
-   *
-   * @return the type representing the built-in type 'Map'
    */
   InterfaceType get mapType;
 
   /**
    * Return a [DartObjectImpl] representing the `null` object.
    */
   DartObjectImpl get nullObject;
 
   /**
    * Return the type representing the built-in type 'Null'.
-   *
-   * @return the type representing the built-in type 'null'
    */
   InterfaceType get nullType;
 
   /**
    * Return the type representing the built-in type 'num'.
-   *
-   * @return the type representing the built-in type 'num'
    */
   InterfaceType get numType;
 
   /**
    * Return the type representing the built-in type 'Object'.
-   *
-   * @return the type representing the built-in type 'Object'
    */
   InterfaceType get objectType;
 
   /**
    * Return the type representing the built-in type 'StackTrace'.
-   *
-   * @return the type representing the built-in type 'StackTrace'
    */
   InterfaceType get stackTraceType;
 
   /**
    * Return the type representing 'Stream<dynamic>'.
    */
   InterfaceType get streamDynamicType;
 
   /**
    * Return the type representing the built-in type 'Stream'.
    */
   InterfaceType get streamType;
 
   /**
    * Return the type representing the built-in type 'String'.
-   *
-   * @return the type representing the built-in type 'String'
    */
   InterfaceType get stringType;
 
   /**
    * Return the type representing the built-in type 'Symbol'.
-   *
-   * @return the type representing the built-in type 'Symbol'
    */
   InterfaceType get symbolType;
 
   /**
    * Return the type representing the built-in type 'Type'.
-   *
-   * @return the type representing the built-in type 'Type'
    */
   InterfaceType get typeType;
 
   /**
    * Return the type representing typenames that can't be resolved.
    */
   DartType get undefinedType;
 }
 
 /**
@@ skipping 183 matching lines @@
   @override
   InterfaceType get iterableType => _iterableType;
 
   @override
   InterfaceType get listType => _listType;
 
   @override
   InterfaceType get mapType => _mapType;
 
   @override
+  List<InterfaceType> get nonSubtypableTypes => <InterfaceType>[
+    nullType,
+    numType,
+    intType,
+    doubleType,
+    boolType,
+    stringType
+  ];
+
+  @override
   DartObjectImpl get nullObject {
     if (_nullObject == null) {
       _nullObject = new DartObjectImpl(nullType, NullState.NULL_STATE);
     }
     return _nullObject;
   }
 
   @override
   InterfaceType get nullType => _nullType;
 
@@ skipping 1839 matching lines @@
     nonFields.add(node);
     return null;
   }
 
   @override
   Object visitNode(AstNode node) => node.accept(TypeResolverVisitor_this);
 
   @override
   Object visitWithClause(WithClause node) => null;
 }