public class ReplDocument
extends javax.swing.text.DefaultStyledDocument
implements javax.swing.event.DocumentListener, java.awt.event.FocusListener
| Modifier and Type | Class and Description |
|---|---|
static interface |
ReplDocument.DocumentCloseListener
Listener interface for when a document closes.
|
javax.swing.text.DefaultStyledDocument.AttributeUndoableEdit, javax.swing.text.DefaultStyledDocument.ElementBuffer, javax.swing.text.DefaultStyledDocument.ElementSpec, javax.swing.text.DefaultStyledDocument.SectionElementjavax.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 |
|---|---|
static javax.swing.text.Style |
defaultStyle |
int |
endMark
End of pending input.
|
static javax.swing.text.Style |
inputStyle |
int |
outputMark
The offset where output from process is inserted.
|
static javax.swing.text.Style |
redStyle |
static javax.swing.text.StyleContext |
styles |
| Constructor and Description |
|---|
ReplDocument(Language language,
Environment penvironment,
boolean shared) |
| Modifier and Type | Method and Description |
|---|---|
void |
addDocumentCloseListener(ReplDocument.DocumentCloseListener listener)
Register a DocumentCloseListener.
|
void |
changedUpdate(javax.swing.event.DocumentEvent e) |
void |
checkingPendingInput()
Check if there is any pending input.
|
void |
deleteOldText()
Delete old text, prior to line containing outputMark.
|
void |
focusGained(java.awt.event.FocusEvent e) |
void |
focusLost(java.awt.event.FocusEvent e) |
void |
insertString(int pos,
java.lang.String str,
javax.swing.text.AttributeSet style) |
void |
insertUpdate(javax.swing.event.DocumentEvent e) |
void |
removeDocumentCloseListener(ReplDocument.DocumentCloseListener listener) |
void |
removeUpdate(javax.swing.event.DocumentEvent e) |
void |
textValueChanged(javax.swing.event.DocumentEvent e) |
void |
write(java.lang.String str,
javax.swing.text.AttributeSet style)
Insert output from the client at the outputMark.
|
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChangedaddUndoableEditListener, 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, remove, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlockpublic static javax.swing.text.StyleContext styles
public static javax.swing.text.Style defaultStyle
public static javax.swing.text.Style inputStyle
public static javax.swing.text.Style redStyle
public int outputMark
public int endMark
endMark > 0 then the area between outputMark and endMark
is pending input that hasn't been sent to the process yet.public ReplDocument(Language language, Environment penvironment, boolean shared)
public void deleteOldText()
public void insertString(int pos,
java.lang.String str,
javax.swing.text.AttributeSet style)
insertString in interface javax.swing.text.DocumentinsertString in class javax.swing.text.AbstractDocumentpublic void write(java.lang.String str,
javax.swing.text.AttributeSet style)
public void checkingPendingInput()
public void focusGained(java.awt.event.FocusEvent e)
focusGained in interface java.awt.event.FocusListenerpublic void focusLost(java.awt.event.FocusEvent e)
focusLost in interface java.awt.event.FocusListenerpublic void changedUpdate(javax.swing.event.DocumentEvent e)
changedUpdate in interface javax.swing.event.DocumentListenerpublic void insertUpdate(javax.swing.event.DocumentEvent e)
insertUpdate in interface javax.swing.event.DocumentListenerpublic void removeUpdate(javax.swing.event.DocumentEvent e)
removeUpdate in interface javax.swing.event.DocumentListenerpublic void textValueChanged(javax.swing.event.DocumentEvent e)
public void addDocumentCloseListener(ReplDocument.DocumentCloseListener listener)
public void removeDocumentCloseListener(ReplDocument.DocumentCloseListener listener)