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, removeUpdate
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
protected 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.BadLocationException
public void insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a) throws javax.swing.text.BadLocationException
insertString
in interface javax.swing.text.Document
insertString
in class javax.swing.text.PlainDocument
javax.swing.text.BadLocationException
public void remove(int offs, int len) throws javax.swing.text.BadLocationException
remove
in interface javax.swing.text.Document
remove
in class javax.swing.text.AbstractDocument
javax.swing.text.BadLocationException
public 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 documentCopyright © 2022 Apache Software Foundation. All Rights Reserved.