|
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392 |
- # -*- test-case-name: twisted.conch.test.test_manhole -*-
- # Copyright (c) Twisted Matrix Laboratories.
- # See LICENSE for details.
-
- """
- Line-input oriented interactive interpreter loop.
-
- Provides classes for handling Python source input and arbitrary output
- interactively from a Twisted application. Also included is syntax coloring
- code with support for VT102 terminals, control code handling (^C, ^D, ^Q),
- and reasonable handling of Deferreds.
-
- @author: Jp Calderone
- """
-
- import code
- import sys
- import tokenize
- from io import BytesIO
- from traceback import format_exception
- from types import TracebackType
- from typing import Type
-
- from twisted.conch import recvline
- from twisted.internet import defer
- from twisted.python.compat import _get_async_param
- from twisted.python.htmlizer import TokenPrinter
- from twisted.python.monkey import MonkeyPatcher
-
-
- class FileWrapper:
- """
- Minimal write-file-like object.
-
- Writes are translated into addOutput calls on an object passed to
- __init__. Newlines are also converted from network to local style.
- """
-
- softspace = 0
- state = "normal"
-
- def __init__(self, o):
- self.o = o
-
- def flush(self):
- pass
-
- def write(self, data):
- self.o.addOutput(data.replace("\r\n", "\n"))
-
- def writelines(self, lines):
- self.write("".join(lines))
-
-
- class ManholeInterpreter(code.InteractiveInterpreter):
- """
- Interactive Interpreter with special output and Deferred support.
-
- Aside from the features provided by L{code.InteractiveInterpreter}, this
- class captures sys.stdout output and redirects it to the appropriate
- location (the Manhole protocol instance). It also treats Deferreds
- which reach the top-level specially: each is formatted to the user with
- a unique identifier and a new callback and errback added to it, each of
- which will format the unique identifier and the result with which the
- Deferred fires and then pass it on to the next participant in the
- callback chain.
- """
-
- numDeferreds = 0
-
- def __init__(self, handler, locals=None, filename="<console>"):
- code.InteractiveInterpreter.__init__(self, locals)
- self._pendingDeferreds = {}
- self.handler = handler
- self.filename = filename
- self.resetBuffer()
-
- self.monkeyPatcher = MonkeyPatcher()
- self.monkeyPatcher.addPatch(sys, "displayhook", self.displayhook)
- self.monkeyPatcher.addPatch(sys, "excepthook", self.excepthook)
- self.monkeyPatcher.addPatch(sys, "stdout", FileWrapper(self.handler))
-
- def resetBuffer(self):
- """
- Reset the input buffer.
- """
- self.buffer = []
-
- def push(self, line):
- """
- Push a line to the interpreter.
-
- The line should not have a trailing newline; it may have
- internal newlines. The line is appended to a buffer and the
- interpreter's runsource() method is called with the
- concatenated contents of the buffer as source. If this
- indicates that the command was executed or invalid, the buffer
- is reset; otherwise, the command is incomplete, and the buffer
- is left as it was after the line was appended. The return
- value is 1 if more input is required, 0 if the line was dealt
- with in some way (this is the same as runsource()).
-
- @param line: line of text
- @type line: L{bytes}
- @return: L{bool} from L{code.InteractiveInterpreter.runsource}
- """
- self.buffer.append(line)
- source = b"\n".join(self.buffer)
- source = source.decode("utf-8")
- more = self.runsource(source, self.filename)
- if not more:
- self.resetBuffer()
- return more
-
- def runcode(self, *a, **kw):
- with self.monkeyPatcher:
- code.InteractiveInterpreter.runcode(self, *a, **kw)
-
- def excepthook(
- self,
- excType: Type[BaseException],
- excValue: BaseException,
- excTraceback: TracebackType,
- ) -> None:
- """
- Format exception tracebacks and write them to the output handler.
- """
- lines = format_exception(excType, excValue, excTraceback.tb_next)
- self.write("".join(lines))
-
- def displayhook(self, obj):
- self.locals["_"] = obj
- if isinstance(obj, defer.Deferred):
- # XXX Ick, where is my "hasFired()" interface?
- if hasattr(obj, "result"):
- self.write(repr(obj))
- elif id(obj) in self._pendingDeferreds:
- self.write("<Deferred #%d>" % (self._pendingDeferreds[id(obj)][0],))
- else:
- d = self._pendingDeferreds
- k = self.numDeferreds
- d[id(obj)] = (k, obj)
- self.numDeferreds += 1
- obj.addCallbacks(
- self._cbDisplayDeferred,
- self._ebDisplayDeferred,
- callbackArgs=(k, obj),
- errbackArgs=(k, obj),
- )
- self.write("<Deferred #%d>" % (k,))
- elif obj is not None:
- self.write(repr(obj))
-
- def _cbDisplayDeferred(self, result, k, obj):
- self.write("Deferred #%d called back: %r" % (k, result), True)
- del self._pendingDeferreds[id(obj)]
- return result
-
- def _ebDisplayDeferred(self, failure, k, obj):
- self.write("Deferred #%d failed: %r" % (k, failure.getErrorMessage()), True)
- del self._pendingDeferreds[id(obj)]
- return failure
-
- def write(self, data, isAsync=None, **kwargs):
- isAsync = _get_async_param(isAsync, **kwargs)
- self.handler.addOutput(data, isAsync)
-
-
- CTRL_C = b"\x03"
- CTRL_D = b"\x04"
- CTRL_BACKSLASH = b"\x1c"
- CTRL_L = b"\x0c"
- CTRL_A = b"\x01"
- CTRL_E = b"\x05"
-
-
- class Manhole(recvline.HistoricRecvLine):
- r"""
- Mediator between a fancy line source and an interactive interpreter.
-
- This accepts lines from its transport and passes them on to a
- L{ManholeInterpreter}. Control commands (^C, ^D, ^\) are also handled
- with something approximating their normal terminal-mode behavior. It
- can optionally be constructed with a dict which will be used as the
- local namespace for any code executed.
- """
-
- namespace = None
-
- def __init__(self, namespace=None):
- recvline.HistoricRecvLine.__init__(self)
- if namespace is not None:
- self.namespace = namespace.copy()
-
- def connectionMade(self):
- recvline.HistoricRecvLine.connectionMade(self)
- self.interpreter = ManholeInterpreter(self, self.namespace)
- self.keyHandlers[CTRL_C] = self.handle_INT
- self.keyHandlers[CTRL_D] = self.handle_EOF
- self.keyHandlers[CTRL_L] = self.handle_FF
- self.keyHandlers[CTRL_A] = self.handle_HOME
- self.keyHandlers[CTRL_E] = self.handle_END
- self.keyHandlers[CTRL_BACKSLASH] = self.handle_QUIT
-
- def handle_INT(self):
- """
- Handle ^C as an interrupt keystroke by resetting the current input
- variables to their initial state.
- """
- self.pn = 0
- self.lineBuffer = []
- self.lineBufferIndex = 0
- self.interpreter.resetBuffer()
-
- self.terminal.nextLine()
- self.terminal.write(b"KeyboardInterrupt")
- self.terminal.nextLine()
- self.terminal.write(self.ps[self.pn])
-
- def handle_EOF(self):
- if self.lineBuffer:
- self.terminal.write(b"\a")
- else:
- self.handle_QUIT()
-
- def handle_FF(self):
- """
- Handle a 'form feed' byte - generally used to request a screen
- refresh/redraw.
- """
- self.terminal.eraseDisplay()
- self.terminal.cursorHome()
- self.drawInputLine()
-
- def handle_QUIT(self):
- self.terminal.loseConnection()
-
- def _needsNewline(self):
- w = self.terminal.lastWrite
- return not w.endswith(b"\n") and not w.endswith(b"\x1bE")
-
- def addOutput(self, data, isAsync=None, **kwargs):
- isAsync = _get_async_param(isAsync, **kwargs)
- if isAsync:
- self.terminal.eraseLine()
- self.terminal.cursorBackward(len(self.lineBuffer) + len(self.ps[self.pn]))
-
- self.terminal.write(data)
-
- if isAsync:
- if self._needsNewline():
- self.terminal.nextLine()
-
- self.terminal.write(self.ps[self.pn])
-
- if self.lineBuffer:
- oldBuffer = self.lineBuffer
- self.lineBuffer = []
- self.lineBufferIndex = 0
-
- self._deliverBuffer(oldBuffer)
-
- def lineReceived(self, line):
- more = self.interpreter.push(line)
- self.pn = bool(more)
- if self._needsNewline():
- self.terminal.nextLine()
- self.terminal.write(self.ps[self.pn])
-
-
- class VT102Writer:
- """
- Colorizer for Python tokens.
-
- A series of tokens are written to instances of this object. Each is
- colored in a particular way. The final line of the result of this is
- generally added to the output.
- """
-
- typeToColor = {
- "identifier": b"\x1b[31m",
- "keyword": b"\x1b[32m",
- "parameter": b"\x1b[33m",
- "variable": b"\x1b[1;33m",
- "string": b"\x1b[35m",
- "number": b"\x1b[36m",
- "op": b"\x1b[37m",
- }
-
- normalColor = b"\x1b[0m"
-
- def __init__(self):
- self.written = []
-
- def color(self, type):
- r = self.typeToColor.get(type, b"")
- return r
-
- def write(self, token, type=None):
- if token and token != b"\r":
- c = self.color(type)
- if c:
- self.written.append(c)
- self.written.append(token)
- if c:
- self.written.append(self.normalColor)
-
- def __bytes__(self):
- s = b"".join(self.written)
- return s.strip(b"\n").splitlines()[-1]
-
- if bytes == str:
- # Compat with Python 2.7
- __str__ = __bytes__
-
-
- def lastColorizedLine(source):
- """
- Tokenize and colorize the given Python source.
-
- Returns a VT102-format colorized version of the last line of C{source}.
-
- @param source: Python source code
- @type source: L{str} or L{bytes}
- @return: L{bytes} of colorized source
- """
- if not isinstance(source, bytes):
- source = source.encode("utf-8")
- w = VT102Writer()
- p = TokenPrinter(w.write).printtoken
- s = BytesIO(source)
-
- for token in tokenize.tokenize(s.readline):
- (tokenType, string, start, end, line) = token
- p(tokenType, string, start, end, line)
-
- return bytes(w)
-
-
- class ColoredManhole(Manhole):
- """
- A REPL which syntax colors input as users type it.
- """
-
- def getSource(self):
- """
- Return a string containing the currently entered source.
-
- This is only the code which will be considered for execution
- next.
- """
- return b"\n".join(self.interpreter.buffer) + b"\n" + b"".join(self.lineBuffer)
-
- def characterReceived(self, ch, moreCharactersComing):
- if self.mode == "insert":
- self.lineBuffer.insert(self.lineBufferIndex, ch)
- else:
- self.lineBuffer[self.lineBufferIndex : self.lineBufferIndex + 1] = [ch]
- self.lineBufferIndex += 1
-
- if moreCharactersComing:
- # Skip it all, we'll get called with another character in
- # like 2 femtoseconds.
- return
-
- if ch == b" ":
- # Don't bother to try to color whitespace
- self.terminal.write(ch)
- return
-
- source = self.getSource()
-
- # Try to write some junk
- try:
- coloredLine = lastColorizedLine(source)
- except tokenize.TokenError:
- # We couldn't do it. Strange. Oh well, just add the character.
- self.terminal.write(ch)
- else:
- # Success! Clear the source on this line.
- self.terminal.eraseLine()
- self.terminal.cursorBackward(
- len(self.lineBuffer) + len(self.ps[self.pn]) - 1
- )
-
- # And write a new, colorized one.
- self.terminal.write(self.ps[self.pn] + coloredLine)
-
- # And move the cursor to where it belongs
- n = len(self.lineBuffer) - self.lineBufferIndex
- if n:
- self.terminal.cursorBackward(n)
|