| OLD | NEW |
| 1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 import 'package:analyzer/src/generated/ast.dart'; | 5 import 'package:analyzer/src/generated/ast.dart'; |
| 6 import 'package:analyzer/src/generated/constant.dart'; | 6 import 'package:analyzer/src/generated/constant.dart'; |
| 7 import 'package:analyzer/src/generated/element.dart'; | 7 import 'package:analyzer/src/generated/element.dart'; |
| 8 import 'package:analyzer/src/generated/error.dart' | 8 import 'package:analyzer/src/generated/error.dart' |
| 9 show AnalysisErrorListener, ErrorReporter; | 9 show AnalysisErrorListener, ErrorReporter; |
| 10 import 'package:analyzer/src/generated/resolver.dart' show TypeProvider; | 10 import 'package:analyzer/src/generated/resolver.dart' show TypeProvider; |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 44 // make sure the local isn't mutated in the context. | 44 // make sure the local isn't mutated in the context. |
| 45 return !_isPotentiallyMutated(function, e, context); | 45 return !_isPotentiallyMutated(function, e, context); |
| 46 } | 46 } |
| 47 } | 47 } |
| 48 } | 48 } |
| 49 return false; | 49 return false; |
| 50 } | 50 } |
| 51 | 51 |
| 52 /// Returns true if the local variable is potentially mutated within [context]. | 52 /// Returns true if the local variable is potentially mutated within [context]. |
| 53 /// This accounts for closures that may have been created outside of [context]. | 53 /// This accounts for closures that may have been created outside of [context]. |
| 54 bool _isPotentiallyMutated(FunctionBody function, VariableElement e, [AstNode co
ntext]) { | 54 bool _isPotentiallyMutated(FunctionBody function, VariableElement e, |
| 55 [AstNode context]) { |
| 55 if (function.isPotentiallyMutatedInClosure(e)) return true; | 56 if (function.isPotentiallyMutatedInClosure(e)) return true; |
| 56 if (function.isPotentiallyMutatedInScope(e)) { | 57 if (function.isPotentiallyMutatedInScope(e)) { |
| 57 // Need to visit the context looking for assignment to this local. | 58 // Need to visit the context looking for assignment to this local. |
| 58 if (context != null) { | 59 if (context != null) { |
| 59 var visitor = new _AssignmentFinder(e); | 60 var visitor = new _AssignmentFinder(e); |
| 60 context.accept(visitor); | 61 context.accept(visitor); |
| 61 return visitor._potentiallyMutated; | 62 return visitor._potentiallyMutated; |
| 62 } | 63 } |
| 63 return true; | 64 return true; |
| 64 } | 65 } |
| (...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 120 // ConstantEvaluator will not compute constants for non-const fields, | 121 // ConstantEvaluator will not compute constants for non-const fields, |
| 121 // so run ConstantVisitor for those to figure out if the initializer is | 122 // so run ConstantVisitor for those to figure out if the initializer is |
| 122 // actually a constant (and therefore side effect free to evaluate). | 123 // actually a constant (and therefore side effect free to evaluate). |
| 123 assert(!field.isConst); | 124 assert(!field.isConst); |
| 124 | 125 |
| 125 var initializer = field.initializer; | 126 var initializer = field.initializer; |
| 126 if (initializer == null) return null; | 127 if (initializer == null) return null; |
| 127 return initializer.accept(_constantVisitor); | 128 return initializer.accept(_constantVisitor); |
| 128 } | 129 } |
| 129 } | 130 } |
| OLD | NEW |