org.media.hyperpad
Class HyperDocument
java.lang.Object
|
+--javax.swing.text.AbstractDocument
|
+--javax.swing.text.DefaultStyledDocument
|
+--javax.swing.text.html.HTMLDocument
|
+--org.media.hyperpad.HyperDocument
- All Implemented Interfaces:
- Document, Serializable, StyledDocument
- public class HyperDocument
- extends HTMLDocument
Class needed by HyperPad for syntax highlighting.
- Version:
- $Revision: 1.1 $ $Date: 2002/09/13 18:51:36 $
- Author:
- Borsos Szabolcs
- See Also:
String
,
Serialized Form
Methods inherited from class javax.swing.text.html.HTMLDocument |
create, createBranchElement, createDefaultRoot, createLeafElement, fireChangedUpdate, fireUndoableEditUpdate, getBase, getElement, getElement, getIterator, getParser, getPreservesUnknownTags, getReader, getReader, getStyleSheet, getTokenThreshold, insert, insertAfterEnd, insertAfterStart, insertBeforeEnd, insertBeforeStart, insertUpdate, processHTMLFrameHyperlinkEvent, setBase, setInnerHTML, setOuterHTML, setParagraphAttributes, setParser, setPreservesUnknownTags, setTokenThreshold |
Methods inherited from class javax.swing.text.DefaultStyledDocument |
addDocumentListener, addStyle, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, removeDocumentListener, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, styleChanged |
Methods inherited from class javax.swing.text.AbstractDocument |
addUndoableEditListener, createPosition, dump, fireInsertUpdate, fireRemoveUpdate, getAsynchronousLoadPriority, getAttributeContext, getBidiRootElement, getContent, getCurrentWriter, getDocumentFilter, getDocumentListeners, getDocumentProperties, getEndPosition, getLength, getListeners, getProperty, getRootElements, getStartPosition, getText, getText, getUndoableEditListeners, postRemoveUpdate, putProperty, readLock, readUnlock, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface javax.swing.text.Document |
addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeUndoableEditListener, render |
hek
public static HyperEditorKit hek
HyperDocument
public HyperDocument(StyleSheet ss)
getKeywords
protected static Vector getKeywords()
getSeparators
protected static Vector getSeparators()
getDelimiters
protected String getDelimiters()
insertString
public void insertString(int offset,
String inserted_text,
AttributeSet attr)
- Specified by:
insertString
in interface Document
- Overrides:
insertString
in class AbstractDocument
remove
public void remove(int offset,
int length)
- Specified by:
remove
in interface Document
- Overrides:
remove
in class AbstractDocument
insertPrompt
protected void insertPrompt()
isNumeric
protected boolean isNumeric(String arg)
"Copyright © 2000-2002 Internet Multicasting Services, media.org & noLimits Technologies. All Rights Reserved."