|
CBMC
|
#include "message.h"
Include dependency graph for typecheck.h:
This graph shows which files directly or indirectly include this file: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 | |
| 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.