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 dart2js.world; | 5 library dart2js.world; |
6 | 6 |
7 import 'cache_strategy.dart'; | 7 import 'cache_strategy.dart'; |
8 import 'closure.dart' show SynthesizedCallMethodElementX; | 8 import 'closure.dart' show SynthesizedCallMethodElementX; |
9 import 'common/backend_api.dart' show BackendClasses; | 9 import 'common/backend_api.dart' show BackendClasses; |
10 import 'common.dart'; | 10 import 'common.dart'; |
11 import 'core_types.dart' show CoreClasses; | 11 import 'core_types.dart' show CoreClasses, CommonElements; |
12 import 'dart_types.dart'; | 12 import 'dart_types.dart'; |
13 import 'elements/elements.dart' | 13 import 'elements/elements.dart' |
14 show | 14 show |
15 ClassElement, | 15 ClassElement, |
16 Element, | 16 Element, |
17 FunctionElement, | 17 FunctionElement, |
18 MixinApplicationElement, | 18 MixinApplicationElement, |
19 TypedefElement, | 19 TypedefElement, |
20 FieldElement; | 20 FieldElement; |
21 import 'js_backend/backend.dart' show JavaScriptBackend; | 21 import 'js_backend/backend.dart' show JavaScriptBackend; |
(...skipping 18 matching lines...) Expand all Loading... |
40 /// JavaScript types are touched, what language features are used, and so on. | 40 /// JavaScript types are touched, what language features are used, and so on. |
41 /// This precise knowledge about what's live in the program is later used in | 41 /// This precise knowledge about what's live in the program is later used in |
42 /// optimizations and other compiler decisions during code generation. | 42 /// optimizations and other compiler decisions during code generation. |
43 abstract class ClosedWorld implements World { | 43 abstract class ClosedWorld implements World { |
44 /// Access to core classes used by the backend. | 44 /// Access to core classes used by the backend. |
45 BackendClasses get backendClasses; | 45 BackendClasses get backendClasses; |
46 | 46 |
47 /// Access to core classes used in the Dart language. | 47 /// Access to core classes used in the Dart language. |
48 CoreClasses get coreClasses; | 48 CoreClasses get coreClasses; |
49 | 49 |
| 50 CommonElements get commonElements; |
| 51 |
50 CommonMasks get commonMasks; | 52 CommonMasks get commonMasks; |
51 | 53 |
52 /// Returns `true` if [cls] is either directly or indirectly instantiated. | 54 /// Returns `true` if [cls] is either directly or indirectly instantiated. |
53 bool isInstantiated(ClassElement cls); | 55 bool isInstantiated(ClassElement cls); |
54 | 56 |
55 /// Returns `true` if [cls] is directly instantiated. This means that at | 57 /// Returns `true` if [cls] is directly instantiated. This means that at |
56 /// runtime instances of exactly [cls] are assumed to exist. | 58 /// runtime instances of exactly [cls] are assumed to exist. |
57 bool isDirectlyInstantiated(ClassElement cls); | 59 bool isDirectlyInstantiated(ClassElement cls); |
58 | 60 |
59 /// Returns `true` if [cls] is abstractly instantiated. This means that at | 61 /// Returns `true` if [cls] is abstractly instantiated. This means that at |
(...skipping 807 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
867 | 869 |
868 final Set<Element> elementsThatCannotThrow = new Set<Element>(); | 870 final Set<Element> elementsThatCannotThrow = new Set<Element>(); |
869 | 871 |
870 final Set<Element> functionsThatMightBePassedToApply = | 872 final Set<Element> functionsThatMightBePassedToApply = |
871 new Set<FunctionElement>(); | 873 new Set<FunctionElement>(); |
872 | 874 |
873 final Set<Element> alreadyPopulated; | 875 final Set<Element> alreadyPopulated; |
874 | 876 |
875 CommonMasks _commonMasks; | 877 CommonMasks _commonMasks; |
876 | 878 |
877 final CoreClasses coreClasses; | 879 final CommonElements commonElements; |
878 | 880 |
879 final CacheStrategy cacheStrategy; | 881 final CacheStrategy cacheStrategy; |
880 | 882 |
881 final ResolutionWorldBuilder resolverWorld; | 883 final ResolutionWorldBuilder resolverWorld; |
882 | 884 |
883 bool get isClosed => _closed; | 885 bool get isClosed => _closed; |
884 | 886 |
885 Set<ClassElement> typesImplementedBySubclassesOf(ClassElement cls) { | 887 Set<ClassElement> typesImplementedBySubclassesOf(ClassElement cls) { |
886 return _typesImplementedBySubclasses[cls.declaration]; | 888 return _typesImplementedBySubclasses[cls.declaration]; |
887 } | 889 } |
888 | 890 |
889 WorldImpl(this.resolverWorld, this._backend, this.coreClasses, | 891 WorldImpl(this.resolverWorld, this._backend, this.commonElements, |
890 CacheStrategy cacheStrategy) | 892 CacheStrategy cacheStrategy) |
891 : this.cacheStrategy = cacheStrategy, | 893 : this.cacheStrategy = cacheStrategy, |
892 alreadyPopulated = cacheStrategy.newSet() { | 894 alreadyPopulated = cacheStrategy.newSet() { |
893 _allFunctions = new FunctionSet(this); | 895 _allFunctions = new FunctionSet(this); |
894 } | 896 } |
895 | 897 |
896 FunctionSet get allFunctions => _allFunctions; | 898 FunctionSet get allFunctions => _allFunctions; |
897 | 899 |
898 CommonMasks get commonMasks { | 900 CommonMasks get commonMasks { |
899 assert(isClosed); | 901 assert(isClosed); |
900 return _commonMasks; | 902 return _commonMasks; |
901 } | 903 } |
902 | 904 |
| 905 CoreClasses get coreClasses => commonElements; |
| 906 |
903 /// Called to add [cls] to the set of known classes. | 907 /// Called to add [cls] to the set of known classes. |
904 /// | 908 /// |
905 /// This ensures that class hierarchy queries can be performed on [cls] and | 909 /// This ensures that class hierarchy queries can be performed on [cls] and |
906 /// classes that extend or implement it. | 910 /// classes that extend or implement it. |
907 void registerClass(ClassElement cls) => _registerClass(cls); | 911 void registerClass(ClassElement cls) => _registerClass(cls); |
908 | 912 |
909 void registerClosureClass(ClassElement cls) { | 913 void registerClosureClass(ClassElement cls) { |
910 _registerClass(cls, isDirectlyInstantiated: true); | 914 _registerClass(cls, isDirectlyInstantiated: true); |
911 } | 915 } |
912 | 916 |
(...skipping 306 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1219 /// Only the class itself is included. | 1223 /// Only the class itself is included. |
1220 EXACT, | 1224 EXACT, |
1221 | 1225 |
1222 /// The class and all subclasses (transitively) are included. | 1226 /// The class and all subclasses (transitively) are included. |
1223 SUBCLASS, | 1227 SUBCLASS, |
1224 | 1228 |
1225 /// The class and all classes that implement or subclass it (transitively) | 1229 /// The class and all classes that implement or subclass it (transitively) |
1226 /// are included. | 1230 /// are included. |
1227 SUBTYPE, | 1231 SUBTYPE, |
1228 } | 1232 } |
OLD | NEW |