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.compiler_base; | 5 library dart2js.compiler_base; |
6 | 6 |
7 import 'dart:async' show | 7 import 'dart:async' show |
8 EventSink, | 8 EventSink, |
9 Future; | 9 Future; |
10 | 10 |
(...skipping 1939 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1950 const <DiagnosticMessage>[], | 1950 const <DiagnosticMessage>[], |
1951 api.Diagnostic.HINT); | 1951 api.Diagnostic.HINT); |
1952 }); | 1952 }); |
1953 } | 1953 } |
1954 } | 1954 } |
1955 } | 1955 } |
1956 | 1956 |
1957 // TODO(johnniwinther): Move [ResolverTask] here. | 1957 // TODO(johnniwinther): Move [ResolverTask] here. |
1958 class _CompilerResolution implements Resolution { | 1958 class _CompilerResolution implements Resolution { |
1959 final Compiler compiler; | 1959 final Compiler compiler; |
| 1960 final Map<Element, ResolutionImpact> _resolutionImpactCache = |
| 1961 <Element, ResolutionImpact>{}; |
1960 final Map<Element, WorldImpact> _worldImpactCache = <Element, WorldImpact>{}; | 1962 final Map<Element, WorldImpact> _worldImpactCache = <Element, WorldImpact>{}; |
1961 | 1963 |
1962 _CompilerResolution(this.compiler); | 1964 _CompilerResolution(this.compiler); |
1963 | 1965 |
1964 @override | 1966 @override |
1965 DiagnosticReporter get reporter => compiler.reporter; | 1967 DiagnosticReporter get reporter => compiler.reporter; |
1966 | 1968 |
1967 @override | 1969 @override |
1968 Parsing get parsing => compiler.parsing; | 1970 Parsing get parsing => compiler.parsing; |
1969 | 1971 |
(...skipping 24 matching lines...) Expand all Loading... |
1994 FunctionSignature resolveSignature(FunctionElement function) { | 1996 FunctionSignature resolveSignature(FunctionElement function) { |
1995 return compiler.resolver.resolveSignature(function); | 1997 return compiler.resolver.resolveSignature(function); |
1996 } | 1998 } |
1997 | 1999 |
1998 @override | 2000 @override |
1999 DartType resolveTypeAnnotation(Element element, TypeAnnotation node) { | 2001 DartType resolveTypeAnnotation(Element element, TypeAnnotation node) { |
2000 return compiler.resolver.resolveTypeAnnotation(element, node); | 2002 return compiler.resolver.resolveTypeAnnotation(element, node); |
2001 } | 2003 } |
2002 | 2004 |
2003 @override | 2005 @override |
| 2006 ResolutionImpact getResolutionImpact(Element element) { |
| 2007 ResolutionImpact resolutionImpact = _resolutionImpactCache[element]; |
| 2008 assert(invariant(element, resolutionImpact != null, |
| 2009 message: "ResolutionImpact not available for $element.")); |
| 2010 return resolutionImpact; |
| 2011 } |
| 2012 |
| 2013 @override |
2004 WorldImpact getWorldImpact(Element element) { | 2014 WorldImpact getWorldImpact(Element element) { |
2005 WorldImpact worldImpact = _worldImpactCache[element]; | 2015 WorldImpact worldImpact = _worldImpactCache[element]; |
2006 assert(invariant(element, worldImpact != null, | 2016 assert(invariant(element, worldImpact != null, |
2007 message: "WorldImpact not computed for $element.")); | 2017 message: "WorldImpact not computed for $element.")); |
2008 return worldImpact; | 2018 return worldImpact; |
2009 } | 2019 } |
2010 | 2020 |
2011 @override | 2021 @override |
2012 WorldImpact computeWorldImpact(Element element) { | 2022 WorldImpact computeWorldImpact(Element element) { |
2013 return _worldImpactCache.putIfAbsent(element, () { | 2023 return _worldImpactCache.putIfAbsent(element, () { |
2014 assert(compiler.parser != null); | 2024 assert(compiler.parser != null); |
2015 Node tree = compiler.parser.parse(element); | 2025 Node tree = compiler.parser.parse(element); |
2016 assert(invariant(element, !element.isSynthesized || tree == null)); | 2026 assert(invariant(element, !element.isSynthesized || tree == null)); |
2017 ResolutionImpact resolutionImpact = | 2027 ResolutionImpact resolutionImpact = |
2018 compiler.resolver.resolve(element); | 2028 compiler.resolver.resolve(element); |
| 2029 if (compiler.serialization.supportSerialization) { |
| 2030 // [ResolutionImpact] is currently only used by serialization. The |
| 2031 // enqueuer uses the [WorldImpact] which is always cached. |
| 2032 // TODO(johnniwinther): Align these use cases better; maybe only |
| 2033 // cache [ResolutionImpact] and let the enqueuer transform it into |
| 2034 // a [WorldImpact]. |
| 2035 _resolutionImpactCache[element] = resolutionImpact; |
| 2036 } |
2019 if (tree != null && !compiler.options.analyzeSignaturesOnly) { | 2037 if (tree != null && !compiler.options.analyzeSignaturesOnly) { |
2020 // TODO(het): don't do this if suppressWarnings is on, currently we have | 2038 // TODO(het): don't do this if suppressWarnings is on, currently we have |
2021 // to do it because the typechecker also sets types | 2039 // to do it because the typechecker also sets types |
2022 // Only analyze nodes with a corresponding [TreeElements]. | 2040 // Only analyze nodes with a corresponding [TreeElements]. |
2023 compiler.checker.check(element); | 2041 compiler.checker.check(element); |
2024 } | 2042 } |
2025 WorldImpact worldImpact = | 2043 WorldImpact worldImpact = |
2026 compiler.backend.impactTransformer.transformResolutionImpact( | 2044 compiler.backend.impactTransformer.transformResolutionImpact( |
2027 resolutionImpact); | 2045 resolutionImpact); |
2028 return worldImpact; | 2046 return worldImpact; |
2029 }); | 2047 }); |
2030 } | 2048 } |
2031 | 2049 |
2032 @override | 2050 @override |
2033 void uncacheWorldImpact(Element element) { | 2051 void uncacheWorldImpact(Element element) { |
2034 if (compiler.serialization.isDeserialized(element)) return; | 2052 if (compiler.serialization.isDeserialized(element)) return; |
2035 assert(invariant(element, _worldImpactCache[element] != null, | 2053 assert(invariant(element, _worldImpactCache[element] != null, |
2036 message: "WorldImpact not computed for $element.")); | 2054 message: "WorldImpact not computed for $element.")); |
2037 _worldImpactCache[element] = const WorldImpact(); | 2055 _worldImpactCache[element] = const WorldImpact(); |
| 2056 _resolutionImpactCache.remove(element); |
2038 } | 2057 } |
2039 | 2058 |
2040 @override | 2059 @override |
2041 void emptyCache() { | 2060 void emptyCache() { |
2042 for (Element element in _worldImpactCache.keys) { | 2061 for (Element element in _worldImpactCache.keys) { |
2043 _worldImpactCache[element] = const WorldImpact(); | 2062 _worldImpactCache[element] = const WorldImpact(); |
2044 } | 2063 } |
| 2064 _resolutionImpactCache.clear(); |
2045 } | 2065 } |
2046 | 2066 |
2047 @override | 2067 @override |
2048 bool hasBeenResolved(Element element) { | 2068 bool hasBeenResolved(Element element) { |
2049 return _worldImpactCache.containsKey(element); | 2069 return _worldImpactCache.containsKey(element); |
2050 } | 2070 } |
2051 | 2071 |
2052 @override | 2072 @override |
2053 ResolutionWorkItem createWorkItem( | 2073 ResolutionWorkItem createWorkItem( |
2054 Element element, ItemCompilationContext compilationContext) { | 2074 Element element, ItemCompilationContext compilationContext) { |
(...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
2137 _ElementScanner(this.scanner); | 2157 _ElementScanner(this.scanner); |
2138 void scanLibrary(LibraryElement library) => scanner.scanLibrary(library); | 2158 void scanLibrary(LibraryElement library) => scanner.scanLibrary(library); |
2139 void scanUnit(CompilationUnitElement unit) => scanner.scan(unit); | 2159 void scanUnit(CompilationUnitElement unit) => scanner.scan(unit); |
2140 } | 2160 } |
2141 | 2161 |
2142 class _EmptyEnvironment implements Environment { | 2162 class _EmptyEnvironment implements Environment { |
2143 const _EmptyEnvironment(); | 2163 const _EmptyEnvironment(); |
2144 | 2164 |
2145 String valueOf(String key) => null; | 2165 String valueOf(String key) => null; |
2146 } | 2166 } |
OLD | NEW |