equal
deleted
inserted
replaced
95 } |
95 } |
96 if (frc == null) { |
96 if (frc == null) { |
97 throw new IllegalArgumentException("bad frc: null"); |
97 throw new IllegalArgumentException("bad frc: null"); |
98 } |
98 } |
99 |
99 |
100 this.chars = chars; |
100 this.chars = chars.clone(); |
101 this.start = start; |
101 this.start = start; |
102 this.len = len; |
102 this.len = len; |
103 this.cstart = cstart; |
103 this.cstart = cstart; |
104 this.clen = clen; |
104 this.clen = clen; |
105 this.level = level; |
105 this.level = level; |
146 } |
146 } |
147 |
147 |
148 // TextSource API |
148 // TextSource API |
149 |
149 |
150 public char[] getChars() { |
150 public char[] getChars() { |
151 return chars; |
151 return chars.clone(); |
152 } |
152 } |
153 |
153 |
154 public int getStart() { |
154 public int getStart() { |
155 return start; |
155 return start; |
156 } |
156 } |