| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 simple_types_inferrer; | 5 library simple_types_inferrer; |
| 6 | 6 |
| 7 import '../closure.dart' show | 7 import '../closure.dart' show |
| 8 ClosureClassMap, | 8 ClosureClassMap, |
| 9 ClosureScope; | 9 ClosureScope; |
| 10 import '../common/names.dart' show | 10 import '../common/names.dart' show |
| (...skipping 1872 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1883 T handleStaticFunctionGet(ast.Send node, MethodElement function) { | 1883 T handleStaticFunctionGet(ast.Send node, MethodElement function) { |
| 1884 Selector selector = elements.getSelector(node); | 1884 Selector selector = elements.getSelector(node); |
| 1885 TypeMask mask = elements.getTypeMask(node); | 1885 TypeMask mask = elements.getTypeMask(node); |
| 1886 return handleStaticSend(node, selector, mask, function, null); | 1886 return handleStaticSend(node, selector, mask, function, null); |
| 1887 } | 1887 } |
| 1888 | 1888 |
| 1889 @override | 1889 @override |
| 1890 T visitDynamicPropertyGet( | 1890 T visitDynamicPropertyGet( |
| 1891 ast.Send node, | 1891 ast.Send node, |
| 1892 ast.Node receiver, | 1892 ast.Node receiver, |
| 1893 Selector selector, | 1893 Name name, |
| 1894 _) { | 1894 _) { |
| 1895 return handleDynamicGet(node); | 1895 return handleDynamicGet(node); |
| 1896 } | 1896 } |
| 1897 | 1897 |
| 1898 @override | 1898 @override |
| 1899 T visitIfNotNullDynamicPropertyGet( | 1899 T visitIfNotNullDynamicPropertyGet( |
| 1900 ast.Send node, | 1900 ast.Send node, |
| 1901 ast.Node receiver, | 1901 ast.Node receiver, |
| 1902 Selector selector, | 1902 Name name, |
| 1903 _) { | 1903 _) { |
| 1904 return handleDynamicGet(node); | 1904 return handleDynamicGet(node); |
| 1905 } | 1905 } |
| 1906 | 1906 |
| 1907 @override | 1907 @override |
| 1908 T visitLocalVariableGet( | 1908 T visitLocalVariableGet( |
| 1909 ast.Send node, | 1909 ast.Send node, |
| 1910 LocalVariableElement variable, | 1910 LocalVariableElement variable, |
| 1911 _) { | 1911 _) { |
| 1912 return handleLocalGet(node, variable); | 1912 return handleLocalGet(node, variable); |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1948 T visitStaticGetterGet( | 1948 T visitStaticGetterGet( |
| 1949 ast.Send node, | 1949 ast.Send node, |
| 1950 FunctionElement getter, | 1950 FunctionElement getter, |
| 1951 _) { | 1951 _) { |
| 1952 return handleStaticGetterGet(node, getter); | 1952 return handleStaticGetterGet(node, getter); |
| 1953 } | 1953 } |
| 1954 | 1954 |
| 1955 @override | 1955 @override |
| 1956 T visitThisPropertyGet( | 1956 T visitThisPropertyGet( |
| 1957 ast.Send node, | 1957 ast.Send node, |
| 1958 Selector selector, | 1958 Name name, |
| 1959 _) { | 1959 _) { |
| 1960 return handleDynamicGet(node); | 1960 return handleDynamicGet(node); |
| 1961 } | 1961 } |
| 1962 | 1962 |
| 1963 @override | 1963 @override |
| 1964 T visitTopLevelFieldGet( | 1964 T visitTopLevelFieldGet( |
| 1965 ast.Send node, | 1965 ast.Send node, |
| 1966 FieldElement field, | 1966 FieldElement field, |
| 1967 _) { | 1967 _) { |
| 1968 return handleStaticFieldGet(node, field); | 1968 return handleStaticFieldGet(node, field); |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2016 return inferrer.registerCalledClosure( | 2016 return inferrer.registerCalledClosure( |
| 2017 node, selector, mask, closure, outermostElement, arguments, | 2017 node, selector, mask, closure, outermostElement, arguments, |
| 2018 sideEffects, inLoop); | 2018 sideEffects, inLoop); |
| 2019 } | 2019 } |
| 2020 | 2020 |
| 2021 @override | 2021 @override |
| 2022 T visitExpressionInvoke( | 2022 T visitExpressionInvoke( |
| 2023 ast.Send node, | 2023 ast.Send node, |
| 2024 ast.Node expression, | 2024 ast.Node expression, |
| 2025 ast.NodeList arguments, | 2025 ast.NodeList arguments, |
| 2026 Selector selector, | 2026 CallStructure callStructure, |
| 2027 _) { | 2027 _) { |
| 2028 return handleCallInvoke(node, expression.accept(this)); | 2028 return handleCallInvoke(node, expression.accept(this)); |
| 2029 } | 2029 } |
| 2030 | 2030 |
| 2031 @override | 2031 @override |
| 2032 T visitThisInvoke( | 2032 T visitThisInvoke( |
| 2033 ast.Send node, | 2033 ast.Send node, |
| 2034 ast.NodeList arguments, | 2034 ast.NodeList arguments, |
| 2035 CallStructure callStructure, | 2035 CallStructure callStructure, |
| 2036 _) { | 2036 _) { |
| (...skipping 281 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2318 TypeMask moveNextMask = elements.getMoveNextTypeMask(node); | 2318 TypeMask moveNextMask = elements.getMoveNextTypeMask(node); |
| 2319 | 2319 |
| 2320 T iteratorType = handleDynamicSend( | 2320 T iteratorType = handleDynamicSend( |
| 2321 node, iteratorSelector, iteratorMask, expressionType, | 2321 node, iteratorSelector, iteratorMask, expressionType, |
| 2322 new ArgumentsTypes<T>.empty()); | 2322 new ArgumentsTypes<T>.empty()); |
| 2323 | 2323 |
| 2324 return handleForInLoop(node, iteratorType, currentSelector, currentMask, | 2324 return handleForInLoop(node, iteratorType, currentSelector, currentMask, |
| 2325 moveNextSelector, moveNextMask); | 2325 moveNextSelector, moveNextMask); |
| 2326 } | 2326 } |
| 2327 } | 2327 } |
| OLD | NEW |