CBMC
Public Member Functions | Public Attributes | List of all members
cpp_typecheck_fargst Class Reference

#include <cpp_typecheck_fargs.h>

+ Collaboration diagram for cpp_typecheck_fargst:

Public Member Functions

 cpp_typecheck_fargst ()
 
bool has_class_type () const
 
void build (const side_effect_expr_function_callt &function_call)
 
 cpp_typecheck_fargst (const side_effect_expr_function_callt &function_call)
 
bool match (const code_typet &code_type, unsigned &distance, cpp_typecheckt &cpp_typecheck) const
 
void add_object (const exprt &expr)
 
void remove_object ()
 

Public Attributes

bool in_use
 
bool has_object
 
exprt::operandst operands
 

Detailed Description

Definition at line 21 of file cpp_typecheck_fargs.h.

Constructor & Destructor Documentation

◆ cpp_typecheck_fargst() [1/2]

cpp_typecheck_fargst::cpp_typecheck_fargst ( )
inline

Definition at line 31 of file cpp_typecheck_fargs.h.

◆ cpp_typecheck_fargst() [2/2]

cpp_typecheck_fargst::cpp_typecheck_fargst ( const side_effect_expr_function_callt &  function_call)
inlineexplicit

Definition at line 38 of file cpp_typecheck_fargs.h.

Member Function Documentation

◆ add_object()

void cpp_typecheck_fargst::add_object ( const exprt &  expr)
inline

Definition at line 50 of file cpp_typecheck_fargs.h.

◆ build()

void cpp_typecheck_fargst::build ( const side_effect_expr_function_callt &  function_call)

Definition at line 29 of file cpp_typecheck_fargs.cpp.

◆ has_class_type()

bool cpp_typecheck_fargst::has_class_type ( ) const

Definition at line 18 of file cpp_typecheck_fargs.cpp.

◆ match()

bool cpp_typecheck_fargst::match ( const code_typet &  code_type,
unsigned &  distance,
cpp_typecheckt &  cpp_typecheck 
) const

Definition at line 36 of file cpp_typecheck_fargs.cpp.

◆ remove_object()

void cpp_typecheck_fargst::remove_object ( )
inline

Definition at line 57 of file cpp_typecheck_fargs.h.

Member Data Documentation

◆ has_object

bool cpp_typecheck_fargst::has_object

Definition at line 24 of file cpp_typecheck_fargs.h.

◆ in_use

bool cpp_typecheck_fargst::in_use

Definition at line 24 of file cpp_typecheck_fargs.h.

◆ operands

exprt::operandst cpp_typecheck_fargst::operands

Definition at line 25 of file cpp_typecheck_fargs.h.

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