Class 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
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      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, 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 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()
      • disposeOnClose

        public void disposeOnClose​(java.awt.Window parent)
      • main

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