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 |