Index: pkg/compiler/lib/src/util/command_line.dart |
diff --git a/pkg/compiler/lib/src/util/command_line.dart b/pkg/compiler/lib/src/util/command_line.dart |
index 8a32e67ab6477181a205205123a052afe5cfd4eb..87c38e9b8829439ef554d95ddfd78218bf0faf2a 100644 |
--- a/pkg/compiler/lib/src/util/command_line.dart |
+++ b/pkg/compiler/lib/src/util/command_line.dart |
@@ -7,16 +7,15 @@ library dart2js.util.command_line; |
/// The accepted escapes in the input of the --batch processor. |
/// |
/// Contrary to Dart strings it does not contain hex escapes (\u or \x). |
-Map<String, String> ESCAPE_MAPPING = |
- const { |
- "n": "\n", |
- "r": "\r", |
- "t": "\t", |
- "b": "\b", |
- "f": "\f", |
- "v": "\v", |
- "\\": "\\", |
- }; |
+Map<String, String> ESCAPE_MAPPING = const { |
+ "n": "\n", |
+ "r": "\r", |
+ "t": "\t", |
+ "b": "\b", |
+ "f": "\f", |
+ "v": "\v", |
+ "\\": "\\", |
+}; |
/// Splits the line similar to how a shell would split arguments. If [windows] |
/// is `true` escapes will be handled like on the Windows command-line. |
@@ -48,7 +47,7 @@ List<String> splitLine(String line, {bool windows: false}) { |
throw new FormatException("Unfinished escape: $line"); |
} |
if (windows) { |
- String next = line[i+1]; |
+ String next = line[i + 1]; |
if (next == '"' || next == r'\') { |
buffer.write(next); |
i++; |
@@ -75,4 +74,3 @@ List<String> splitLine(String line, {bool windows: false}) { |
if (buffer.isNotEmpty) result.add(buffer.toString()); |
return result; |
} |
- |