Class FastTerminal

  • All Implemented Interfaces:
    java.io.Closeable, java.io.Flushable, java.lang.AutoCloseable, org.jline.terminal.spi.TerminalExt, org.jline.terminal.Terminal

    public class FastTerminal
    extends java.lang.Object
    implements org.jline.terminal.spi.TerminalExt
    • Nested Class Summary

      • Nested classes/interfaces inherited from interface org.jline.terminal.Terminal

        org.jline.terminal.Terminal.MouseTracking, org.jline.terminal.Terminal.Signal, org.jline.terminal.Terminal.SignalHandler
    • Field Summary

      • Fields inherited from interface org.jline.terminal.Terminal

        TYPE_DUMB, TYPE_DUMB_COLOR
    • Constructor Summary

      Constructors 
      Constructor Description
      FastTerminal​(java.util.concurrent.Callable<org.jline.terminal.Terminal> builder, java.util.function.Consumer<org.jline.terminal.Terminal> consumer)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean canPauseResume()  
      void close()  
      boolean echo()  
      boolean echo​(boolean b)  
      java.nio.charset.Charset encoding()  
      org.jline.terminal.Attributes enterRawMode()  
      void flush()  
      org.jline.terminal.Attributes getAttributes()  
      boolean getBooleanCapability​(org.jline.utils.InfoCmp.Capability capability)  
      org.jline.terminal.Size getBufferSize()  
      org.jline.terminal.Terminal.MouseTracking getCurrentMouseTracking()  
      org.jline.terminal.Cursor getCursorPosition​(java.util.function.IntConsumer intConsumer)  
      int getHeight()  
      java.lang.String getName()  
      java.lang.Integer getNumericCapability​(org.jline.utils.InfoCmp.Capability capability)  
      org.jline.utils.ColorPalette getPalette()  
      org.jline.terminal.spi.TerminalProvider getProvider()  
      org.jline.terminal.Size getSize()  
      java.lang.String getStringCapability​(org.jline.utils.InfoCmp.Capability capability)  
      org.jline.terminal.spi.SystemStream getSystemStream()  
      org.jline.terminal.spi.TerminalExt getTerminal()  
      java.lang.String getType()  
      int getWidth()  
      org.jline.terminal.Terminal.SignalHandler handle​(org.jline.terminal.Terminal.Signal signal, org.jline.terminal.Terminal.SignalHandler signalHandler)  
      boolean hasFocusSupport()  
      boolean hasMouseSupport()  
      java.io.InputStream input()  
      java.io.OutputStream output()  
      void pause()  
      void pause​(boolean b)  
      boolean paused()  
      boolean puts​(org.jline.utils.InfoCmp.Capability capability, java.lang.Object... objects)  
      void raise​(org.jline.terminal.Terminal.Signal signal)  
      org.jline.utils.NonBlockingReader reader()  
      org.jline.terminal.MouseEvent readMouseEvent()  
      org.jline.terminal.MouseEvent readMouseEvent​(java.lang.String prefix)  
      org.jline.terminal.MouseEvent readMouseEvent​(java.util.function.IntSupplier intSupplier)  
      org.jline.terminal.MouseEvent readMouseEvent​(java.util.function.IntSupplier reader, java.lang.String prefix)  
      void resume()  
      void setAttributes​(org.jline.terminal.Attributes attributes)  
      void setSize​(org.jline.terminal.Size size)  
      java.lang.String toString()  
      boolean trackFocus​(boolean b)  
      boolean trackMouse​(org.jline.terminal.Terminal.MouseTracking mouseTracking)  
      java.io.PrintWriter writer()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface org.jline.terminal.Terminal

        getDefaultBackgroundColor, getDefaultForegroundColor, inputEncoding, outputEncoding, stderrEncoding, stdinEncoding, stdoutEncoding
    • Constructor Detail

      • FastTerminal

        public FastTerminal​(java.util.concurrent.Callable<org.jline.terminal.Terminal> builder,
                            java.util.function.Consumer<org.jline.terminal.Terminal> consumer)
    • Method Detail

      • getTerminal

        public org.jline.terminal.spi.TerminalExt getTerminal()
      • getName

        public java.lang.String getName()
        Specified by:
        getName in interface org.jline.terminal.Terminal
      • handle

        public org.jline.terminal.Terminal.SignalHandler handle​(org.jline.terminal.Terminal.Signal signal,
                                                                org.jline.terminal.Terminal.SignalHandler signalHandler)
        Specified by:
        handle in interface org.jline.terminal.Terminal
      • raise

        public void raise​(org.jline.terminal.Terminal.Signal signal)
        Specified by:
        raise in interface org.jline.terminal.Terminal
      • reader

        public org.jline.utils.NonBlockingReader reader()
        Specified by:
        reader in interface org.jline.terminal.Terminal
      • writer

        public java.io.PrintWriter writer()
        Specified by:
        writer in interface org.jline.terminal.Terminal
      • encoding

        public java.nio.charset.Charset encoding()
        Specified by:
        encoding in interface org.jline.terminal.Terminal
      • input

        public java.io.InputStream input()
        Specified by:
        input in interface org.jline.terminal.Terminal
      • output

        public java.io.OutputStream output()
        Specified by:
        output in interface org.jline.terminal.Terminal
      • canPauseResume

        public boolean canPauseResume()
        Specified by:
        canPauseResume in interface org.jline.terminal.Terminal
      • pause

        public void pause()
        Specified by:
        pause in interface org.jline.terminal.Terminal
      • pause

        public void pause​(boolean b)
                   throws java.lang.InterruptedException
        Specified by:
        pause in interface org.jline.terminal.Terminal
        Throws:
        java.lang.InterruptedException
      • resume

        public void resume()
        Specified by:
        resume in interface org.jline.terminal.Terminal
      • paused

        public boolean paused()
        Specified by:
        paused in interface org.jline.terminal.Terminal
      • enterRawMode

        public org.jline.terminal.Attributes enterRawMode()
        Specified by:
        enterRawMode in interface org.jline.terminal.Terminal
      • echo

        public boolean echo()
        Specified by:
        echo in interface org.jline.terminal.Terminal
      • echo

        public boolean echo​(boolean b)
        Specified by:
        echo in interface org.jline.terminal.Terminal
      • getAttributes

        public org.jline.terminal.Attributes getAttributes()
        Specified by:
        getAttributes in interface org.jline.terminal.Terminal
      • setAttributes

        public void setAttributes​(org.jline.terminal.Attributes attributes)
        Specified by:
        setAttributes in interface org.jline.terminal.Terminal
      • getSize

        public org.jline.terminal.Size getSize()
        Specified by:
        getSize in interface org.jline.terminal.Terminal
      • setSize

        public void setSize​(org.jline.terminal.Size size)
        Specified by:
        setSize in interface org.jline.terminal.Terminal
      • getWidth

        public int getWidth()
        Specified by:
        getWidth in interface org.jline.terminal.Terminal
      • getHeight

        public int getHeight()
        Specified by:
        getHeight in interface org.jline.terminal.Terminal
      • getBufferSize

        public org.jline.terminal.Size getBufferSize()
        Specified by:
        getBufferSize in interface org.jline.terminal.Terminal
      • flush

        public void flush()
        Specified by:
        flush in interface java.io.Flushable
        Specified by:
        flush in interface org.jline.terminal.Terminal
      • getType

        public java.lang.String getType()
        Specified by:
        getType in interface org.jline.terminal.Terminal
      • puts

        public boolean puts​(org.jline.utils.InfoCmp.Capability capability,
                            java.lang.Object... objects)
        Specified by:
        puts in interface org.jline.terminal.Terminal
      • getBooleanCapability

        public boolean getBooleanCapability​(org.jline.utils.InfoCmp.Capability capability)
        Specified by:
        getBooleanCapability in interface org.jline.terminal.Terminal
      • getNumericCapability

        public java.lang.Integer getNumericCapability​(org.jline.utils.InfoCmp.Capability capability)
        Specified by:
        getNumericCapability in interface org.jline.terminal.Terminal
      • getStringCapability

        public java.lang.String getStringCapability​(org.jline.utils.InfoCmp.Capability capability)
        Specified by:
        getStringCapability in interface org.jline.terminal.Terminal
      • getCursorPosition

        public org.jline.terminal.Cursor getCursorPosition​(java.util.function.IntConsumer intConsumer)
        Specified by:
        getCursorPosition in interface org.jline.terminal.Terminal
      • hasMouseSupport

        public boolean hasMouseSupport()
        Specified by:
        hasMouseSupport in interface org.jline.terminal.Terminal
      • getCurrentMouseTracking

        public org.jline.terminal.Terminal.MouseTracking getCurrentMouseTracking()
        Specified by:
        getCurrentMouseTracking in interface org.jline.terminal.Terminal
      • trackMouse

        public boolean trackMouse​(org.jline.terminal.Terminal.MouseTracking mouseTracking)
        Specified by:
        trackMouse in interface org.jline.terminal.Terminal
      • readMouseEvent

        public org.jline.terminal.MouseEvent readMouseEvent()
        Specified by:
        readMouseEvent in interface org.jline.terminal.Terminal
      • readMouseEvent

        public org.jline.terminal.MouseEvent readMouseEvent​(java.util.function.IntSupplier intSupplier)
        Specified by:
        readMouseEvent in interface org.jline.terminal.Terminal
      • readMouseEvent

        public org.jline.terminal.MouseEvent readMouseEvent​(java.lang.String prefix)
        Specified by:
        readMouseEvent in interface org.jline.terminal.Terminal
      • readMouseEvent

        public org.jline.terminal.MouseEvent readMouseEvent​(java.util.function.IntSupplier reader,
                                                            java.lang.String prefix)
        Specified by:
        readMouseEvent in interface org.jline.terminal.Terminal
      • hasFocusSupport

        public boolean hasFocusSupport()
        Specified by:
        hasFocusSupport in interface org.jline.terminal.Terminal
      • trackFocus

        public boolean trackFocus​(boolean b)
        Specified by:
        trackFocus in interface org.jline.terminal.Terminal
      • getPalette

        public org.jline.utils.ColorPalette getPalette()
        Specified by:
        getPalette in interface org.jline.terminal.Terminal
      • close

        public void close()
                   throws java.io.IOException
        Specified by:
        close in interface java.lang.AutoCloseable
        Specified by:
        close in interface java.io.Closeable
        Throws:
        java.io.IOException
      • getProvider

        public org.jline.terminal.spi.TerminalProvider getProvider()
        Specified by:
        getProvider in interface org.jline.terminal.spi.TerminalExt
      • getSystemStream

        public org.jline.terminal.spi.SystemStream getSystemStream()
        Specified by:
        getSystemStream in interface org.jline.terminal.spi.TerminalExt
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object