Source Code Cross Referenced for CharSequence.java in  » Testing » KeY » java » lang » Java Source Code / Java DocumentationJava Source Code and Java Documentation

01:        package java.lang;
02:
03:        public interface CharSequence {
04:            char charAt(int i);
05:
06:            int length();
07:
08:            CharSequence subSequence(int begin, int end);
09:
10:            String toString();
11:        }