| OLD | NEW |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 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. |
| 4 |
| 1 // This code was auto-generated, is not intended to be edited, and is subject to | 5 // This code was auto-generated, is not intended to be edited, and is subject to |
| 2 // significant change. Please see the README file for more information. | 6 // significant change. Please see the README file for more information. |
| 3 | 7 |
| 4 library engine.source; | 8 library engine.source; |
| 5 | 9 |
| 6 import 'java_core.dart'; | 10 import 'java_core.dart'; |
| 7 import 'sdk.dart' show DartSdk; | 11 import 'sdk.dart' show DartSdk; |
| 8 import 'engine.dart' show AnalysisContext; | 12 import 'engine.dart' show AnalysisContext; |
| 9 | 13 |
| 10 /** | 14 /** |
| (...skipping 881 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 892 } else { | 896 } else { |
| 893 int newStamp = JavaSystem.currentTimeMillis(); | 897 int newStamp = JavaSystem.currentTimeMillis(); |
| 894 int oldStamp = javaMapPut(_stampMap, source, newStamp); | 898 int oldStamp = javaMapPut(_stampMap, source, newStamp); |
| 895 if (newStamp == oldStamp) { | 899 if (newStamp == oldStamp) { |
| 896 _stampMap[source] = newStamp + 1; | 900 _stampMap[source] = newStamp + 1; |
| 897 } | 901 } |
| 898 return javaMapPut(_contentMap, source, contents); | 902 return javaMapPut(_contentMap, source, contents); |
| 899 } | 903 } |
| 900 } | 904 } |
| 901 } | 905 } |
| OLD | NEW |