1 7 package javax.swing.text; 8 9 import javax.swing.event.*; 10 11 167 public interface Document { 168 169 175 public int getLength(); 176 177 184 public void addDocumentListener(DocumentListener listener); 185 186 193 public void removeDocumentListener(DocumentListener listener); 194 195 202 public void addUndoableEditListener(UndoableEditListener listener); 203 204 211 public void removeUndoableEditListener(UndoableEditListener listener); 212 213 220 public Object getProperty(Object key); 221 222 233 public void putProperty(Object key, Object value); 234 235 276 public void remove(int offs, int len) throws BadLocationException ; 277 278 312 public void insertString(int offset, String str, AttributeSet a) throws BadLocationException ; 313 314 326 public String getText(int offset, int length) throws BadLocationException ; 327 328 365 public void getText(int offset, int length, Segment txt) throws BadLocationException ; 366 367 374 public Position getStartPosition(); 375 376 383 public Position getEndPosition(); 384 385 400 public Position createPosition(int offs) throws BadLocationException ; 401 402 421 public Element [] getRootElements(); 422 423 430 public Element getDefaultRootElement(); 431 432 442 public void render(Runnable r); 443 444 450 public static final String StreamDescriptionProperty = "stream"; 451 452 456 public static final String TitleProperty = "title"; 457 458 459 } 460 | Popular Tags |