CBMC
typecheck.h File Reference
#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 More...
 

Function Documentation

◆ operator<<()

template<typename T >
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.