10#ifndef CPROVER_UTIL_TYPECHECK_H
11#define CPROVER_UTIL_TYPECHECK_H
50 return std::move(*
this);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Class that provides messages with a built-in verbosity 'level'.
static const source_locationt & nil()
std::ostringstream message
errort with_location(source_locationt _location) &&
const source_locationt & source_location() const
source_locationt __location
friend errort operator<<(errort &&e, const T &)
add to the diagnostic information in the given typecheckt::errort exception
errort(const errort &other)
errort(errort &&)=default
std::ostringstream & message_ostream()
virtual void typecheck()=0
typecheckt(message_handlert &_message_handler)
virtual bool typecheck_main()
typecheckt::errort operator<<(typecheckt::errort &&e, const T &message)
add to the diagnostic information in the given typecheckt::errort exception