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

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

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