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-- |
1 package api;
3 // BEGIN: reexport.String10
4 public final class String {
5 private final char[] chars;
7 public String(char[] chars) {
8 this.chars = chars.clone();
9 }
11 public int length() {
12 return chars.length;
13 }
14 public char charAt(int i) {
15 return chars[i];
16 }
17 }
18 // END: reexport.String10