Error.h
Go to the documentation of this file.
std::vector< ErrorDetailPointer, PoolingAllocator< ErrorDetailPointer > > ErrorDetails
zero or more details of a single error
Definition: Error.h:20
void error(char *format,...)
void update(const Error &)
if necessary, stores the given error information (if any)
Definition: Error.cc:51
Error()=default