Name	Size	Mode	Actions
test/	-	0755	rm
__pycache__/	-	0755	rm
Classifiers.py	46239	0644	editdlrm
Console.py	843	0644	editdlrm
Doc.py	7996	0644	editdlrm
heapyc.cpython-311-x86_64-linux-gnu.so	158256	0755	editdlrm
ImpSet.py	870	0644	editdlrm
Monitor.py	14849	0644	editdlrm
OutputHandling.py	11792	0644	editdlrm
Part.py	23808	0644	editdlrm
Path.py	14532	0644	editdlrm
pbhelp.py	17819	0644	editdlrm
Prof.py	92546	0644	editdlrm
RefPat.py	18615	0644	editdlrm
Remote.py	15678	0644	editdlrm
RemoteConstants.py	209	0644	editdlrm
RM.py	119	0644	editdlrm
Spec.py	49755	0644	editdlrm
Target.py	205	0644	editdlrm
UniSet.py	68096	0644	editdlrm
Use.py	23601	0644	editdlrm
View.py	19503	0644	editdlrm
__init__.py	209	0644	editdlrm

import code class Console(code.InteractiveConsole): EOF_key_sequence = '-' def __init__(self, stdin, stdout, locals=None, filename=""): self.stdin = stdin self.stdout = stdout code.InteractiveConsole.__init__(self, locals, filename) def raw_input(self, prompt=""): """Write a prompt and read a line. The returned line does not include the trailing newline. When the user enters the EOF key sequence, EOFError is raised. """ self.write(prompt) line = self.stdin.readline() if not line: raise EOFError line = line.rstrip() if line == self.EOF_key_sequence: raise EOFError else: return line def write(self, data): self.stdout.write(data) self.stdout.flush()