public class XMLDocument
extends javax.swing.text.PlainDocument
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 and Type | Field and Description |
|---|---|
protected XMLToken |
cacheToken |
protected XMLContext |
context |
protected XMLScanner |
lexer |
| Constructor and Description |
|---|
XMLDocument() |
XMLDocument(XMLContext context)
Creates a new instance of XMLDocument
|
| Modifier and Type | Method and Description |
|---|---|
int |
find(java.lang.String str,
int fromIndex,
boolean caseSensitive)
Find the first occurrence of the specified String starting at the specified index.
|
XMLToken |
getScannerStart(int pos)
Return XMLToken
|
void |
insertString(int offset,
java.lang.String str,
javax.swing.text.AttributeSet a) |
void |
remove(int offs,
int len) |
createDefaultRoot, getDefaultRootElement, getParagraphElement, insertUpdate, removeUpdateaddDocumentListener, 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, writeUnlockprotected XMLScanner lexer
protected XMLContext context
protected XMLToken cacheToken
public XMLDocument()
public XMLDocument(XMLContext context)
context - XMLContextpublic XMLToken getScannerStart(int pos) throws javax.swing.text.BadLocationException
pos - positionjavax.swing.text.BadLocationExceptionpublic void insertString(int offset,
java.lang.String str,
javax.swing.text.AttributeSet a)
throws javax.swing.text.BadLocationException
insertString in interface javax.swing.text.DocumentinsertString in class javax.swing.text.PlainDocumentjavax.swing.text.BadLocationExceptionpublic void remove(int offs,
int len)
throws javax.swing.text.BadLocationException
remove in interface javax.swing.text.Documentremove in class javax.swing.text.AbstractDocumentjavax.swing.text.BadLocationExceptionpublic int find(java.lang.String str,
int fromIndex,
boolean caseSensitive)
throws javax.swing.text.BadLocationException
str - String to findfromIndex - caseSensitive - true or falsejavax.swing.text.BadLocationException - if fromIndex was not a valid part of the document