cprover
cpp_typecheck_fargst Class Reference

#include <cpp_typecheck_fargs.h>

Collaboration diagram for cpp_typecheck_fargst:
[legend]

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 20 of file cpp_typecheck_fargs.h.

Constructor & Destructor Documentation

§ cpp_typecheck_fargst() [1/2]

cpp_typecheck_fargst::cpp_typecheck_fargst ( )
inline

Definition at line 30 of file cpp_typecheck_fargs.h.

References build(), and has_class_type().

§ cpp_typecheck_fargst() [2/2]

cpp_typecheck_fargst::cpp_typecheck_fargst ( const side_effect_expr_function_callt function_call)
inlineexplicit

Definition at line 37 of file cpp_typecheck_fargs.h.

References build(), cpp_typecheck(), and match().

Member Function Documentation

§ add_object()

void cpp_typecheck_fargst::add_object ( const exprt expr)
inline

§ build()

void cpp_typecheck_fargst::build ( const side_effect_expr_function_callt function_call)

Definition at line 35 of file cpp_typecheck_fargs.cpp.

References in_use, exprt::op1(), operands, and exprt::operands().

Referenced by cpp_typecheck_fargst().

§ has_class_type()

bool cpp_typecheck_fargst::has_class_type ( ) const

Definition at line 22 of file cpp_typecheck_fargs.cpp.

References operands.

Referenced by cpp_typecheck_fargst().

§ match()

§ remove_object()

void cpp_typecheck_fargst::remove_object ( )
inline

Member Data Documentation

§ has_object

§ in_use

§ operands


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