DBGOP;\r
\r
\r
-//\r
+// Internal manager\r
extern void DBGManager_Init(void);\r
extern void DBGManager_SetType(size_t DBGTypeSet);\r
+extern size_t DBGManager_GetType(void);\r
extern void DBGManager_Reset(void);\r
extern void DBGManager_Close(void);\r
\r
-//\r
+// General manager\r
extern char *DBGManager_GetSymbolNameFromAdr(size_t Adr);\r
extern char *DBGManager_GetFullSourceFilenameFromAdr(size_t Adr, bool *Error);\r
extern size_t DBGManager_GetNumLineFromAdr(size_t Adr, size_t Tag);\r