typedef_type.h File Reference

#include <util/type.h>

Include dependency graph for typedef_type.h:

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

Go to the source code of this file.

Classes
class	typedef_typet
	A typedef. More...

Functions
const typedef_typet &	to_typedef_type (const typet &type)
	Cast a generic typet to a typedef_typet.
typedef_typet &	to_typedef_type (typet &type)
	Cast a generic typet to a typedef_typet.
template<>
bool	can_cast_type< typedef_typet > (const typet &type)

Function Documentation

can_cast_type< typedef_typet >()

template<>

bool can_cast_type< typedef_typet > ( const typet &  type )

inline

Definition at line 54 of file typedef_type.h.

to_typedef_type() [1/2]

const typedef_typet & to_typedef_type ( const typet &  type )

inline

Cast a generic typet to a typedef_typet.

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

Parameters

type	Source type

Returns

Object of type typedef_typet

Definition at line 39 of file typedef_type.h.

to_typedef_type() [2/2]

typedef_typet & to_typedef_type ( typet &  type )

inline

Cast a generic typet to a typedef_typet.

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

Parameters

type	Source type

Returns

Object of type typedef_typet

Definition at line 47 of file typedef_type.h.