public class InstanceStyledDocument extends AbstractXMLStyledDocument
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElement
javax.swing.text.AbstractDocument.AbstractElement, javax.swing.text.AbstractDocument.AttributeContext, javax.swing.text.AbstractDocument.BranchElement, javax.swing.text.AbstractDocument.Content, javax.swing.text.AbstractDocument.DefaultDocumentEvent, javax.swing.text.AbstractDocument.ElementEdit, javax.swing.text.AbstractDocument.LeafElement
Constructor and Description |
---|
InstanceStyledDocument(InstanceEditor editor) |
Modifier and Type | Method and Description |
---|---|
void |
checkValidity() |
java.util.List<java.lang.String> |
getProblemList() |
void |
setPreAndPostEditorText(java.lang.String pre,
java.lang.String post) |
getContentValidity, getEditor, insertString, isContentValid, isValidating, publishValidity, remove, replace, setContentValidity, setValidating, subscribe
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged
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, removeUndoableEditListener, render, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock
public InstanceStyledDocument(InstanceEditor editor)
public void checkValidity()
checkValidity
in class AbstractXMLStyledDocument
public java.util.List<java.lang.String> getProblemList()
getProblemList
in class AbstractXMLStyledDocument
public void setPreAndPostEditorText(java.lang.String pre, java.lang.String post)
setPreAndPostEditorText
in class AbstractXMLStyledDocument