CBMC
|
#include <typecheck.h>
Public Member Functions | |
std::string | what () const |
std::ostringstream & | message_ostream () |
errort | with_location (source_locationt _location) && |
const source_locationt & | source_location () const |
Protected Attributes | |
std::ostringstream | message |
source_locationt | __location = source_locationt::nil() |
Friends | |
template<typename T > | |
errort | operator<< (errort &&e, const T &) |
add to the diagnostic information in the given typecheckt::errort exception More... | |
Definition at line 25 of file typecheck.h.
|
inline |
Definition at line 33 of file typecheck.h.
|
inline |
Definition at line 44 of file typecheck.h.
|
inline |
Definition at line 28 of file typecheck.h.
|
inline |
Definition at line 38 of file typecheck.h.
|
friend |
add to the diagnostic information in the given typecheckt::errort exception
Definition at line 68 of file typecheck.h.
|
protected |
Definition at line 51 of file typecheck.h.
|
protected |
Definition at line 50 of file typecheck.h.