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:

java.io.Serializable, javax.swing.text.Document, javax.swing.text.StyledDocument

public class REPLConsole
extends javax.swing.text.DefaultStyledDocument

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces 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/interfaces 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

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

REPLConsole(LispObject replFunction)

Method Summary

void	dispose()
void	disposeOnClose(java.awt.Window parent)
java.io.Reader	getReader()
java.io.Writer	getWriter()
void	insertString(int offs, java.lang.String str, javax.swing.text.AttributeSet a)
static void	main(java.lang.String[] args)
LispObject	makeReplWrapper(Stream in, Stream out, LispObject fn)
protected boolean	processInputP(java.lang.StringBuffer sb, java.lang.String str) Guaranteed to run with exclusive access to the buffer.
void	remove(int offs, int len)
void	setupTextComponent(javax.swing.text.JTextComponent txt)
protected void	superInsertString(int offs, java.lang.String str, javax.swing.text.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, 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 Detail

REPLConsole

public REPLConsole(LispObject replFunction)

Method Detail

insertString

public void insertString(int offs,
                         java.lang.String str,
                         javax.swing.text.AttributeSet a)
                  throws javax.swing.text.BadLocationException

Specified by:

insertString in interface javax.swing.text.Document

Overrides:

insertString in class javax.swing.text.AbstractDocument

Throws:

javax.swing.text.BadLocationException

superInsertString

protected void superInsertString(int offs,
                                 java.lang.String str,
                                 javax.swing.text.AttributeSet a)
                          throws javax.swing.text.BadLocationException

Throws:

javax.swing.text.BadLocationException

processInputP

protected boolean processInputP(java.lang.StringBuffer sb,
                                java.lang.String str)

Guaranteed to run with exclusive access to the buffer.

Parameters:

sb - NB sb MUST NOT be destructively modified!!

Returns:

remove

public void remove(int offs,
                   int len)
            throws javax.swing.text.BadLocationException

Specified by:

remove in interface javax.swing.text.Document

Overrides:

remove in class javax.swing.text.AbstractDocument

Throws:

javax.swing.text.BadLocationException

getReader

public java.io.Reader getReader()

getWriter

public java.io.Writer getWriter()

setupTextComponent

public void setupTextComponent(javax.swing.text.JTextComponent txt)

dispose

public void dispose()

makeReplWrapper

public LispObject makeReplWrapper(Stream in,
                                  Stream out,
                                  LispObject fn)

disposeOnClose

public void disposeOnClose(java.awt.Window parent)

main

public static void main(java.lang.String[] args)