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 }