1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
|
"""IPython interface for dREPL."""
import base64
from base64 import b64decode, b64encode
import json
from itertools import chain
from pathlib import Path
from sys import stdin, stdout
from tempfile import mkstemp
from IPython.core.completer import provisionalcompleter, rectify_completions
from IPython.core.displayhook import DisplayHook
from IPython.core.interactiveshell import InteractiveShell, InteractiveShellABC
from IPython.utils.tokenutil import token_at_cursor
from traitlets import Unicode
mime_types = {
"application/json": lambda d: json.dumps(d).encode(),
"image/jpeg": lambda s: b64decode(s) if isinstance(s, str) else s,
"image/png": lambda s: b64decode(s) if isinstance(s, str) else s,
"image/svg+xml": str.encode,
"text/html": str.encode,
"text/latex": str.encode,
}
def sendmsg(**data):
stdout.write("\033]5161;")
json.dump(data, stdout)
stdout.write("\033\\")
stdout.flush()
def readmsg():
sendmsg(op="status", status="ready")
buffer = []
while True:
line = stdin.buffer.readline()
if not line:
raise EOFError
buffer.append(line[2:-1])
if line.startswith(b"\033="):
return json.loads(b"".join(buffer))
if not line.startswith(b"\033+"):
raise ReplError("Invalid input")
class ReplError(Exception):
pass
class ReplDisplayHook(DisplayHook):
def write_output_prompt(self):
stdout.write(self.shell.separate_out)
if self.do_full_cache:
stdout.write(self.shell.ps3.format(self.shell.execution_count))
def write_format_data(self, format_dict, md_dict=None):
for mime, handler in self.shell.mime_renderers.items():
if mime in format_dict:
handler(format_dict[mime], None)
return
super().write_format_data(format_dict, md_dict)
class Repl(InteractiveShell):
ps1 = Unicode(
"In [{}]: ",
help="Primary input prompt, with '{}' replaced by the execution count.",
).tag(config=True)
ps2 = Unicode(
"...: ",
help="Secondary input prompt, used in multiline commands.",
).tag(config=True)
ps3 = Unicode(
"\033[31mOut[{}]:\033[0m ",
help="String prepended to return values displayed in the shell.",
).tag(config=True)
@classmethod
def run(cls):
"Read config as a single JSON line from stdin, then start the REPL."
config = json.loads(stdin.readline())
cls.instance(config).run_loop()
def __init__(self, config):
# Default settings
self.config.HistoryManager.enabled = False
# User-supplied settings
own_config = getattr(self.config, self.__class__.__name__)
for k, v in config.items():
k0, dot, k1 = k.rpartition(".")
cfg = getattr(self.config, k0) if dot else own_config
setattr(cfg, k1, v)
super().__init__()
self.confirm_exit = True
try:
self.enable_matplotlib("inline")
except ModuleNotFoundError:
pass
self.mime_size_limit = 4000
self.mime_renderers = {
k: self.make_mime_renderer(k, v) for k, v in mime_types.items()
}
self.show_banner()
system = InteractiveShell.system_raw
displayhook_class = ReplDisplayHook
def make_mime_renderer(self, type, encoder):
def renderer(data, meta=None):
if encoder:
data = encoder(data)
header = json.dumps({**(meta or {}), "type": type})
if len(data) > self.mime_size_limit:
fdesc, fname = mkstemp()
with open(fdesc, "wb") as f:
f.write(data)
payload = "tmp" + Path(fname).as_uri()
else:
payload = b64encode(data).decode()
stdout.write(f"\033]5151;{header}\n{payload}\033\\\n")
return renderer
def enable_gui(self, gui=None):
pass
def run_loop(self):
while True:
try:
self.run_once()
except EOFError:
sendmsg(op="status", status="rawio")
if (not self.confirm_exit) or self.ask_yes_no(
"\nDo you really want to exit ([y]/n)?", "y", "n"
):
return
except (ReplError, KeyboardInterrupt) as e:
print(str(e) or e.__class__.__name__)
def run_once(self):
"Print prompt, run REPL until a new prompt is needed."
self.current_ps1 = self.ps1.format(self.execution_count)
stdout.write(self.separate_in + self.current_ps1)
while True:
data = readmsg()
op = data.pop("op")
fun = getattr(self, "drepl_{}".format(op), None)
if fun is None:
raise ReplError("Invalid op: {}".format(op))
fun(**data)
if op in ("eval", "setoptions"):
self.execution_count += 1
break
def drepl_eval(self, id, code):
sendmsg(op="status", status="rawio")
r = self.run_cell(code)
sendmsg(id=id)
def drepl_complete(self, id, code, pos):
with provisionalcompleter():
completions = rectify_completions(
code, self.Completer.completions(code, pos)
)
first = next(completions, None)
if first is None:
sendmsg(id=id)
return
prefix = code[first.start : pos]
completions = chain([first], completions)
candidates = [{"text": c.text, "annot": c.signature} for c in completions]
sendmsg(id=id, prefix=prefix, candidates=candidates)
def drepl_checkinput(self, id, code):
status, indent = self.check_complete(code)
prompt = self.ps2.format(self.execution_count).rjust(len(self.current_ps1))
sendmsg(id=id, status=status, indent=indent, prompt=prompt)
def drepl_describe(self, id, code, pos):
try:
name = token_at_cursor(code, pos)
info = self.object_inspect(name)
defn = info["definition"]
sendmsg(
id=id,
name=info["name"],
type=" ".join(defn.split()) if defn else info["type_name"],
file=info["file"],
text=self.object_inspect_text(name),
)
except Exception:
sendmsg(id=id)
@InteractiveShellABC.register
class PythonRepl(Repl):
pass
|
