Loading...

Searching...

No Matches

Classes | Functions

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).

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.