org.apache.batik.util.gui.xmleditor
public class XMLDocument extends PlainDocument
Field Summary | |
---|---|
protected XMLToken | cacheToken |
protected XMLContext | context |
protected XMLScanner | lexer |
Constructor Summary | |
---|---|
XMLDocument() | |
XMLDocument(XMLContext context) Creates a new instance of XMLDocument |
Method Summary | |
---|---|
int | find(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, String str, AttributeSet a) |
void | remove(int offs, int len) |
Parameters: context XMLContext
Parameters: str String to find fromIndex caseSensitive true or false
Returns: the offset if the string argument occurs as a substring, otherwise return -1
Throws: BadLocationException if fromIndex was not a valid part of the document
Parameters: pos position
Returns: XMLToken