CBMC
|
#include "message.h"
Go to the source code of this file.
Classes | |
class | typecheckt |
class | typecheckt::errort |
Functions | |
template<typename T > | |
typecheckt::errort | operator<< (typecheckt::errort &&e, const T &message) |
add to the diagnostic information in the given typecheckt::errort exception More... | |
typecheckt::errort operator<< | ( | typecheckt::errort && | e, |
const T & | message | ||
) |
add to the diagnostic information in the given typecheckt::errort exception
Definition at line 77 of file typecheck.h.