CBMC
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_subtypetto_type_with_subtype (const typet &type)
 
type_with_subtypetto_type_with_subtype (typet &type)
 
const type_with_subtypestto_type_with_subtypes (const typet &type)
 
type_with_subtypestto_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 193 of file type.h.

◆ to_type_with_subtype() [2/2]

type_with_subtypet& to_type_with_subtype ( typet type)
inline

Definition at line 199 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 237 of file type.h.

◆ to_type_with_subtypes() [2/2]

type_with_subtypest& to_type_with_subtypes ( typet type)
inline

Definition at line 242 of file type.h.