Index: runtime/lib/string_buffer_patch.dart |
diff --git a/runtime/lib/string_buffer_patch.dart b/runtime/lib/string_buffer_patch.dart |
index c4fab5c88a9d374f33f6149944f8f833c9bfb1a6..80dddd534d6bb93e5ed2940ecb5f37ba342894d4 100644 |
--- a/runtime/lib/string_buffer_patch.dart |
+++ b/runtime/lib/string_buffer_patch.dart |
@@ -48,20 +48,20 @@ |
int _bufferCodeUnitMagnitude = 0; |
/// Creates the string buffer with an initial content. |
- /* @patch */ StringBuffer([Object content = ""]) { |
+ @patch StringBuffer([Object content = ""]) { |
write(content); |
} |
- /* @patch */ int get length => _partsCodeUnits + _bufferPosition; |
+ @patch int get length => _partsCodeUnits + _bufferPosition; |
- /* @patch */ void write(Object obj) { |
+ @patch void write(Object obj) { |
String str = '$obj'; |
if (str.isEmpty) return; |
_consumeBuffer(); |
_addPart(str); |
} |
- /* @patch */ void writeCharCode(int charCode) { |
+ @patch void writeCharCode(int charCode) { |
if (charCode <= 0xFFFF) { |
if (charCode < 0) { |
throw new RangeError.range(charCode, 0, 0x10FFFF); |
@@ -81,7 +81,7 @@ |
} |
} |
- /* @patch */ void writeAll(Iterable objects, [String separator = ""]) { |
+ @patch void writeAll(Iterable objects, [String separator = ""]) { |
Iterator iterator = objects.iterator; |
if (!iterator.moveNext()) return; |
if (separator.isEmpty) { |
@@ -97,19 +97,19 @@ |
} |
} |
- /* @patch */ void writeln([Object obj = ""]) { |
+ @patch void writeln([Object obj = ""]) { |
write(obj); |
write("\n"); |
} |
/** Makes the buffer empty. */ |
- /* @patch */ void clear() { |
+ @patch void clear() { |
_parts = null; |
_partsCodeUnits = _bufferPosition = _bufferCodeUnitMagnitude = 0; |
} |
/** Returns the contents of buffer as a string. */ |
- /* @patch */ String toString() { |
+ @patch String toString() { |
_consumeBuffer(); |
return (_partsCodeUnits == 0) ? |
"" : |