Allow patch files to add top-level declarations to the patched library.

corelib/unified/math/random.dart

 // Copyright (c) 2012, 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.
 
 // A part of the dart:math library.
 
 /**
  * A random number generator. The default implementation supplies a stream of
  * pseudo-random bits which is not suitable for cryptographic purposes.
  */
-interface Random default _Random {
+class Random {
   /**
    * Creates a random-number generator. The optional parameter [seed] is used
    * to initialize the internal state of the generator. The implementation of
    * the random stream can change between releases of the library.
    *
    * Implementation note: The default implementation uses up to 64-bits of seed.
    */
-  Random([int seed]);
+  external factory Random([int seed]);
 
   /**
    * Generates a positive random integer uniformly distributed on the range
    * from 0, inclusive, to [max], exclusive.
    *
    * Implementation note: The default implementation supports [max] values
    * between 1 and ((1<<32) - 1) inclusive.
    */
-  int nextInt(int max);
+  abstract int nextInt(int max);
 
   /**
    * Generates a positive random floating point value uniformly distributed on
    * the range from 0.0, inclusive, to 1.0, exclusive.
    */
-  double nextDouble();
+  abstract double nextDouble();
 
   /**
    * Generates a random boolean value.
    */
-  bool nextBool();
+  abstract bool nextBool();
 }
-
-class _Random implements Random {
-  external _Random([int seed = null]);
-  external int nextInt(int max);
-  external double nextDouble();
-  external bool nextBool();
-}