changeset 276 | b4404001f0e2 |
parent 275 | ee4c87a79dba |
child 277 | 34370a93db6b |
1.1 --- a/samples/reexport/src-api2.0/api/String.java Sun Aug 17 18:55:11 2008 +0200 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,16 +0,0 @@ 1.4 -package api; 1.5 - 1.6 -public final class String { 1.7 - private final char[] chars; 1.8 - 1.9 - public String(char[] chars) { 1.10 - this.chars = chars.clone(); 1.11 - } 1.12 - 1.13 - public int getSize() { 1.14 - return chars.length; 1.15 - } 1.16 - public char charAt(int i) { 1.17 - return chars[i]; 1.18 - } 1.19 -}