P4C
The P4 Compiler
|
#include <debug_info.h>
Public Member Functions | |
void | mergeWith (const DebugInfo &other) |
Merge the contents of another DebugInfo object into this one. | |
Public Attributes | |
std::vector< cstring > | info |
A tracker for debugging information. This is used for informational purposes only; the information can be included in generated assembly or log files, but it has no effect on correctness.