cpp_typecheck_constructor.cpp File Reference
C++ Language Type Checking. More...
#include "cpp_typecheck.h"#include <goto-programs/goto_instruction_code.h>#include <util/arith_tools.h>#include <util/c_types.h>#include <util/pointer_expr.h>#include <util/std_code.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 |
Generate code to copy the member.
- Parameters
-
source_location location for generated code member_base_name name of array member i index to copy arg_name name of argument that is being copied [out] block non-typechecked block
Definition at line 85 of file cpp_typecheck_constructor.cpp.
◆ copy_member()
|
static |
Generate code to copy the member.
- Parameters
-
source_location location for generated code member_base_name name of a member arg_name name of argument that is being copied [out] block non-typechecked block
Definition at line 57 of file cpp_typecheck_constructor.cpp.
◆ copy_parent()
|
static |
Generate code to copy the parent.
- Parameters
-
source_location location for generated code parent_base_name base name of typechecked parent arg_name name of argument that is being copied [out] block non-typechecked block
Definition at line 26 of file cpp_typecheck_constructor.cpp.
