GATE
|
Structure holding a pair of GATE_PRINT_* and a pointer to a target type specified by GATE_PRINT_* IDs. More...
#include <strings.h>
Public Attributes | |
int | value_type |
void * | value_ptr |
Structure holding a pair of GATE_PRINT_* and a pointer to a target type specified by GATE_PRINT_* IDs.
void* gate_print_value_class::value_ptr |
Pointer to target type
int gate_print_value_class::value_type |
GATE_PRINT_* type ID