01: /*
02: * Licensed to the Apache Software Foundation (ASF) under one or more
03: * contributor license agreements. See the NOTICE file distributed with
04: * this work for additional information regarding copyright ownership.
05: * The ASF licenses this file to You under the Apache License, Version 2.0
06: * (the "License"); you may not use this file except in compliance with
07: * the License. You may obtain a copy of the License at
08: *
09: * http://www.apache.org/licenses/LICENSE-2.0
10: *
11: * Unless required by applicable law or agreed to in writing, software
12: * distributed under the License is distributed on an "AS IS" BASIS,
13: * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14: * See the License for the specific language governing permissions and
15: * limitations under the License.
16: */
17: /**
18: * @author Alexey A. Ivanov
19: * @version $Revision$
20: */package javax.swing.text;
21:
22: import javax.swing.event.DocumentListener;
23: import javax.swing.event.UndoableEditListener;
24:
25: public interface Document {
26: String StreamDescriptionProperty = "stream";
27:
28: String TitleProperty = "title";
29:
30: void addDocumentListener(final DocumentListener listener);
31:
32: void addUndoableEditListener(UndoableEditListener listener);
33:
34: Position createPosition(int offset) throws BadLocationException;
35:
36: Element getDefaultRootElement();
37:
38: Position getEndPosition();
39:
40: int getLength();
41:
42: Object getProperty(Object key);
43:
44: Element[] getRootElements();
45:
46: Position getStartPosition();
47:
48: String getText(int offset, int length) throws BadLocationException;
49:
50: void getText(int offset, int length, Segment text)
51: throws BadLocationException;
52:
53: void insertString(int offset, String text, AttributeSet attrs)
54: throws BadLocationException;
55:
56: void putProperty(Object key, Object value);
57:
58: void remove(int offset, int length) throws BadLocationException;
59:
60: void removeDocumentListener(DocumentListener listener);
61:
62: void removeUndoableEditListener(UndoableEditListener listener);
63:
64: void render(Runnable r);
65: }
|