cprover
cpp_typecheck_constructor.cpp File Reference

C++ Language Type Checking. More...

#include "cpp_typecheck.h"
#include <util/arith_tools.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <util/c_types.h>
#include "cpp_util.h"
+ Include dependency graph for cpp_typecheck_constructor.cpp:

Go to the source code of this file.

Functions

static void copy_parent (const source_locationt &source_location, const irep_idt &parent_base_name, const irep_idt &arg_name, exprt &block)
 Generate code to copy the parent. More...
 
static void copy_member (const source_locationt &source_location, const irep_idt &member_base_name, const irep_idt &arg_name, exprt &block)
 Generate code to copy the member. More...
 
static void copy_array (const source_locationt &source_location, const irep_idt &member_base_name, mp_integer i, const irep_idt &arg_name, exprt &block)
 Generate code to copy the member. More...
 

Detailed Description

C++ Language Type Checking.

Definition in file cpp_typecheck_constructor.cpp.

Function Documentation

◆ copy_array()

static void copy_array ( const source_locationt source_location,
const irep_idt member_base_name,
mp_integer  i,
const irep_idt arg_name,
exprt block 
)
static

Generate code to copy the member.

Parameters
source_locationlocation for generated code
member_base_namename of array member
iindex to copy
arg_namename of argument that is being copied
[out]blocknon-typechecked block

Definition at line 86 of file cpp_typecheck_constructor.cpp.

◆ copy_member()

static void copy_member ( const source_locationt source_location,
const irep_idt member_base_name,
const irep_idt arg_name,
exprt block 
)
static

Generate code to copy the member.

Parameters
source_locationlocation for generated code
member_base_namename of a member
arg_namename of argument that is being copied
[out]blocknon-typechecked block

Definition at line 58 of file cpp_typecheck_constructor.cpp.

◆ copy_parent()

static void copy_parent ( const source_locationt source_location,
const irep_idt parent_base_name,
const irep_idt arg_name,
exprt block 
)
static

Generate code to copy the parent.

Parameters
source_locationlocation for generated code
parent_base_namebase name of typechecked parent
arg_namename of argument that is being copied
[out]blocknon-typechecked block

Definition at line 27 of file cpp_typecheck_constructor.cpp.