__ESBMC_PyListObj Struct Reference

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

#include <python_types.h>

Public Attributes
PyType *	type
	&PyListType
PyObject *	items
	Array of PyObject items (SMT infinite array concept).
size_t	size
	Number of elements currently in use.
bool	is_tuple
	Built by tuple(x), which the model keeps as a list.

Detailed Description

Minimal representation of a Python-like list object.

Example usage in C:

PyListObject list = {...};
for (size_t i = 0; i < list.size; ++i) {
  PyObject *item = &list.items[i];
  // Access fields like item->type_id or item->value here
}

Member Data Documentation

is_tuple

bool __ESBMC_PyListObj::is_tuple

Built by tuple(x), which the model keeps as a list.

items

PyObject* __ESBMC_PyListObj::items

Array of PyObject items (SMT infinite array concept).

size

size_t __ESBMC_PyListObj::size

Number of elements currently in use.

type

PyType* __ESBMC_PyListObj::type

&PyListType

---

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

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