107 <dt>sourceFile(filename, lineno)</dt> |
107 <dt>sourceFile(filename, lineno)</dt> |
108 <dd> |
108 <dd> |
109 emitted to open a Python file at a |
109 emitted to open a Python file at a |
110 line (str, int) |
110 line (str, int) |
111 </dd> |
111 </dd> |
|
112 <dt>sourceFile(filename, lineno, col_offset)</dt> |
|
113 <dd> |
|
114 emitted to open a Python file at a |
|
115 line and column (str, int, int) |
|
116 </dd> |
112 <dt>sourceFile(filename, lineno, type)</dt> |
117 <dt>sourceFile(filename, lineno, type)</dt> |
113 <dd> |
118 <dd> |
114 emitted to open a Python file |
119 emitted to open a Python file |
115 at a line giving an explicit file type (str, int, str) |
120 at a line giving an explicit file type (str, int, str) |
116 </dd> |
121 </dd> |