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 universe; | 5 library universe; |
6 | 6 |
7 import 'dart:collection'; | 7 import 'dart:collection'; |
8 | 8 |
9 import '../elements/elements.dart'; | 9 import '../elements/elements.dart'; |
10 import '../dart2jslib.dart'; | 10 import '../dart2jslib.dart'; |
11 import '../dart_types.dart'; | 11 import '../dart_types.dart'; |
12 import '../types/types.dart'; | 12 import '../types/types.dart'; |
13 import '../tree/tree.dart'; | 13 import '../tree/tree.dart'; |
14 import '../util/util.dart'; | 14 import '../util/util.dart'; |
| 15 import '../world.dart' show |
| 16 ClassWorld, |
| 17 World; |
15 | 18 |
16 part 'function_set.dart'; | 19 part 'function_set.dart'; |
17 part 'side_effects.dart'; | 20 part 'side_effects.dart'; |
18 | 21 |
19 class UniverseSelector { | 22 class UniverseSelector { |
20 final Selector selector; | 23 final Selector selector; |
21 final TypeMask mask; | 24 final TypeMask mask; |
22 | 25 |
23 UniverseSelector(this.selector, this.mask); | 26 UniverseSelector(this.selector, this.mask); |
24 | 27 |
(...skipping 876 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
901 // Add bits from the call structure. | 904 // Add bits from the call structure. |
902 return Hashing.mixHashCodeBits(hash, callStructure.hashCode); | 905 return Hashing.mixHashCodeBits(hash, callStructure.hashCode); |
903 } | 906 } |
904 | 907 |
905 String toString() { | 908 String toString() { |
906 return 'Selector($kind, $name, ${callStructure.structureToString()})'; | 909 return 'Selector($kind, $name, ${callStructure.structureToString()})'; |
907 } | 910 } |
908 | 911 |
909 Selector toCallSelector() => new Selector.callClosureFrom(this); | 912 Selector toCallSelector() => new Selector.callClosureFrom(this); |
910 } | 913 } |
OLD | NEW |