1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/samples/reexport/src-wrap2.0/query/Query.java	Sat Jun 14 09:54:15 2008 +0200
     1.3 @@ -0,0 +1,28 @@
     1.4 +package query;
     1.5 +
     1.6 +import api.String;
     1.7 +
     1.8 +// BEGIN: reexport.wrap2.0
     1.9 +public final class Query {
    1.10 +    public static final class Sequence {
    1.11 +        private String data;
    1.12 +        
    1.13 +        Sequence(String data) {
    1.14 +            this.data = data;
    1.15 +        }
    1.16 +
    1.17 +        public int length() {
    1.18 +            return data.getSize();
    1.19 +        }
    1.20 +
    1.21 +        public char charAt(int i) {
    1.22 +            return data.charAt(i);
    1.23 +        }
    1.24 +    }
    1.25 +    
    1.26 +    public Sequence computeReply() {
    1.27 +        char[] hello = { 'H', 'e', 'l', 'l', 'o' };
    1.28 +        return new Sequence(new String(hello));
    1.29 +    }
    1.30 +}
    1.31 +// END: reexport.wrap2.0