Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(506)

Unified Diff: pkg/analysis_server/lib/src/protocol.dart

Issue 574573002: Add SourceFileEdit.time field. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: tweak Created 6 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: pkg/analysis_server/lib/src/protocol.dart
diff --git a/pkg/analysis_server/lib/src/protocol.dart b/pkg/analysis_server/lib/src/protocol.dart
index fc2d35a2beda9e48f77d638da68c1dd996e8d356..1f8619bf866663cc596b1c80333095f2fe8a35b0 100644
--- a/pkg/analysis_server/lib/src/protocol.dart
+++ b/pkg/analysis_server/lib/src/protocol.dart
@@ -68,10 +68,11 @@ void _addEditForSource(SourceFileEdit sourceFileEdit, SourceEdit sourceEdit) {
/**
* Adds [edit] to the [FileEdit] for the given [file].
*/
-void _addEditToSourceChange(SourceChange change, String file, SourceEdit edit) {
+void _addEditToSourceChange(SourceChange change, String file, int fileStamp,
+ SourceEdit edit) {
SourceFileEdit fileEdit = change.getFileEdit(file);
if (fileEdit == null) {
- fileEdit = new SourceFileEdit(file);
+ fileEdit = new SourceFileEdit(file, fileStamp);
change.addFileEdit(fileEdit);
}
fileEdit.add(edit);

Powered by Google App Engine
This is Rietveld 408576698