extern size_t DBGManager_GetAdrFromSymbolName(char *SymbolName);\r
extern char *DBGManager_GetFunctionName(size_t Adr);\r
extern char *DBGManager_GetVariableValueFromAdr(size_t Adr, size_t TypeEncoding, size_t TypeByteSize);\r
+extern size_t DBGManager_GetNbFullSourceFilename(void);\r
+extern char *DBGManager_GetNumFullSourceFilename(size_t Index);\r
\r
// Global variables manager\r
extern size_t DBGManager_GetNbGlobalVariables(void);\r