OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 library test_sample_extension; | 5 library test_sample_extension; |
6 | 6 |
7 import 'sample_synchronous_extension.dart'; | 7 import 'sample_synchronous_extension.dart'; |
8 | 8 |
9 void check(bool condition, String message) { | 9 void check(bool condition, String message) { |
10 if (!condition) { | 10 if (!condition) { |
11 throw new StateError(message); | 11 throw new StateError(message); |
12 } | 12 } |
13 } | 13 } |
14 | 14 |
15 void main() { | 15 void checkSystemRand() { |
16 systemSrand(17); | 16 systemSrand(17); |
17 var x1 = systemRand(); | 17 var x1 = systemRand(); |
18 var x2 = systemRand(); | 18 var x2 = systemRand(); |
19 var x3 = systemRand(); | 19 var x3 = systemRand(); |
20 check(x1 != x2, "x1 != x2"); | 20 check(x1 != x2, "x1 != x2"); |
21 check(x1 != x3, "x1 != x3"); | 21 check(x1 != x3, "x1 != x3"); |
22 check(x2 != x3, "x2 != x3"); | 22 check(x2 != x3, "x2 != x3"); |
23 systemSrand(17); | 23 systemSrand(17); |
24 check(x1 == systemRand(), "x1 == systemRand()"); | 24 check(x1 == systemRand(), "x1 == systemRand()"); |
25 check(x2 == systemRand(), "x2 == systemRand()"); | 25 check(x2 == systemRand(), "x2 == systemRand()"); |
26 check(x3 == systemRand(), "x3 == systemRand()"); | 26 check(x3 == systemRand(), "x3 == systemRand()"); |
27 systemSrand(18); | 27 systemSrand(18); |
28 check(x1 != systemRand(), "x1 != systemRand()"); | 28 check(x1 != systemRand(), "x1 != systemRand()"); |
29 check(x2 != systemRand(), "x2 != systemRand()"); | 29 check(x2 != systemRand(), "x2 != systemRand()"); |
30 check(x3 != systemRand(), "x3 != systemRand()"); | 30 check(x3 != systemRand(), "x3 != systemRand()"); |
31 } | 31 } |
| 32 |
| 33 void checkNoScopeSystemRand() { |
| 34 systemSrand(17); |
| 35 var x1 = noScopeSystemRand(); |
| 36 var x2 = noScopeSystemRand(); |
| 37 var x3 = noScopeSystemRand(); |
| 38 check(x1 != x2, "x1 != x2"); |
| 39 check(x1 != x3, "x1 != x3"); |
| 40 check(x2 != x3, "x2 != x3"); |
| 41 systemSrand(17); |
| 42 check(x1 == noScopeSystemRand(), "x1 == noScopeSystemRand()"); |
| 43 check(x2 == noScopeSystemRand(), "x2 == noScopeSystemRand()"); |
| 44 check(x3 == noScopeSystemRand(), "x3 == noScopeSystemRand()"); |
| 45 systemSrand(18); |
| 46 check(x1 != noScopeSystemRand(), "x1 != noScopeSystemRand()"); |
| 47 check(x2 != noScopeSystemRand(), "x2 != noScopeSystemRand()"); |
| 48 check(x3 != noScopeSystemRand(), "x3 != noScopeSystemRand()"); |
| 49 } |
| 50 |
| 51 void main() { |
| 52 checkSystemRand(); |
| 53 checkNoScopeSystemRand(); |
| 54 } |
OLD | NEW |