| java.lang.Object javax.swing.text.AbstractDocument javax.swing.text.DefaultStyledDocument snow.texteditor.SimpleDocument
All known Subclasses: tide.compiler.CompilerOutputDocument, snow.texteditor.UndoableDocument,
SimpleDocument | public class SimpleDocument extends DefaultStyledDocument implements Appendable(Code) | | A simple styled document with highlighter, errors, writers, ...
Todo: use a performant readwrite lock system.
|
Inner Class :class DocWriter extends Writer | |
Method Summary | |
public SimpleDocument | append(String s) | public void | append(JComponent c) Append a component (ONLY USE IF ONE VIEW IS SHOWING THIS DOC !!). | public void | append(JComponent c, int pos, int len) | public Appendable | append(char c) | public Appendable | append(CharSequence csq) | public Appendable | append(CharSequence csq, int start, int end) | public void | appendClickableURL(String ref, int pos, int len) | public void | appendDatedLine(String s) | public void | appendError(String s) | public void | appendErrorLine(String s) | public void | appendLine(String s) | public void | appendNamed(String txt, String prependLine) Append txt with all lines prepended with prependLine (ex: "out> ")
don't forget the CR at end... | public void | clearDocument() Seems to cause repaints (=> please call in EDT). | public PrintStream | createPrintStreamForThisDocument(boolean errorMode) | public Writer | createWriterForThisDocument(boolean errorMode) | public void | decreaseFontSize() Called from editor to view the whole document with a smaller font. | public char | getCharAt(int pos) | public String | getText() Gets the whole text ! (Without alternate form of JComponents added, however, ... | public String | getTextFromTo(int start, int end) | public void | increaseFontSize() Called from editor to view the whole document with a bigger font. | public SimpleDocument | insertString(String s, int pos) | public static void | main(String[] arguments) | public void | replace(String txt, int pos, int len) Called from the search/replace dialog... | public int | search(String str, int from, boolean ignoreCase) | public int | searchBackward(String str, int from, boolean ignoreCase) -1 if not found Parameters: ignoreCase - if true, the text to search for must be passed in uppercase. Parameters: from - -1 to find the last (i.e. | public void | setTabsForDoc(int tabWidth, int nTabs) Sets the tab to be used for the document. | public void | setTabsForDoc(TabSet tabSet) Sets the tab to be used for the document. | public void | setText(String text) |
viewMagnification | volatile double viewMagnification(Code) | | |
SimpleDocument | public SimpleDocument()(Code) | | |
append | public void append(JComponent c)(Code) | | Append a component (ONLY USE IF ONE VIEW IS SHOWING THIS DOC !!).
|
append | public void append(JComponent c, int pos, int len)(Code) | | DO NOT USE IF document is shared in several views !
|
appendClickableURL | public void appendClickableURL(String ref, int pos, int len)(Code) | | DO NOT USE IF document is shared in several views !
|
appendNamed | public void appendNamed(String txt, String prependLine)(Code) | | Append txt with all lines prepended with prependLine (ex: "out> ")
don't forget the CR at end...
|
clearDocument | public void clearDocument()(Code) | | Seems to cause repaints (=> please call in EDT).
|
createPrintStreamForThisDocument | public PrintStream createPrintStreamForThisDocument(boolean errorMode)(Code) | | |
createWriterForThisDocument | public Writer createWriterForThisDocument(boolean errorMode)(Code) | | |
decreaseFontSize | public void decreaseFontSize()(Code) | | Called from editor to view the whole document with a smaller font.
Changes the "default" style
|
getCharAt | public char getCharAt(int pos)(Code) | | Slow !
|
getText | public String getText()(Code) | | Gets the whole text ! (Without alternate form of JComponents added, however, ... )
|
getTextFromTo | public String getTextFromTo(int start, int end)(Code) | | the text from start(comprise) to end (non comprise). |
increaseFontSize | public void increaseFontSize()(Code) | | Called from editor to view the whole document with a bigger font.
Changes the "default" style.
|
replace | public void replace(String txt, int pos, int len)(Code) | | Called from the search/replace dialog...
NOT TESTED !!
|
search | public int search(String str, int from, boolean ignoreCase)(Code) | | -1 if not found Parameters: ignoreCase - if true, the text to search for must be passed in uppercase |
searchBackward | public int searchBackward(String str, int from, boolean ignoreCase)(Code) | | -1 if not found Parameters: ignoreCase - if true, the text to search for must be passed in uppercase. Parameters: from - -1 to find the last (i.e. start from end). |
setTabsForDoc | public void setTabsForDoc(int tabWidth, int nTabs)(Code) | | Sets the tab to be used for the document.
Should be called at end !!
|
setTabsForDoc | public void setTabsForDoc(TabSet tabSet)(Code) | | Sets the tab to be used for the document.
Should be called at end !!
|
Fields inherited from javax.swing.text.DefaultStyledDocument | final public static int BUFFER_SIZE_DEFAULT(Code)(Java Doc) protected ElementBuffer buffer(Code)(Java Doc)
|
Methods inherited from javax.swing.text.DefaultStyledDocument | public void addDocumentListener(DocumentListener listener)(Code)(Java Doc) public Style addStyle(String nm, Style parent)(Code)(Java Doc) protected void create(ElementSpec[] data)(Code)(Java Doc) protected AbstractElement createDefaultRoot()(Code)(Java Doc) public Color getBackground(AttributeSet attr)(Code)(Java Doc) public Element getCharacterElement(int pos)(Code)(Java Doc) public Element getDefaultRootElement()(Code)(Java Doc) public Font getFont(AttributeSet attr)(Code)(Java Doc) public Color getForeground(AttributeSet attr)(Code)(Java Doc) public Style getLogicalStyle(int p)(Code)(Java Doc) public Element getParagraphElement(int pos)(Code)(Java Doc) public Style getStyle(String nm)(Code)(Java Doc) public Enumeration> getStyleNames()(Code)(Java Doc) protected void insert(int offset, ElementSpec[] data) throws BadLocationException(Code)(Java Doc) protected void insertUpdate(DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc) public void removeDocumentListener(DocumentListener listener)(Code)(Java Doc) public void removeElement(Element elem)(Code)(Java Doc) public void removeStyle(String nm)(Code)(Java Doc) protected void removeUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) public void setCharacterAttributes(int offset, int length, AttributeSet s, boolean replace)(Code)(Java Doc) public void setLogicalStyle(int pos, Style s)(Code)(Java Doc) public void setParagraphAttributes(int offset, int length, AttributeSet s, boolean replace)(Code)(Java Doc) protected void styleChanged(Style style)(Code)(Java Doc)
|
Methods inherited from javax.swing.text.AbstractDocument | public void addDocumentListener(DocumentListener listener)(Code)(Java Doc) public void addUndoableEditListener(UndoableEditListener listener)(Code)(Java Doc) protected Element createBranchElement(Element parent, AttributeSet a)(Code)(Java Doc) protected Element createLeafElement(Element parent, AttributeSet a, int p0, int p1)(Code)(Java Doc) public synchronized Position createPosition(int offs) throws BadLocationException(Code)(Java Doc) public void dump(PrintStream out)(Code)(Java Doc) protected void fireChangedUpdate(DocumentEvent e)(Code)(Java Doc) protected void fireInsertUpdate(DocumentEvent e)(Code)(Java Doc) protected void fireRemoveUpdate(DocumentEvent e)(Code)(Java Doc) protected void fireUndoableEditUpdate(UndoableEditEvent e)(Code)(Java Doc) public int getAsynchronousLoadPriority()(Code)(Java Doc) final protected AttributeContext getAttributeContext()(Code)(Java Doc) public Element getBidiRootElement()(Code)(Java Doc) final protected Content getContent()(Code)(Java Doc) final protected synchronized Thread getCurrentWriter()(Code)(Java Doc) abstract public Element getDefaultRootElement()(Code)(Java Doc) public DocumentFilter getDocumentFilter()(Code)(Java Doc) public DocumentListener[] getDocumentListeners()(Code)(Java Doc) public Dictionary<Object, Object> getDocumentProperties()(Code)(Java Doc) final public Position getEndPosition()(Code)(Java Doc) public int getLength()(Code)(Java Doc) public T[] getListeners(Class<T> listenerType)(Code)(Java Doc) abstract public Element getParagraphElement(int pos)(Code)(Java Doc) final public Object getProperty(Object key)(Code)(Java Doc) public Element[] getRootElements()(Code)(Java Doc) final public Position getStartPosition()(Code)(Java Doc) public String getText(int offset, int length) throws BadLocationException(Code)(Java Doc) public void getText(int offset, int length, Segment txt) throws BadLocationException(Code)(Java Doc) public UndoableEditListener[] getUndoableEditListeners()(Code)(Java Doc) public void insertString(int offs, String str, AttributeSet a) throws BadLocationException(Code)(Java Doc) protected void insertUpdate(DefaultDocumentEvent chng, AttributeSet attr)(Code)(Java Doc) protected void postRemoveUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) final public void putProperty(Object key, Object value)(Code)(Java Doc) final public synchronized void readLock()(Code)(Java Doc) final public synchronized void readUnlock()(Code)(Java Doc) public void remove(int offs, int len) throws BadLocationException(Code)(Java Doc) public void removeDocumentListener(DocumentListener listener)(Code)(Java Doc) public void removeUndoableEditListener(UndoableEditListener listener)(Code)(Java Doc) protected void removeUpdate(DefaultDocumentEvent chng)(Code)(Java Doc) public void render(Runnable r)(Code)(Java Doc) public void replace(int offset, int length, String text, AttributeSet attrs) throws BadLocationException(Code)(Java Doc) public void setAsynchronousLoadPriority(int p)(Code)(Java Doc) public void setDocumentFilter(DocumentFilter filter)(Code)(Java Doc) public void setDocumentProperties(Dictionary<Object, Object> x)(Code)(Java Doc) final protected synchronized void writeLock()(Code)(Java Doc) final protected synchronized void writeUnlock()(Code)(Java Doc)
|
|
|