type.h File Reference

#include <list>
#include <util/irep/irep.h>
#include <util/irep/location.h>

Include dependency graph for type.h:

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

Go to the source code of this file.

Classes
class	typet

Macros
#define	forall_type_list(it, type)
#define	Forall_type_list(it, type)
#define	forall_subtypes(it, type)
#define	Forall_subtypes(it, type)

Typedefs
typedef std::list< typet >	type_listt

Functions
bool	is_number (const typet &type)
bool	is_array_like (const typet &type)
	Returns wether the type behaves similarly to an array.
bool	is_decaying_array (const typet &type)
	Types that decay to a pointer in C11 6.3.2.1p3 – an array, but not a vector, which is a value.

Macro Definition Documentation

Forall_subtypes

#define Forall_subtypes	(		it,
			type )

Value:

  if ((type).has_subtypes())                                                   \
    for (typet::subtypest::iterator it = (type).subtypes().begin();            \
         it != (type).subtypes().end();                                        \
         it++)

forall_subtypes

#define forall_subtypes	(		it,
			type )

Value:

  if ((type).has_subtypes())                                                   \
    for (typet::subtypest::const_iterator it = (type).subtypes().begin();      \
         it != (type).subtypes().end();                                        \
         it++)

Forall_type_list

#define Forall_type_list	(		it,
			type )

Value:

  for (type_listt::iterator it = (type).begin(); it != (type).end(); it++)

forall_type_list

#define forall_type_list	(		it,
			type )

Value:

  for (type_listt::const_iterator it = (type).begin(); it != (type).end(); it++)

Typedef Documentation

type_listt

typedef std::list<typet> type_listt

Function Documentation

is_array_like()

bool is_array_like

(

const typet &

type

)

Returns wether the type behaves similarly to an array.

This is mainly used for DRY, e.g. checking for vector and array types.

Parameters

type

Returns

true

false

is_decaying_array()

bool is_decaying_array

(

const typet &

type

)

Types that decay to a pointer in C11 6.3.2.1p3 – an array, but not a vector, which is a value.

is_number()

bool is_number

(

const typet &

type

)