cprover
Loading...
Searching...
No Matches
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_locationtsource_location () const

Protected Attributes

std::ostringstream message
source_locationt __location = source_locationt::nil()

Friends

template<typename T>
errort operator<< (typecheckt::errort &&e, const T &message)
 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.

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