|
|
| version 1.144.2.28.2.43, 2003/04/02 07:29:21 | version 1.144.2.28.2.45, 2003/04/07 11:57:29 |
|---|---|
| Line 113 public: | Line 113 public: |
| void set_pos(CORD_pos& pos, size_t index) const { CORD_set_pos(pos, body, index); } | void set_pos(CORD_pos& pos, size_t index) const { CORD_set_pos(pos, body, index); } |
| StringBody normalize() const { | |
| return StringBody(CORD_balance(body)); | |
| } | |
| void dump() const { | |
| CORD_dump(body); | |
| } | |
| }; | }; |
| /** | /** |
| Line 177 public: | Line 184 public: |
| ArrayFragment& operator += (element_type src) { | ArrayFragment& operator += (element_type src) { |
| if(size_t lcount=count()) { // not empty? | if(size_t lcount=count()) { // not empty? |
| // try to join with last | // try to join with last |
| Fragment& last=unchecked_get_ref(lcount-1); | Fragment& last=get_ref(lcount-1); |
| if(last.lang==src.lang) { | if(last.lang==src.lang) { |
| last.length+=src.length; | last.length+=src.length; |
| return *this; | return *this; |