Class XMLDocument
- java.lang.Object
-
- javax.swing.text.AbstractDocument
-
- javax.swing.text.PlainDocument
-
- org.apache.batik.util.gui.xmleditor.XMLDocument
-
- All Implemented Interfaces:
java.io.Serializable
,javax.swing.text.Document
public class XMLDocument extends javax.swing.text.PlainDocument
A document that can be marked up using XML style.- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument
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
-
-
Field Summary
Fields Modifier and Type Field Description protected XMLToken
cacheToken
protected XMLContext
context
protected XMLScanner
lexer
-
Constructor Summary
Constructors Constructor Description XMLDocument()
XMLDocument(XMLContext context)
Creates a new instance of XMLDocument
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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 XMLTokenvoid
insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a)
void
remove(int offs, int len)
-
Methods inherited from class javax.swing.text.PlainDocument
createDefaultRoot, getDefaultRootElement, getParagraphElement, insertUpdate, removeUpdate
-
Methods inherited from class javax.swing.text.AbstractDocument
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
-
-
-
-
Field Detail
-
lexer
protected XMLScanner lexer
-
context
protected XMLContext context
-
cacheToken
protected XMLToken cacheToken
-
-
Constructor Detail
-
XMLDocument
public XMLDocument()
-
XMLDocument
public XMLDocument(XMLContext context)
Creates a new instance of XMLDocument- Parameters:
context
- XMLContext
-
-
Method Detail
-
getScannerStart
public XMLToken getScannerStart(int pos) throws javax.swing.text.BadLocationException
Return XMLToken- Parameters:
pos
- position- Returns:
- XMLToken
- Throws:
javax.swing.text.BadLocationException
-
insertString
public void insertString(int offset, java.lang.String str, javax.swing.text.AttributeSet a) throws javax.swing.text.BadLocationException
- Specified by:
insertString
in interfacejavax.swing.text.Document
- Overrides:
insertString
in classjavax.swing.text.PlainDocument
- Throws:
javax.swing.text.BadLocationException
-
remove
public void remove(int offs, int len) throws javax.swing.text.BadLocationException
- Specified by:
remove
in interfacejavax.swing.text.Document
- Overrides:
remove
in classjavax.swing.text.AbstractDocument
- Throws:
javax.swing.text.BadLocationException
-
find
public int find(java.lang.String str, int fromIndex, boolean caseSensitive) throws javax.swing.text.BadLocationException
Find the first occurrence of the specified String starting at the specified index.- Parameters:
str
- String to findfromIndex
-caseSensitive
- true or false- Returns:
- the offset if the string argument occurs as a substring, otherwise return -1
- Throws:
javax.swing.text.BadLocationException
- if fromIndex was not a valid part of the document
-
-