typecheckt::errort Class Reference

#include <typecheck.h>

Collaboration diagram for typecheckt::errort:

Public Member Functions
	errort ()=default
	errort (errort &&)=default
	errort (const errort &other)
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

Detailed Description

Definition at line 25 of file typecheck.h.

Constructor & Destructor Documentation

errort() [1/3]

typecheckt::errort::errort ( )

default

errort() [2/3]

typecheckt::errort::errort ( errort &&  )

default

errort() [3/3]

typecheckt::errort::errort ( const errort &  other )

inline

Definition at line 30 of file typecheck.h.

Member Function Documentation

message_ostream()

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

inline

Definition at line 42 of file typecheck.h.

source_location()

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

inline

Definition at line 53 of file typecheck.h.

what()

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

inline

Definition at line 37 of file typecheck.h.

with_location()

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

inline

Definition at line 47 of file typecheck.h.

Friends And Related Symbol 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 77 of file typecheck.h.

Member Data Documentation

__location

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

protected

Definition at line 60 of file typecheck.h.

message

std::ostringstream typecheckt::errort::message

protected

Definition at line 59 of file typecheck.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/typecheck.h