#include <util/irep/irep.h>

Include dependency graph for python_types.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	PYTHON_AGGREGATE_ATTR "#python_aggregate"
#define	PYTHON_UNRESOLVED_CALL_ATTR "#python_unresolved_call"
#define	PYTHON_KEYS_VIEW_ATTR "#python_keys_view"
#define	PYTHON_ITEMS_VIEW_ATTR "#python_items_view"
	Marks the placeholder dict.items() view.

Functions
typet	none_type ()
typet	any_type ()
bool	returns_no_value (const typet &t)
void	set_python_aggregate_kind (typet &type, const irep_idt &kind)
irep_idt	python_aggregate_kind (const typet &type)
bool	is_python_internal_aggregate (const typet &type)

Macro Definition Documentation

◆ PYTHON_AGGREGATE_ATTR

#define PYTHON_AGGREGATE_ATTR "#python_aggregate"

◆ PYTHON_ITEMS_VIEW_ATTR

#define PYTHON_ITEMS_VIEW_ATTR "#python_items_view"

Marks the placeholder dict.items() view.

Its elements are the dict's keys, not (key, value) tuples, so it is neither a plain list nor usable as the set-like view Python says it is – comparisons against it are refused rather than answered from the placeholder's contents (#7553).

◆ PYTHON_KEYS_VIEW_ATTR

#define PYTHON_KEYS_VIEW_ATTR "#python_keys_view"

◆ PYTHON_UNRESOLVED_CALL_ATTR

#define PYTHON_UNRESOLVED_CALL_ATTR "#python_unresolved_call"

Function Documentation

◆ any_type()

typet any_type ( )

◆ is_python_internal_aggregate()

bool is_python_internal_aggregate ( const typet & type )

◆ none_type()

typet none_type ( )

◆ python_aggregate_kind()

irep_idt python_aggregate_kind ( const typet & type )

◆ returns_no_value()

bool returns_no_value ( const typet & t )

◆ set_python_aggregate_kind()

void set_python_aggregate_kind	(	typet &	type,
		const irep_idt &	kind )

Macros

Functions