type.h File Reference

Defines typet, type_with_subtypet and type_with_subtypest. More...

#include "source_location.h"
#include "validate.h"
#include "validate_types.h"
#include "validation_mode.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
	The type of an expression, extends irept. More...
class	type_with_subtypet
	Type with a single subtype. More...
class	type_with_subtypest
	Type with multiple subtypes. More...

Functions
const type_with_subtypet &	to_type_with_subtype (const typet &type)
type_with_subtypet &	to_type_with_subtype (typet &type)
const type_with_subtypest &	to_type_with_subtypes (const typet &type)
type_with_subtypest &	to_type_with_subtypes (typet &type)
typet	remove_const (typet type)
	Remove const qualifier from type (if any). More...

Detailed Description

Defines typet, type_with_subtypet and type_with_subtypest.

Definition in file type.h.

Function Documentation

remove_const()

typet remove_const

(

typet

type

)

Remove const qualifier from type (if any).

Returns type as is if there is no const qualifier.

Definition at line 32 of file type.cpp.

to_type_with_subtype() [1/2]

const type_with_subtypet& to_type_with_subtype ( const typet &  type )

inline

Definition at line 208 of file type.h.

to_type_with_subtype() [2/2]

type_with_subtypet& to_type_with_subtype ( typet &  type )

inline

Definition at line 214 of file type.h.

to_type_with_subtypes() [1/2]

const type_with_subtypest& to_type_with_subtypes ( const typet &  type )

inline

Definition at line 252 of file type.h.

to_type_with_subtypes() [2/2]

type_with_subtypest& to_type_with_subtypes ( typet &  type )

inline

Definition at line 257 of file type.h.