Minimal representation of a Python slice object. More...

#include <python_types.h>

Public Attributes
long long	start
long long	stop
long long	step
int	has_start
int	has_stop
int	has_step

Detailed Description

Minimal representation of a Python slice object.

Mirrors CPython's slice(start, stop, step). Any of the three may be omitted by the user (e.g. slice(5) or a[i:]), in which case the corresponding has_* flag is zero and the integer field is unspecified.

Member Data Documentation

◆ has_start

int __ESBMC_PySliceObj::has_start

◆ has_step

int __ESBMC_PySliceObj::has_step

◆ has_stop

int __ESBMC_PySliceObj::has_stop

◆ start

long long __ESBMC_PySliceObj::start

◆ step

long long __ESBMC_PySliceObj::step

◆ stop

long long __ESBMC_PySliceObj::stop

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

src/c2goto/library/python/python_types.h

Public Attributes