Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
13 #define CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
30 std::string
what()
const override
54 #endif // CPROVER_GOTO_PROGRAMS_STRING_INSTRUMENTATION_H
std::string as_string() const
Base class for all expressions.
incorrect_source_program_exceptiont(std::string message, source_locationt source_location)
std::string what() const override
A human readable description of what went wrong.
exprt buffer_size(const exprt &what)
exprt is_zero_string(const exprt &what, bool write=false)
void string_instrumentation(symbol_tablet &, goto_programt &)
A collection of goto functions.
exprt zero_string_length(const exprt &what, bool write=false)
Goto Programs with Functions.
A generic container class for the GOTO intermediate representation of one function.
source_locationt source_location
Base class for exceptions thrown in the cprover project.