public abstract class AbstractXMLStyledDocument
extends javax.swing.text.DefaultStyledDocument
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
Modifier | Constructor and Description |
---|---|
protected |
AbstractXMLStyledDocument(ValidityEditorPane editorPane) |
Modifier and Type | Method and Description |
---|---|
abstract void |
checkValidity() |
Validity |
getContentValidity() |
protected ValidityEditorPane |
getEditor() |
abstract java.util.List<java.lang.String> |
getProblemList() |
void |
insertString(int offset,
java.lang.String text,
javax.swing.text.AttributeSet style) |
boolean |
isContentValid() |
boolean |
isValidating() |
void |
publishValidity() |
void |
remove(int offset,
int length) |
void |
replace(int offset,
int length,
java.lang.String text,
javax.swing.text.AttributeSet attrs) |
protected void |
setContentValidity(Validity validity) |
abstract void |
setPreAndPostEditorText(java.lang.String preText,
java.lang.String postText) |
void |
setValidating(boolean validating) |
void |
subscribe(XMLStyledDocumentValidityListener subscriber) |
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
protected AbstractXMLStyledDocument(ValidityEditorPane editorPane)
protected ValidityEditorPane getEditor()
public void insertString(int offset, java.lang.String text, javax.swing.text.AttributeSet style) throws javax.swing.text.BadLocationException
insertString
in interface javax.swing.text.Document
insertString
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void remove(int offset, int length) throws javax.swing.text.BadLocationException
remove
in interface javax.swing.text.Document
remove
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void replace(int offset, int length, java.lang.String text, javax.swing.text.AttributeSet attrs) throws javax.swing.text.BadLocationException
replace
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public void publishValidity()
public void subscribe(XMLStyledDocumentValidityListener subscriber)
public boolean isContentValid()
public Validity getContentValidity()
protected void setContentValidity(Validity validity)
public void setValidating(boolean validating)
public boolean isValidating()
public abstract void checkValidity()
public abstract void setPreAndPostEditorText(java.lang.String preText, java.lang.String postText)
public abstract java.util.List<java.lang.String> getProblemList()