19 #ifndef DEBUGGER_NAMES
20 #define DEBUGGER_NAMES
22 #include <kernel_types.h>
23 #include <signaldata/SignalDataPrint.hpp>
33 getSignalName(GlobalSignalNumber gsn,
const char * defualtValue =
"Unknown");
43 getGsn(
const char * signalName);
54 getBlockName(BlockNumber blockNo,
const char * defValue = 0);
64 getBlockNo(
const char * blockName);
71 SignalDataPrintFunction findPrintFunction(GlobalSignalNumber);