Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 1 | # Testing the line trace facility. |
| 2 | |
| 3 | from test import test_support |
| 4 | import unittest |
| 5 | import sys |
| 6 | import difflib |
| 7 | |
| 8 | # A very basic example. If this fails, we're in deep trouble. |
| 9 | def basic(): |
| 10 | return 1 |
| 11 | |
| 12 | basic.events = [(0, 'call'), |
| 13 | (1, 'line'), |
| 14 | (1, 'return')] |
| 15 | |
| 16 | # Armin Rigo's failing example: |
| 17 | def arigo_example(): |
| 18 | x = 1 |
| 19 | del x |
| 20 | while 0: |
| 21 | pass |
| 22 | x = 1 |
| 23 | |
| 24 | arigo_example.events = [(0, 'call'), |
| 25 | (1, 'line'), |
| 26 | (2, 'line'), |
| 27 | (3, 'line'), |
| 28 | (5, 'line'), |
| 29 | (5, 'return')] |
| 30 | |
| 31 | # check that lines consisting of just one instruction get traced: |
| 32 | def one_instr_line(): |
| 33 | x = 1 |
| 34 | del x |
| 35 | x = 1 |
| 36 | |
| 37 | one_instr_line.events = [(0, 'call'), |
| 38 | (1, 'line'), |
| 39 | (2, 'line'), |
| 40 | (3, 'line'), |
| 41 | (3, 'return')] |
| 42 | |
| 43 | def no_pop_tops(): # 0 |
| 44 | x = 1 # 1 |
| 45 | for a in range(2): # 2 |
| 46 | if a: # 3 |
| 47 | x = 1 # 4 |
| 48 | else: # 5 |
| 49 | x = 1 # 6 |
| 50 | |
| 51 | no_pop_tops.events = [(0, 'call'), |
| 52 | (1, 'line'), |
| 53 | (2, 'line'), |
| 54 | (3, 'line'), |
| 55 | (6, 'line'), |
| 56 | (2, 'line'), |
| 57 | (3, 'line'), |
| 58 | (4, 'line'), |
| 59 | (2, 'line'), |
Michael W. Hudson | 02ff6a9 | 2002-09-11 15:36:32 +0000 | [diff] [blame] | 60 | (2, 'return')] |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 61 | |
| 62 | def no_pop_blocks(): |
| 63 | while 0: |
| 64 | bla |
| 65 | x = 1 |
| 66 | |
| 67 | no_pop_blocks.events = [(0, 'call'), |
| 68 | (1, 'line'), |
| 69 | (3, 'line'), |
| 70 | (3, 'return')] |
| 71 | |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 72 | def called(): # line -3 |
| 73 | x = 1 |
| 74 | |
| 75 | def call(): # line 0 |
| 76 | called() |
| 77 | |
| 78 | call.events = [(0, 'call'), |
| 79 | (1, 'line'), |
| 80 | (-3, 'call'), |
| 81 | (-2, 'line'), |
| 82 | (-2, 'return'), |
| 83 | (1, 'return')] |
| 84 | |
| 85 | def raises(): |
| 86 | raise Exception |
| 87 | |
| 88 | def test_raise(): |
| 89 | try: |
| 90 | raises() |
| 91 | except Exception, exc: |
| 92 | x = 1 |
| 93 | |
| 94 | test_raise.events = [(0, 'call'), |
| 95 | (1, 'line'), |
| 96 | (2, 'line'), |
| 97 | (-3, 'call'), |
| 98 | (-2, 'line'), |
| 99 | (-2, 'exception'), |
| 100 | (2, 'exception'), |
| 101 | (3, 'line'), |
| 102 | (4, 'line'), |
| 103 | (4, 'return')] |
| 104 | |
| 105 | def _settrace_and_return(tracefunc): |
| 106 | sys.settrace(tracefunc) |
| 107 | sys._getframe().f_back.f_trace = tracefunc |
| 108 | def settrace_and_return(tracefunc): |
| 109 | _settrace_and_return(tracefunc) |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 110 | |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 111 | settrace_and_return.events = [(1, 'return')] |
| 112 | |
| 113 | def _settrace_and_raise(tracefunc): |
| 114 | sys.settrace(tracefunc) |
| 115 | sys._getframe().f_back.f_trace = tracefunc |
| 116 | raise RuntimeError |
| 117 | def settrace_and_raise(tracefunc): |
| 118 | try: |
| 119 | _settrace_and_raise(tracefunc) |
| 120 | except RuntimeError, exc: |
| 121 | pass |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 122 | |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 123 | settrace_and_raise.events = [(2, 'exception'), |
| 124 | (3, 'line'), |
| 125 | (4, 'line'), |
| 126 | (4, 'return')] |
| 127 | |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 128 | class Tracer: |
| 129 | def __init__(self): |
| 130 | self.events = [] |
| 131 | def trace(self, frame, event, arg): |
| 132 | self.events.append((frame.f_lineno, event)) |
| 133 | return self.trace |
| 134 | |
| 135 | class TraceTestCase(unittest.TestCase): |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 136 | def compare_events(self, line_offset, events, expected_events): |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 137 | events = [(l - line_offset, e) for (l, e) in events] |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 138 | if events != expected_events: |
| 139 | self.fail( |
| 140 | "events did not match expectation:\n" + |
| 141 | "\n".join(difflib.ndiff(map(str, expected_events), |
| 142 | map(str, events)))) |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 143 | |
| 144 | |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 145 | def run_test(self, func): |
| 146 | tracer = Tracer() |
| 147 | sys.settrace(tracer.trace) |
| 148 | func() |
| 149 | sys.settrace(None) |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 150 | self.compare_events(func.func_code.co_firstlineno, |
| 151 | tracer.events, func.events) |
| 152 | |
| 153 | def run_test2(self, func): |
| 154 | tracer = Tracer() |
| 155 | func(tracer.trace) |
| 156 | sys.settrace(None) |
| 157 | self.compare_events(func.func_code.co_firstlineno, |
| 158 | tracer.events, func.events) |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 159 | |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 160 | def test_1_basic(self): |
| 161 | self.run_test(basic) |
| 162 | def test_2_arigo(self): |
| 163 | self.run_test(arigo_example) |
| 164 | def test_3_one_instr(self): |
| 165 | self.run_test(one_instr_line) |
| 166 | def test_4_no_pop_blocks(self): |
| 167 | self.run_test(no_pop_blocks) |
| 168 | def test_5_no_pop_tops(self): |
| 169 | self.run_test(no_pop_tops) |
Michael W. Hudson | 519a342 | 2002-09-11 14:47:51 +0000 | [diff] [blame] | 170 | def test_6_call(self): |
| 171 | self.run_test(call) |
| 172 | def test_7_raise(self): |
| 173 | self.run_test(test_raise) |
| 174 | |
| 175 | def test_8_settrace_and_return(self): |
| 176 | self.run_test2(settrace_and_return) |
| 177 | def test_9_settrace_and_raise(self): |
| 178 | self.run_test2(settrace_and_raise) |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 179 | |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 180 | class RaisingTraceFuncTestCase(unittest.TestCase): |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 181 | def trace(self, frame, event, arg): |
| 182 | """A trace function that raises an exception in response to a |
| 183 | specific trace event.""" |
| 184 | if event == self.raiseOnEvent: |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 185 | raise ValueError # just something that isn't RuntimeError |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 186 | else: |
| 187 | return self.trace |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 188 | |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 189 | def f(self): |
| 190 | """The function to trace; raises an exception if that's the case |
| 191 | we're testing, so that the 'exception' trace event fires.""" |
| 192 | if self.raiseOnEvent == 'exception': |
| 193 | x = 0 |
| 194 | y = 1/x |
| 195 | else: |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 196 | return 1 |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 197 | |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 198 | def run_test_for_event(self, event): |
| 199 | """Tests that an exception raised in response to the given event is |
| 200 | handled OK.""" |
| 201 | self.raiseOnEvent = event |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 202 | try: |
| 203 | for i in xrange(sys.getrecursionlimit() + 1): |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 204 | sys.settrace(self.trace) |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 205 | try: |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 206 | self.f() |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 207 | except ValueError: |
| 208 | pass |
| 209 | else: |
| 210 | self.fail("exception not thrown!") |
| 211 | except RuntimeError: |
| 212 | self.fail("recursion counter not reset") |
Tim Peters | 3de7526 | 2002-11-09 05:26:15 +0000 | [diff] [blame] | 213 | |
Michael W. Hudson | 006c752 | 2002-11-08 13:08:46 +0000 | [diff] [blame] | 214 | # Test the handling of exceptions raised by each kind of trace event. |
| 215 | def test_call(self): |
| 216 | self.run_test_for_event('call') |
| 217 | def test_line(self): |
| 218 | self.run_test_for_event('line') |
| 219 | def test_return(self): |
| 220 | self.run_test_for_event('return') |
| 221 | def test_exception(self): |
| 222 | self.run_test_for_event('exception') |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 223 | |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 224 | def test_main(): |
| 225 | test_support.run_unittest(TraceTestCase) |
Michael W. Hudson | fb4d6ec | 2002-10-02 13:13:45 +0000 | [diff] [blame] | 226 | test_support.run_unittest(RaisingTraceFuncTestCase) |
Michael W. Hudson | 53d58bb | 2002-08-30 13:09:51 +0000 | [diff] [blame] | 227 | |
| 228 | if __name__ == "__main__": |
| 229 | test_main() |