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