86 <dt>sourceFile(filename, lineno)</dt> |
86 <dt>sourceFile(filename, lineno)</dt> |
87 <dd> |
87 <dd> |
88 emitted to open a Python file at a |
88 emitted to open a Python file at a |
89 line (str, int) |
89 line (str, int) |
90 </dd> |
90 </dd> |
|
91 <dt>sourceFile(filename, lineno, col_offset)</dt> |
|
92 <dd> |
|
93 emitted to open a Python file at a |
|
94 line and column (str, int, int) |
|
95 </dd> |
91 <dt>sourceFile(filename, lineno, type)</dt> |
96 <dt>sourceFile(filename, lineno, type)</dt> |
92 <dd> |
97 <dd> |
93 emitted to open a Python file |
98 emitted to open a Python file |
94 at a line giving an explicit file type (str, int, str) |
99 at a line giving an explicit file type (str, int, str) |
95 </dd> |
100 </dd> |