java.lang.Object
javax.swing.text.AbstractDocument
javax.swing.text.DefaultStyledDocument
javax.swing.text.html.HTMLDocument
org.media.hyperpad.HyperSourceDocument
- All Implemented Interfaces:
- javax.swing.text.Document, java.io.Serializable, javax.swing.text.StyledDocument
- public class HyperSourceDocument
- extends javax.swing.text.html.HTMLDocument
Class needed by HyperPad Source Editor for syntax highlighting.
- Version:
- $Revision: 1.1 $ $Date: 2002/09/13 18:51:36 $
| Nested classes inherited from class javax.swing.text.html.HTMLDocument |
javax.swing.text.html.HTMLDocument.BlockElement, javax.swing.text.html.HTMLDocument.HTMLReader, javax.swing.text.html.HTMLDocument.Iterator, javax.swing.text.html.HTMLDocument.RunElement |
| Nested classes inherited from class javax.swing.text.DefaultStyledDocument |
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElement |
| Nested classes 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 |
|
Method Summary |
private void |
evaluateWord(int offset,
java.lang.String word)
|
private javax.swing.text.SimpleAttributeSet |
getAttributeSet(javax.swing.text.AttributeSet attr)
|
void |
insertString(int offset,
java.lang.String inserted_text,
javax.swing.text.AttributeSet attr)
Inserts a piece of text with an AttributeSet at the specified
offset. |
private void |
insertTokenizer(int offset,
java.lang.String text)
|
private void |
makeComment(int offset,
int length,
javax.swing.text.AttributeSet attr)
|
private void |
makeKeyword(int offset,
int length,
javax.swing.text.AttributeSet attr)
|
private void |
makeNormal(int offset,
int length,
javax.swing.text.AttributeSet attr)
|
private void |
makeNumeric(int offset,
int length,
javax.swing.text.AttributeSet attr)
|
private void |
makeString(int offset,
int length,
javax.swing.text.AttributeSet attr)
|
private int |
readBackToFirstSpecialChar(int offset,
java.lang.String specialChar)
|
void |
remove(int offset,
int length)
Removes a piece of content. |
private void |
setAttributes(int offset,
int length,
javax.swing.text.SimpleAttributeSet sas)
|
private void |
updateSaveStatus()
|
| 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 |
addStyle, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, styleChanged |
| Methods inherited from class javax.swing.text.AbstractDocument |
addDocumentListener, 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, removeDocumentListener, 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 |
addDocumentListener, addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeDocumentListener, removeUndoableEditListener, render |
isLongInsert
static boolean isLongInsert
shek
static HyperEditorKit shek
hdoc
HyperDocument hdoc
HyperSourceDocument
public HyperSourceDocument(javax.swing.text.html.StyleSheet ss)
insertString
public void insertString(int offset,
java.lang.String inserted_text,
javax.swing.text.AttributeSet attr)
- Description copied from interface:
javax.swing.text.Document
- Inserts a piece of text with an AttributeSet at the specified
offset.
remove
public void remove(int offset,
int length)
- Description copied from interface:
javax.swing.text.Document
- Removes a piece of content.
insertTokenizer
private void insertTokenizer(int offset,
java.lang.String text)
getAttributeSet
private javax.swing.text.SimpleAttributeSet getAttributeSet(javax.swing.text.AttributeSet attr)
setAttributes
private void setAttributes(int offset,
int length,
javax.swing.text.SimpleAttributeSet sas)
updateSaveStatus
private void updateSaveStatus()
makeKeyword
private void makeKeyword(int offset,
int length,
javax.swing.text.AttributeSet attr)
makeString
private void makeString(int offset,
int length,
javax.swing.text.AttributeSet attr)
makeNormal
private void makeNormal(int offset,
int length,
javax.swing.text.AttributeSet attr)
makeComment
private void makeComment(int offset,
int length,
javax.swing.text.AttributeSet attr)
makeNumeric
private void makeNumeric(int offset,
int length,
javax.swing.text.AttributeSet attr)
readBackToFirstSpecialChar
private int readBackToFirstSpecialChar(int offset,
java.lang.String specialChar)
evaluateWord
private void evaluateWord(int offset,
java.lang.String word)
JAVADOC | 
SOURCE | 
DOWNLOAD | NESTED | FIELD | CONSTR | METHOD