author | Jaroslav Tulach <jaroslav.tulach@apidesign.org> |
Thu, 30 Oct 2014 21:30:10 +0100 | |
changeset 409 | 40cabcdcd2be |
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 |