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-- |
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