sketchbook
|
#include <dfsan_interface.h>
Public Attributes | |
dfsan_label | l1 |
dfsan_label | l2 |
const char * | desc |
void * | userdata |
Stores information associated with a specific label identifier. A label may be a base label created using dfsan_create_label, with associated text description and user data, or an automatically created union label, which represents the union of two label identifiers (which may themselves be base or union labels).
const char* dfsan_label_info::desc |
dfsan_label dfsan_label_info::l1 |
dfsan_label dfsan_label_info::l2 |
void* dfsan_label_info::userdata |