Tide 0.1.0
|
A UID collision was encountered. More...
#include <tide/exceptions.h>
A UID collision was encountered.
In many places, the same element may occur multiple times, with each instance distinguished by a UID represented as an unsigned integer. When the UIDs of two elements clash, this error occurs.
The err_int_uid tag may be included to indicate the clashing UID.
The err_pos tag may be included to give the approximate position in the file where the error occured.
Definition at line 323 of file exceptions.h.