| author | Jaroslav Tulach <jaroslav.tulach@apidesign.org> |
| Fri, 03 Apr 2020 16:32:36 +0200 | |
| changeset 416 | 9ed8788a1a4e |
| parent 96 | 368cc7f2f54e |
| permissions | -rw-r--r-- |
| jtulach@94 | 1 |
package api; |
| jtulach@94 | 2 |
|
| jtulach@94 | 3 |
// BEGIN: reexport.String10 |
| jtulach@94 | 4 |
public final class String {
|
| jtulach@96 | 5 |
private final char[] chars; |
| jtulach@94 | 6 |
|
| jtulach@94 | 7 |
public String(char[] chars) {
|
| jtulach@94 | 8 |
this.chars = chars.clone(); |
| jtulach@94 | 9 |
} |
| jtulach@94 | 10 |
|
| jtulach@94 | 11 |
public int length() {
|
| jtulach@94 | 12 |
return chars.length; |
| jtulach@94 | 13 |
} |
| jtulach@94 | 14 |
public char charAt(int i) {
|
| jtulach@94 | 15 |
return chars[i]; |
| jtulach@94 | 16 |
} |
| jtulach@94 | 17 |
} |
| jtulach@94 | 18 |
// END: reexport.String10 |