| OLD | NEW |
| 1 part of dart.core; | 1 part of dart.core; |
| 2 | 2 |
| 3 class StringBuffer implements StringSink { | 3 class StringBuffer implements StringSink { |
| 4 @patch StringBuffer([Object content = ""]) : _contents = '$content'; | 4 StringBuffer([Object content = ""]) : _contents = '$content'; |
| 5 @patch int get length => DDC$RT.cast(_contents.length, dynamic, int, | 5 int get length => DDC$RT.cast(_contents.length, dynamic, int, "CastGeneral", |
| 6 "CastGeneral", """line 20, column 21 of dart:core/string_buffer.dart: """, | 6 """line 23, column 21 of dart:core/string_buffer.dart: """, |
| 7 _contents.length is int, true); | 7 _contents.length is int, true); |
| 8 bool get isEmpty => length == 0; | 8 bool get isEmpty => length == 0; |
| 9 bool get isNotEmpty => !isEmpty; | 9 bool get isNotEmpty => !isEmpty; |
| 10 @patch void write(Object obj) { | 10 void write(Object obj) { |
| 11 _writeString('$obj'); | 11 _writeString('$obj'); |
| 12 } | 12 } |
| 13 @patch void writeCharCode(int charCode) { | 13 void writeCharCode(int charCode) { |
| 14 _writeString(new String.fromCharCode(charCode)); | 14 _writeString(new String.fromCharCode(charCode)); |
| 15 } | 15 } |
| 16 void writeAll(Iterable objects, [String separator = ""]) { | 16 void writeAll(Iterable objects, [String separator = ""]) { |
| 17 Iterator iterator = objects.iterator; | 17 Iterator iterator = objects.iterator; |
| 18 if (!iterator.moveNext()) return; | 18 if (!iterator.moveNext()) return; |
| 19 if (separator.isEmpty) { | 19 if (separator.isEmpty) { |
| 20 do { | 20 do { |
| 21 write(iterator.current); | 21 write(iterator.current); |
| 22 } while (iterator.moveNext()); | 22 } while (iterator.moveNext()); |
| 23 } else { | 23 } else { |
| 24 write(iterator.current); | 24 write(iterator.current); |
| 25 while (iterator.moveNext()) { | 25 while (iterator.moveNext()) { |
| 26 write(separator); | 26 write(separator); |
| 27 write(iterator.current); | 27 write(iterator.current); |
| 28 } | 28 } |
| 29 } | 29 } |
| 30 } | 30 } |
| 31 void writeln([Object obj = ""]) { | 31 void writeln([Object obj = ""]) { |
| 32 write(obj); | 32 write(obj); |
| 33 write("\n"); | 33 write("\n"); |
| 34 } | 34 } |
| 35 @patch void clear() { | 35 void clear() { |
| 36 _contents = ""; | 36 _contents = ""; |
| 37 } | 37 } |
| 38 @patch String toString() => ((__x40) => DDC$RT.cast(__x40, dynamic, String, | 38 String toString() => ((__x40) => DDC$RT.cast(__x40, dynamic, String, |
| 39 "CastGeneral", """line 68, column 24 of dart:core/string_buffer.dart: """, | 39 "CastGeneral", """line 73, column 24 of dart:core/string_buffer.dart: """, |
| 40 __x40 is String, true))(Primitives.flattenString(_contents)); | 40 __x40 is String, true))(Primitives.flattenString(_contents)); |
| 41 } | 41 } |
| OLD | NEW |