Package org.armedbear.lisp.java.swing
Class REPLConsole
java.lang.Object
javax.swing.text.AbstractDocument
javax.swing.text.DefaultStyledDocument
org.armedbear.lisp.java.swing.REPLConsole
- All Implemented Interfaces:
Serializable
,Document
,StyledDocument
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class javax.swing.text.DefaultStyledDocument
DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElement
Nested classes/interfaces inherited from class javax.swing.text.AbstractDocument
AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement
-
Field Summary
Fields inherited from class javax.swing.text.DefaultStyledDocument
buffer, BUFFER_SIZE_DEFAULT
Fields inherited from class javax.swing.text.AbstractDocument
BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementName
Fields inherited from interface javax.swing.text.Document
StreamDescriptionProperty, TitleProperty
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
dispose()
void
disposeOnClose
(Window parent) void
insertString
(int offs, String str, AttributeSet a) static void
makeReplWrapper
(Stream in, Stream out, LispObject fn) protected boolean
processInputP
(StringBuffer sb, String str) Guaranteed to run with exclusive access to the buffer.void
remove
(int offs, int len) void
protected void
superInsertString
(int offs, String str, AttributeSet a) Methods inherited from class javax.swing.text.DefaultStyledDocument
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChanged
Methods inherited from class javax.swing.text.AbstractDocument
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, 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
-
Constructor Details
-
REPLConsole
-
-
Method Details
-
insertString
- Specified by:
insertString
in interfaceDocument
- Overrides:
insertString
in classAbstractDocument
- Throws:
BadLocationException
-
superInsertString
- Throws:
BadLocationException
-
processInputP
Guaranteed to run with exclusive access to the buffer.- Parameters:
sb
- NB sb MUST NOT be destructively modified!!- Returns:
-
remove
- Specified by:
remove
in interfaceDocument
- Overrides:
remove
in classAbstractDocument
- Throws:
BadLocationException
-
getReader
-
getWriter
-
setupTextComponent
-
dispose
public void dispose() -
makeReplWrapper
-
disposeOnClose
-
main
-