org.semanticweb.HermiT.debugger
Class ConsoleTextArea.ConsoleDocument
java.lang.Object
javax.swing.text.AbstractDocument
javax.swing.text.PlainDocument
org.semanticweb.HermiT.debugger.ConsoleTextArea.ConsoleDocument
- All Implemented Interfaces:
- Serializable, Document
- Enclosing class:
- ConsoleTextArea
protected class ConsoleTextArea.ConsoleDocument
- extends PlainDocument
- See Also:
- Serialized Form
Methods inherited from class javax.swing.text.AbstractDocument |
addDocumentListener, addUndoableEditListener, createBranchElement, createLeafElement, createPosition, dump, fireChangedUpdate, fireInsertUpdate, fireRemoveUpdate, fireUndoableEditUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, removeDocumentListener, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ConsoleTextArea.ConsoleDocument
protected ConsoleTextArea.ConsoleDocument()
remove
public void remove(int offset,
int length)
throws BadLocationException
- Specified by:
remove
in interface Document
- Overrides:
remove
in class AbstractDocument
- Throws:
BadLocationException
insertString
public void insertString(int offset,
String string,
AttributeSet attributeSet)
throws BadLocationException
- Specified by:
insertString
in interface Document
- Overrides:
insertString
in class PlainDocument
- Throws:
BadLocationException
Copyright © 2012. All Rights Reserved.