001    package jline;
002    
003    
004    
005    public interface JLineBuffer extends Appendable, CharSequence
006    {
007    
008            public void delete(int start, int end);
009    
010            public void insert(int offset, char c);
011    
012            public void deleteCharAt(int index);
013    
014            public void insert(int offset, CharSequence s);
015            
016            // Don't throw Exceptions
017            public Appendable append(CharSequence s);
018    
019            public void setLength(int newLength);
020    
021            public String substring(int start);
022    
023            public String substring(int start, int end);
024    
025            public void replace(int start, int end, String str);
026    }