| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of dart2js; | 5 part of dart2js; |
| 6 | 6 |
| 7 class CodeBuffer implements StringBuffer { | 7 class CodeBuffer implements StringBuffer { |
| 8 StringBuffer buffer; | 8 StringBuffer buffer; |
| 9 List<CodeBufferMarker> markers; | 9 List<CodeBufferMarker> markers; |
| 10 int lastBufferOffset = 0; | 10 int lastBufferOffset = 0; |
| 11 int mappedRangeCounter = 0; | 11 int mappedRangeCounter = 0; |
| 12 | 12 |
| 13 CodeBuffer() | 13 CodeBuffer() |
| 14 : buffer = new StringBuffer(), | 14 : buffer = new StringBuffer(), |
| 15 markers = new List<CodeBufferMarker>(); | 15 markers = new List<CodeBufferMarker>(); |
| 16 | 16 |
| 17 int get length => buffer.length; | 17 int get length => buffer.length; |
| 18 | 18 |
| 19 bool get isEmpty { | 19 bool get isEmpty { |
| 20 return buffer.isEmpty; | 20 return buffer.isEmpty; |
| 21 } | 21 } |
| 22 | 22 |
| 23 CodeBuffer add(var object) { |
| 24 write(object); |
| 25 return this; |
| 26 } |
| 23 /** | 27 /** |
| 24 * Converts [object] to a string and adds it to the buffer. If [object] is a | 28 * Converts [object] to a string and adds it to the buffer. If [object] is a |
| 25 * [CodeBuffer], adds its markers to [markers]. | 29 * [CodeBuffer], adds its markers to [markers]. |
| 26 */ | 30 */ |
| 27 CodeBuffer add(var object) { | 31 CodeBuffer write(var object) { |
| 28 if (object is CodeBuffer) { | 32 if (object is CodeBuffer) { |
| 29 return addBuffer(object); | 33 return addBuffer(object); |
| 30 } | 34 } |
| 31 if (mappedRangeCounter == 0) setSourceLocation(null); | 35 if (mappedRangeCounter == 0) setSourceLocation(null); |
| 32 buffer.add(object.toString()); | 36 buffer.add(object.toString()); |
| 33 return this; | 37 return this; |
| 34 } | 38 } |
| 35 | 39 |
| 40 CodeBuffer writeln(var object) { |
| 41 return write(object).write("\n"); |
| 42 } |
| 43 |
| 36 CodeBuffer addBuffer(CodeBuffer other) { | 44 CodeBuffer addBuffer(CodeBuffer other) { |
| 37 if (other.markers.length > 0) { | 45 if (other.markers.length > 0) { |
| 38 CodeBufferMarker firstMarker = other.markers[0]; | 46 CodeBufferMarker firstMarker = other.markers[0]; |
| 39 int offsetDelta = | 47 int offsetDelta = |
| 40 buffer.length + firstMarker.offsetDelta - lastBufferOffset; | 48 buffer.length + firstMarker.offsetDelta - lastBufferOffset; |
| 41 markers.add(new CodeBufferMarker(offsetDelta, | 49 markers.add(new CodeBufferMarker(offsetDelta, |
| 42 firstMarker.sourcePosition)); | 50 firstMarker.sourcePosition)); |
| 43 for (int i = 1; i < other.markers.length; ++i) { | 51 for (int i = 1; i < other.markers.length; ++i) { |
| 44 markers.add(other.markers[i]); | 52 markers.add(other.markers[i]); |
| 45 } | 53 } |
| 46 lastBufferOffset = buffer.length + other.lastBufferOffset; | 54 lastBufferOffset = buffer.length + other.lastBufferOffset; |
| 47 } | 55 } |
| 48 buffer.add(other.getText()); | 56 buffer.add(other.getText()); |
| 57 return this; |
| 49 } | 58 } |
| 50 | 59 |
| 51 CodeBuffer addAll(Iterable<Object> iterable) { | 60 CodeBuffer addAll(Iterable<Object> iterable) { |
| 52 for (Object obj in iterable) { | 61 for (Object obj in iterable) { |
| 53 add(obj); | 62 write(obj); |
| 54 } | 63 } |
| 55 return this; | 64 return this; |
| 56 } | 65 } |
| 57 | 66 |
| 58 CodeBuffer addCharCode(int charCode) { | 67 CodeBuffer addCharCode(int charCode) => writeCharCode(charCode); |
| 59 return add(new String.fromCharCodes([charCode])); | 68 |
| 69 CodeBuffer writeCharCode(int charCode) { |
| 70 return write(new String.fromCharCodes([charCode])); |
| 60 } | 71 } |
| 61 | 72 |
| 62 CodeBuffer clear() { | 73 CodeBuffer clear() { |
| 63 buffer.clear(); | 74 buffer.clear(); |
| 64 markers.clear(); | 75 markers.clear(); |
| 65 lastBufferOffset = 0; | 76 lastBufferOffset = 0; |
| 66 return this; | 77 return this; |
| 67 } | 78 } |
| 68 | 79 |
| 69 String toString() { | 80 String toString() { |
| (...skipping 27 matching lines...) Expand all Loading... |
| 97 }); | 108 }); |
| 98 } | 109 } |
| 99 } | 110 } |
| 100 | 111 |
| 101 class CodeBufferMarker { | 112 class CodeBufferMarker { |
| 102 final int offsetDelta; | 113 final int offsetDelta; |
| 103 final sourcePosition; | 114 final sourcePosition; |
| 104 | 115 |
| 105 CodeBufferMarker(this.offsetDelta, this.sourcePosition); | 116 CodeBufferMarker(this.offsetDelta, this.sourcePosition); |
| 106 } | 117 } |
| OLD | NEW |