std_types.h File Reference

#include <cassert>
#include <util/arith/mp_arith.h>
#include <util/irep/std_expr.h>
#include <util/irep/type.h>

Include dependency graph for std_types.h:

Go to the source code of this file.

Classes
class	bool_typet
class	empty_typet
class	symbol_typet
class	struct_union_typet
class	struct_union_typet::componentt
class	struct_typet
class	union_typet
class	code_typet
class	code_typet::argumentt
class	array_typet
class	pointer_typet
class	reference_typet
class	bv_typet
class	unsignedbv_typet
class	signedbv_typet
class	fixedbv_typet
class	floatbv_typet
class	complex_typet
class	vector_typet
	This type maps the vectors. More...
class	intcap_typet
class	uintcap_typet
class	ptrmem_typet

Functions
const symbol_typet &	to_symbol_type (const typet &type)
	Cast a generic typet to a symbol_typet.
symbol_typet &	to_symbol_type (typet &type)
	Cast a generic typet to a symbol_typet.
const struct_union_typet &	to_struct_union_type (const typet &type)
struct_union_typet &	to_struct_union_type (typet &type)
const struct_typet &	to_struct_type (const typet &type)
struct_typet &	to_struct_type (typet &type)
const union_typet &	to_union_type (const typet &type)
union_typet &	to_union_type (typet &type)
const code_typet &	to_code_type (const typet &type)
code_typet &	to_code_type (typet &type)
const array_typet &	to_array_type (const typet &type)
array_typet &	to_array_type (typet &type)
const pointer_typet &	to_pointer_type (const typet &type)
	Cast a typet to a pointer_typet.
pointer_typet &	to_pointer_type (typet &type)
	Cast a typet to a pointer_typet.
bool	is_reference (const typet &type)
bool	is_rvalue_reference (const typet &type)
bool	is_lvalue_or_rvalue_reference (const typet &type)
const unsignedbv_typet &	to_unsignedbv_type (const typet &type)
	Cast a generic typet to an unsignedbv_typet.
unsignedbv_typet &	to_unsignedbv_type (typet &type)
	Cast a generic typet to an unsignedbv_typet.
const signedbv_typet &	to_signedbv_type (const typet &type)
	Cast a generic typet to a signedbv_typet.
signedbv_typet &	to_signedbv_type (typet &type)
	Cast a generic typet to a signedbv_typet.
const fixedbv_typet &	to_fixedbv_type (const typet &type)
const floatbv_typet &	to_floatbv_type (const typet &type)
const complex_typet &	to_complex_type (const typet &type)
const vector_typet &	to_vector_type (const typet &type)

Function Documentation

is_lvalue_or_rvalue_reference()

bool is_lvalue_or_rvalue_reference

(

const typet &

type

)

is_reference()

bool is_reference

(

const typet &

type

)

is_rvalue_reference()

bool is_rvalue_reference

(

const typet &

type

)

to_array_type() [1/2]

const array_typet & to_array_type ( const typet & type )

externinline

to_array_type() [2/2]

array_typet & to_array_type ( typet & type )

externinline

to_code_type() [1/2]

const code_typet & to_code_type ( const typet & type )

externinline

to_code_type() [2/2]

code_typet & to_code_type ( typet & type )

externinline

to_complex_type()

const complex_typet & to_complex_type

(

const typet &

type

)

to_fixedbv_type()

const fixedbv_typet & to_fixedbv_type

(

const typet &

type

)

to_floatbv_type()

const floatbv_typet & to_floatbv_type

(

const typet &

type

)

to_pointer_type() [1/2]

const pointer_typet & to_pointer_type ( const typet & type )

inline

Cast a typet to a pointer_typet.

This is an unchecked conversion. type must be known to be pointer_typet. Will fail with a precondition violation if type doesn't match.

Parameters

type	Source type.

Returns

Object of type pointer_typet.

to_pointer_type() [2/2]

pointer_typet & to_pointer_type ( typet & type )

inline

Cast a typet to a pointer_typet.

This is an unchecked conversion. type must be known to be pointer_typet. Will fail with a precondition violation if type doesn't match.

Parameters

type	Source type.

Returns

Object of type pointer_typet.

to_signedbv_type() [1/2]

const signedbv_typet & to_signedbv_type ( const typet & type )

inline

Cast a generic typet to a signedbv_typet.

This is an unchecked conversion. type must be known to be signedbv_typet.

Parameters

type	Source type

Returns

Object of type signedbv_typet

to_signedbv_type() [2/2]

signedbv_typet & to_signedbv_type ( typet & type )

inline

Cast a generic typet to a signedbv_typet.

This is an unchecked conversion. type must be known to be signedbv_typet.

Parameters

type	Source type

Returns

Object of type signedbv_typet

to_struct_type() [1/2]

const struct_typet & to_struct_type ( const typet & type )

externinline

to_struct_type() [2/2]

struct_typet & to_struct_type ( typet & type )

externinline

to_struct_union_type() [1/2]

const struct_union_typet & to_struct_union_type ( const typet & type )

externinline

to_struct_union_type() [2/2]

struct_union_typet & to_struct_union_type ( typet & type )

externinline

to_symbol_type() [1/2]

const symbol_typet & to_symbol_type ( const typet & type )

externinline

Cast a generic typet to a symbol_typet.

This is an unchecked conversion. type must be known to be symbol_typet.

Parameters

type	Source type

Returns

Object of type symbol_typet

to_symbol_type() [2/2]

symbol_typet & to_symbol_type ( typet & type )

externinline

Cast a generic typet to a symbol_typet.

This is an unchecked conversion. type must be known to be symbol_typet.

Parameters

type	Source type

Returns

Object of type symbol_typet

to_union_type() [1/2]

const union_typet & to_union_type ( const typet & type )

externinline

to_union_type() [2/2]

union_typet & to_union_type ( typet & type )

externinline

to_unsignedbv_type() [1/2]

const unsignedbv_typet & to_unsignedbv_type ( const typet & type )

inline

Cast a generic typet to an unsignedbv_typet.

This is an unchecked conversion. type must be known to be unsignedbv_typet.

Parameters

type	Source type

Returns

Object of type unsignedbv_typet

to_unsignedbv_type() [2/2]

unsignedbv_typet & to_unsignedbv_type ( typet & type )

inline

Cast a generic typet to an unsignedbv_typet.

This is an unchecked conversion. type must be known to be unsignedbv_typet.

Parameters

type	Source type

Returns

Object of type unsignedbv_typet

to_vector_type()

const vector_typet & to_vector_type ( const typet & type )

inline