GDB (xrefs)
|
Functions | |
make_source (fullname, filename) | |
decode_source (source) | |
loaded_sources (**extra) | |
source (*source=None, int sourceReference, **extra) | |
Variables | |
int | _next_source = 1 |
dict | _source_map = {} |
dict | _id_map = {} |
gdb.dap.sources.decode_source | ( | source | ) |
Decode a Source object. Finds and returns the filename of a given Source object.
Definition at line 64 of file sources.py.
gdb.dap.sources.loaded_sources | ( | ** | extra | ) |
Definition at line 81 of file sources.py.
gdb.dap.sources.make_source | ( | fullname, | |
filename ) |
Return the Source for a given file name. FULLNAME is the full name. This is used as the key. FILENAME is the base name.
Definition at line 36 of file sources.py.
gdb.dap.sources.source | ( | * | source = None, |
int | sourceReference, | ||
** | extra ) |
Definition at line 91 of file sources.py.
|
protected |
Definition at line 32 of file sources.py.
|
protected |
Definition at line 25 of file sources.py.
|
protected |
Definition at line 28 of file sources.py.