ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
complex_handler_utils.cpp File Reference
#include <python-frontend/math/complex_handler_utils.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/exception/python_exception_handler.h>
#include <cctype>
#include <cstdlib>
#include <string>
Include dependency graph for complex_handler_utils.cpp:

Namespaces

namespace  complex_utils

Functions

bool complex_utils::parse_complex_string (const std::string &raw, double &real_out, double &imag_out)
 Parses a Python complex literal string into (real, imag) components.
exprt complex_utils::raise_math_real_type_error_expr (python_converter &converter)
 Generates a TypeError expression for math functions that reject complex arguments: "must be real number, not complex".
exprt complex_utils::raise_math_int_type_error_expr (python_converter &converter)
 Generates a TypeError expression for functions that require an integer but received a complex: "'complex' object cannot be interpreted as an integer".