__ESBMC_PyObj Struct Reference

Minimal representation of a Python-like object. More...

#include <python_types.h>

Public Attributes
const void *	value
	Pointer to object data.
size_t	float_idx
size_t	type_id
size_t	size

Detailed Description

Minimal representation of a Python-like object.

In CPython, PyObject includes only a pointer to its type object. Most user-defined types embed this as their header, allowing any instance to be safely cast to PyObject* for type inspection.

This simplified version keeps both the type information and the data pointer explicit. The long-term goal is to embed only a type pointer, enabling more lightweight polymorphic casts.

Member Data Documentation

float_idx

size_t __ESBMC_PyObj::float_idx

size

size_t __ESBMC_PyObj::size

type_id

size_t __ESBMC_PyObj::type_id

value

const void* __ESBMC_PyObj::value

Pointer to object data.

---

The documentation for this struct was generated from the following file:

• src/c2goto/library/python/python_types.h