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.SectionElement
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
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, styleChanged
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, remove, removeUndoableEditListener, render, replace, setAsynchronousLoadPriority, setDocumentFilter, setDocumentProperties, writeLock, writeUnlock
public 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.Document
insertString
in class javax.swing.text.AbstractDocument
public 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.FocusListener
public void focusLost(java.awt.event.FocusEvent e)
focusLost
in interface java.awt.event.FocusListener
public void changedUpdate(javax.swing.event.DocumentEvent e)
changedUpdate
in interface javax.swing.event.DocumentListener
public void insertUpdate(javax.swing.event.DocumentEvent e)
insertUpdate
in interface javax.swing.event.DocumentListener
public void removeUpdate(javax.swing.event.DocumentEvent e)
removeUpdate
in interface javax.swing.event.DocumentListener
public void textValueChanged(javax.swing.event.DocumentEvent e)
public void addDocumentCloseListener(ReplDocument.DocumentCloseListener listener)
public void removeDocumentCloseListener(ReplDocument.DocumentCloseListener listener)