docs/api/complex__handler__utils_8h_source.html

#ifndef PYTHON_FRONTEND_COMPLEX_HANDLER_UTILS_H

#define PYTHON_FRONTEND_COMPLEX_HANDLER_UTILS_H


#include <string>

#include <util/irep/expr.h>


class python_converter;


namespace complex_utils

{

bool parse_complex_string(

  const std::string &raw,

  double &real_out,

  double &imag_out);


exprt raise_math_real_type_error_expr(python_converter &converter);


exprt raise_math_int_type_error_expr(python_converter &converter);


} // namespace complex_utils


#endif

python_converter
Main converter for transforming Python AST into ESBMC's intermediate representation.
Definition python_converter.h:76

fingerprint_modet::raw
@ raw
No normalisation. Baseline for the measurement.
Definition fingerprint.h:18

complex_utils
Definition complex_handler_utils.cpp:10

complex_utils::raise_math_int_type_error_expr
exprt raise_math_int_type_error_expr(python_converter &converter)
Generates a TypeError expression for functions that require an integer but received a complex: "'comp...
Definition complex_handler_utils.cpp:116

complex_utils::raise_math_real_type_error_expr
exprt raise_math_real_type_error_expr(python_converter &converter)
Generates a TypeError expression for math functions that reject complex arguments: "must be real numb...
Definition complex_handler_utils.cpp:110

complex_utils::parse_complex_string
bool parse_complex_string(const std::string &raw, double &real_out, double &imag_out)
Parses a Python complex literal string into (real, imag) components.
Definition complex_handler_utils.cpp:35

expr.h