public class CaseParamStyledDocument 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 |
---|
CaseParamStyledDocument(CaseParamEditor 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 CaseParamStyledDocument(CaseParamEditor 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