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 DefaultStyledDocument
DefaultStyledDocument.AttributeUndoableEdit, DefaultStyledDocument.ElementBuffer, DefaultStyledDocument.ElementSpec, DefaultStyledDocument.SectionElementNested classes/interfaces inherited from class AbstractDocument
AbstractDocument.AbstractElement, AbstractDocument.AttributeContext, AbstractDocument.BranchElement, AbstractDocument.Content, AbstractDocument.DefaultDocumentEvent, AbstractDocument.ElementEdit, AbstractDocument.LeafElement -
Field Summary
Fields inherited from class DefaultStyledDocument
buffer, BUFFER_SIZE_DEFAULTFields inherited from class AbstractDocument
BAD_LOCATION, BidiElementName, ContentElementName, ElementNameAttribute, listenerList, ParagraphElementName, SectionElementNameFields inherited from interface Document
StreamDescriptionProperty, TitleProperty -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoiddispose()voiddisposeOnClose(Window parent) voidinsertString(int offs, String str, AttributeSet a) static voidmakeReplWrapper(Stream in, Stream out, LispObject fn) protected booleanprocessInputP(StringBuffer sb, String str) Guaranteed to run with exclusive access to the buffer.voidremove(int offs, int len) voidprotected voidsuperInsertString(int offs, String str, AttributeSet a) Methods inherited from class DefaultStyledDocument
addDocumentListener, addStyle, create, createDefaultRoot, getBackground, getCharacterElement, getDefaultRootElement, getFont, getForeground, getLogicalStyle, getParagraphElement, getStyle, getStyleNames, insert, insertUpdate, removeDocumentListener, removeElement, removeStyle, removeUpdate, setCharacterAttributes, setLogicalStyle, setParagraphAttributes, styleChangedMethods inherited from class 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, writeUnlockMethods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface Document
addUndoableEditListener, createPosition, getEndPosition, getLength, getProperty, getRootElements, getStartPosition, getText, getText, putProperty, removeUndoableEditListener, render
-
Constructor Details
-
REPLConsole
-
-
Method Details
-
insertString
- Specified by:
insertStringin interfaceDocument- Overrides:
insertStringin 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:
removein interfaceDocument- Overrides:
removein classAbstractDocument- Throws:
BadLocationException
-
getReader
-
getWriter
-
setupTextComponent
-
dispose
public void dispose() -
makeReplWrapper
-
disposeOnClose
-
main
-