cprover
template_mapt Class Reference

#include <template_map.h>

Collaboration diagram for template_mapt:
[legend]

Public Types

typedef std::map< irep_idt, typettype_mapt
 
typedef std::map< irep_idt, exprtexpr_mapt
 

Public Member Functions

void apply (exprt &dest) const
 
void apply (typet &dest) const
 
void swap (template_mapt &template_map)
 
exprt lookup (const irep_idt &identifier) const
 
typet lookup_type (const irep_idt &identifier) const
 
exprt lookup_expr (const irep_idt &identifier) const
 
void print (std::ostream &out) const
 
void clear ()
 
void set (const template_parametert &parameter, const exprt &value)
 
void build (const template_typet &template_type, const cpp_template_args_tct &template_args)
 
void build_unassigned (const template_typet &template_type)
 
cpp_template_args_tct build_template_args (const template_typet &template_type) const
 

Public Attributes

type_mapt type_map
 
expr_mapt expr_map
 

Detailed Description

Definition at line 23 of file template_map.h.

Member Typedef Documentation

§ expr_mapt

Definition at line 28 of file template_map.h.

§ type_mapt

Definition at line 27 of file template_map.h.

Member Function Documentation

§ apply() [1/2]

void template_mapt::apply ( exprt dest) const

§ apply() [2/2]

void template_mapt::apply ( typet dest) const

§ build()

§ build_template_args()

§ build_unassigned()

§ clear()

void template_mapt::clear ( void  )
inline

Definition at line 47 of file template_map.h.

References build(), build_template_args(), and build_unassigned().

§ lookup()

exprt template_mapt::lookup ( const irep_idt identifier) const

§ lookup_expr()

exprt template_mapt::lookup_expr ( const irep_idt identifier) const

Definition at line 120 of file template_map.cpp.

References expr_map, and get_nil_irep().

Referenced by build_template_args(), and swap().

§ lookup_type()

typet template_mapt::lookup_type ( const irep_idt identifier) const

Definition at line 109 of file template_map.cpp.

References get_nil_irep(), and type_map.

Referenced by build_template_args(), and swap().

§ print()

void template_mapt::print ( std::ostream &  out) const

§ set()

void template_mapt::set ( const template_parametert parameter,
const exprt value 
)

§ swap()

void template_mapt::swap ( template_mapt template_map)
inline

Member Data Documentation

§ expr_map

expr_mapt template_mapt::expr_map

§ type_map

type_mapt template_mapt::type_map

The documentation for this class was generated from the following files: