blob: 4af9f1afaed5181eae2dd80c7f4b1b0f2335f0b9 [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
Cheryl Sabella998f4962017-08-27 18:06:00 -040077 def __init__(self, *args):
78 EditorWindow.__init__(self, *args)
79 self.text.bind("<<goto-file-line>>", self.goto_file_line)
wohlganger58fc71c2017-09-10 16:19:47 -050080 self.text.unbind("<<toggle-code-context>>")
David Scherer7aced172000-08-15 01:13:23 +000081
Cheryl Sabella998f4962017-08-27 18:06:00 -040082 # Customize EditorWindow
83 def ispythonsource(self, filename):
84 "Python source is only part of output: do not colorize."
85 return False
86
87 def short_title(self):
88 "Customize EditorWindow title."
89 return "Output"
90
91 def maybesave(self):
92 "Customize EditorWindow to not display save file messagebox."
93 return 'yes' if self.get_saved() else 'no'
94
95 # Act as output file
96 def write(self, s, tags=(), mark="insert"):
97 """Write text to text widget.
98
99 The text is inserted at the given index with the provided
100 tags. The text widget is then scrolled to make it visible
101 and updated to display it, giving the effect of seeing each
102 line as it is added.
103
104 Args:
105 s: Text to insert into text widget.
106 tags: Tuple of tag strings to apply on the insert.
107 mark: Index for the insert.
108
109 Return:
110 Length of text inserted.
111 """
112 if isinstance(s, (bytes, bytes)):
113 s = s.decode(iomenu.encoding, "replace")
114 self.text.insert(mark, s, tags)
115 self.text.see(mark)
116 self.text.update()
117 return len(s)
118
119 def writelines(self, lines):
120 "Write each item in lines iterable."
121 for line in lines:
122 self.write(line)
123
124 def flush(self):
125 "No flushing needed as write() directly writes to widget."
126 pass
127
128 def showerror(self, *args, **kwargs):
129 messagebox.showerror(*args, **kwargs)
David Scherer7aced172000-08-15 01:13:23 +0000130
131 def goto_file_line(self, event=None):
Cheryl Sabella998f4962017-08-27 18:06:00 -0400132 """Handle request to open file/line.
133
134 If the selected or previous line in the output window
135 contains a file name and line number, then open that file
136 name in a new window and position on the line number.
137
138 Otherwise, display an error messagebox.
139 """
David Scherer7aced172000-08-15 01:13:23 +0000140 line = self.text.get("insert linestart", "insert lineend")
Cheryl Sabella998f4962017-08-27 18:06:00 -0400141 result = file_line_helper(line)
David Scherer7aced172000-08-15 01:13:23 +0000142 if not result:
143 # Try the previous line. This is handy e.g. in tracebacks,
144 # where you tend to right-click on the displayed source line
145 line = self.text.get("insert -1line linestart",
146 "insert -1line lineend")
Cheryl Sabella998f4962017-08-27 18:06:00 -0400147 result = file_line_helper(line)
David Scherer7aced172000-08-15 01:13:23 +0000148 if not result:
Cheryl Sabella998f4962017-08-27 18:06:00 -0400149 self.showerror(
David Scherer7aced172000-08-15 01:13:23 +0000150 "No special line",
151 "The line you point at doesn't look like "
152 "a valid file name followed by a line number.",
Terry Jan Reedy3be2e542015-09-25 22:22:55 -0400153 parent=self.text)
David Scherer7aced172000-08-15 01:13:23 +0000154 return
155 filename, lineno = result
Cheryl Sabella998f4962017-08-27 18:06:00 -0400156 self.flist.gotofileline(filename, lineno)
David Scherer7aced172000-08-15 01:13:23 +0000157
David Scherer7aced172000-08-15 01:13:23 +0000158
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000159# These classes are currently not used but might come in handy
David Scherer7aced172000-08-15 01:13:23 +0000160class OnDemandOutputWindow:
David Scherer7aced172000-08-15 01:13:23 +0000161
162 tagdefs = {
163 # XXX Should use IdlePrefs.ColorPrefs
David Scherer7aced172000-08-15 01:13:23 +0000164 "stdout": {"foreground": "blue"},
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000165 "stderr": {"foreground": "#007700"},
166 }
167
David Scherer7aced172000-08-15 01:13:23 +0000168 def __init__(self, flist):
169 self.flist = flist
170 self.owin = None
David Scherer7aced172000-08-15 01:13:23 +0000171
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000172 def write(self, s, tags, mark):
173 if not self.owin:
David Scherer7aced172000-08-15 01:13:23 +0000174 self.setup()
175 self.owin.write(s, tags, mark)
176
David Scherer7aced172000-08-15 01:13:23 +0000177 def setup(self):
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000178 self.owin = owin = OutputWindow(self.flist)
David Scherer7aced172000-08-15 01:13:23 +0000179 text = owin.text
David Scherer7aced172000-08-15 01:13:23 +0000180 for tag, cnf in self.tagdefs.items():
181 if cnf:
Raymond Hettinger931237e2003-07-09 18:48:24 +0000182 text.tag_configure(tag, **cnf)
David Scherer7aced172000-08-15 01:13:23 +0000183 text.tag_raise('sel')
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000184 self.write = self.owin.write
Cheryl Sabella998f4962017-08-27 18:06:00 -0400185
186if __name__ == '__main__':
Terry Jan Reedy4d921582018-06-19 19:12:52 -0400187 from unittest import main
188 main('idlelib.idle_test.test_outwin', verbosity=2, exit=False)