blob: 90272b6feb4af6eaf99746959c289f92e3af2a2e [file] [log] [blame]
Cheryl Sabella998f4962017-08-27 18:06:00 -04001"""Editor window that can serve as an output file.
2"""
3
David Scherer7aced172000-08-15 01:13:23 +00004import re
Terry Jan Reedybfbaa6b2016-08-31 00:50:55 -04005
Cheryl Sabella998f4962017-08-27 18:06:00 -04006from tkinter import messagebox
Terry Jan Reedybfbaa6b2016-08-31 00:50:55 -04007
8from idlelib.editor import EditorWindow
Terry Jan Reedy6fa5bdc2016-05-28 13:22:31 -04009from idlelib import iomenu
David Scherer7aced172000-08-15 01:13:23 +000010
Terry Jan Reedybfbaa6b2016-08-31 00:50:55 -040011
Cheryl Sabella998f4962017-08-27 18:06:00 -040012file_line_pats = [
13 # order of patterns matters
14 r'file "([^"]*)", line (\d+)',
15 r'([^\s]+)\((\d+)\)',
16 r'^(\s*\S.*?):\s*(\d+):', # Win filename, maybe starting with spaces
17 r'([^\s]+):\s*(\d+):', # filename or path, ltrim
18 r'^\s*(\S.*?):\s*(\d+):', # Win abs path with embedded spaces, ltrim
19]
Kurt B. Kaiser969de452002-06-12 03:28:57 +000020
Cheryl Sabella998f4962017-08-27 18:06:00 -040021file_line_progs = None
22
23
24def compile_progs():
25 "Compile the patterns for matching to file name and line number."
26 global file_line_progs
27 file_line_progs = [re.compile(pat, re.IGNORECASE)
28 for pat in file_line_pats]
29
30
31def file_line_helper(line):
32 """Extract file name and line number from line of text.
33
34 Check if line of text contains one of the file/line patterns.
35 If it does and if the file and line are valid, return
36 a tuple of the file name and line number. If it doesn't match
37 or if the file or line is invalid, return None.
38 """
39 if not file_line_progs:
40 compile_progs()
41 for prog in file_line_progs:
42 match = prog.search(line)
43 if match:
44 filename, lineno = match.group(1, 2)
45 try:
46 f = open(filename, "r")
47 f.close()
48 break
49 except OSError:
50 continue
51 else:
52 return None
53 try:
54 return filename, int(lineno)
55 except TypeError:
56 return None
57
58
59class OutputWindow(EditorWindow):
Kurt B. Kaiser969de452002-06-12 03:28:57 +000060 """An editor window that can serve as an output file.
61
62 Also the future base class for the Python shell window.
63 This class has no input facilities.
Cheryl Sabella998f4962017-08-27 18:06:00 -040064
65 Adds binding to open a file at a line to the text widget.
David Scherer7aced172000-08-15 01:13:23 +000066 """
67
David Scherer7aced172000-08-15 01:13:23 +000068 # Our own right-button menu
David Scherer7aced172000-08-15 01:13:23 +000069 rmenu_specs = [
Andrew Svetlovd1837672012-11-01 22:41:19 +020070 ("Cut", "<<cut>>", "rmenu_check_cut"),
71 ("Copy", "<<copy>>", "rmenu_check_copy"),
72 ("Paste", "<<paste>>", "rmenu_check_paste"),
73 (None, None, None),
74 ("Go to file/line", "<<goto-file-line>>", None),
David Scherer7aced172000-08-15 01:13:23 +000075 ]
76
Tal Einat7123ea02019-07-23 15:22:11 +030077 allow_code_context = False
Tal Einat7036e1d2019-07-17 11:15:53 +030078
Cheryl Sabella998f4962017-08-27 18:06:00 -040079 def __init__(self, *args):
80 EditorWindow.__init__(self, *args)
81 self.text.bind("<<goto-file-line>>", self.goto_file_line)
David Scherer7aced172000-08-15 01:13:23 +000082
Cheryl Sabella998f4962017-08-27 18:06:00 -040083 # Customize EditorWindow
84 def ispythonsource(self, filename):
85 "Python source is only part of output: do not colorize."
86 return False
87
88 def short_title(self):
89 "Customize EditorWindow title."
90 return "Output"
91
92 def maybesave(self):
93 "Customize EditorWindow to not display save file messagebox."
94 return 'yes' if self.get_saved() else 'no'
95
96 # Act as output file
97 def write(self, s, tags=(), mark="insert"):
98 """Write text to text widget.
99
100 The text is inserted at the given index with the provided
101 tags. The text widget is then scrolled to make it visible
102 and updated to display it, giving the effect of seeing each
103 line as it is added.
104
105 Args:
106 s: Text to insert into text widget.
107 tags: Tuple of tag strings to apply on the insert.
108 mark: Index for the insert.
109
110 Return:
111 Length of text inserted.
112 """
Tal Einat9ebe8792018-12-07 08:32:21 +0200113 if isinstance(s, bytes):
Cheryl Sabella998f4962017-08-27 18:06:00 -0400114 s = s.decode(iomenu.encoding, "replace")
115 self.text.insert(mark, s, tags)
116 self.text.see(mark)
117 self.text.update()
118 return len(s)
119
120 def writelines(self, lines):
121 "Write each item in lines iterable."
122 for line in lines:
123 self.write(line)
124
125 def flush(self):
126 "No flushing needed as write() directly writes to widget."
127 pass
128
129 def showerror(self, *args, **kwargs):
130 messagebox.showerror(*args, **kwargs)
David Scherer7aced172000-08-15 01:13:23 +0000131
132 def goto_file_line(self, event=None):
Cheryl Sabella998f4962017-08-27 18:06:00 -0400133 """Handle request to open file/line.
134
135 If the selected or previous line in the output window
136 contains a file name and line number, then open that file
137 name in a new window and position on the line number.
138
139 Otherwise, display an error messagebox.
140 """
David Scherer7aced172000-08-15 01:13:23 +0000141 line = self.text.get("insert linestart", "insert lineend")
Cheryl Sabella998f4962017-08-27 18:06:00 -0400142 result = file_line_helper(line)
David Scherer7aced172000-08-15 01:13:23 +0000143 if not result:
144 # Try the previous line. This is handy e.g. in tracebacks,
145 # where you tend to right-click on the displayed source line
146 line = self.text.get("insert -1line linestart",
147 "insert -1line lineend")
Cheryl Sabella998f4962017-08-27 18:06:00 -0400148 result = file_line_helper(line)
David Scherer7aced172000-08-15 01:13:23 +0000149 if not result:
Cheryl Sabella998f4962017-08-27 18:06:00 -0400150 self.showerror(
David Scherer7aced172000-08-15 01:13:23 +0000151 "No special line",
152 "The line you point at doesn't look like "
153 "a valid file name followed by a line number.",
Terry Jan Reedy3be2e542015-09-25 22:22:55 -0400154 parent=self.text)
David Scherer7aced172000-08-15 01:13:23 +0000155 return
156 filename, lineno = result
Cheryl Sabella998f4962017-08-27 18:06:00 -0400157 self.flist.gotofileline(filename, lineno)
David Scherer7aced172000-08-15 01:13:23 +0000158
David Scherer7aced172000-08-15 01:13:23 +0000159
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000160# These classes are currently not used but might come in handy
David Scherer7aced172000-08-15 01:13:23 +0000161class OnDemandOutputWindow:
David Scherer7aced172000-08-15 01:13:23 +0000162
163 tagdefs = {
164 # XXX Should use IdlePrefs.ColorPrefs
David Scherer7aced172000-08-15 01:13:23 +0000165 "stdout": {"foreground": "blue"},
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000166 "stderr": {"foreground": "#007700"},
167 }
168
David Scherer7aced172000-08-15 01:13:23 +0000169 def __init__(self, flist):
170 self.flist = flist
171 self.owin = None
David Scherer7aced172000-08-15 01:13:23 +0000172
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000173 def write(self, s, tags, mark):
174 if not self.owin:
David Scherer7aced172000-08-15 01:13:23 +0000175 self.setup()
176 self.owin.write(s, tags, mark)
177
David Scherer7aced172000-08-15 01:13:23 +0000178 def setup(self):
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000179 self.owin = owin = OutputWindow(self.flist)
David Scherer7aced172000-08-15 01:13:23 +0000180 text = owin.text
David Scherer7aced172000-08-15 01:13:23 +0000181 for tag, cnf in self.tagdefs.items():
182 if cnf:
Raymond Hettinger931237e2003-07-09 18:48:24 +0000183 text.tag_configure(tag, **cnf)
David Scherer7aced172000-08-15 01:13:23 +0000184 text.tag_raise('sel')
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000185 self.write = self.owin.write
Cheryl Sabella998f4962017-08-27 18:06:00 -0400186
187if __name__ == '__main__':
Terry Jan Reedy4d921582018-06-19 19:12:52 -0400188 from unittest import main
189 main('idlelib.idle_test.test_outwin', verbosity=2, exit=False)