CBMC
Public Member Functions | Protected Attributes | Friends | List of all members
typecheckt::errort Class Referencefinal

#include <typecheck.h>

+ Collaboration diagram for typecheckt::errort:

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...
 

Detailed Description

Definition at line 25 of file typecheck.h.

Member Function Documentation

◆ message_ostream()

std::ostringstream& typecheckt::errort::message_ostream ( )
inline

Definition at line 33 of file typecheck.h.

◆ source_location()

const source_locationt& typecheckt::errort::source_location ( ) const
inline

Definition at line 44 of file typecheck.h.

◆ what()

std::string typecheckt::errort::what ( ) const
inline

Definition at line 28 of file typecheck.h.

◆ with_location()

errort typecheckt::errort::with_location ( source_locationt  _location) &&
inline

Definition at line 38 of file typecheck.h.

Friends And Related Function Documentation

◆ operator<<

template<typename T >
errort operator<< ( typecheckt::errort &&  e,
const T &  message 
)
friend

add to the diagnostic information in the given typecheckt::errort exception

Definition at line 68 of file typecheck.h.

Member Data Documentation

◆ __location

source_locationt typecheckt::errort::__location = source_locationt::nil()
protected

Definition at line 51 of file typecheck.h.

◆ message

std::ostringstream typecheckt::errort::message
protected

Definition at line 50 of file typecheck.h.

The documentation for this class was generated from the following file: