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.

◆ 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().

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.

◆ match()

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

◆ remove_object()

void cpp_typecheck_fargst::remove_object ( )
inline

Definition at line 56 of file cpp_typecheck_fargs.h.

References has_object, and operands.

Referenced by cpp_typecheck_resolvet::disambiguate_functions().

Member Data Documentation

◆ has_object

◆ in_use

◆ operands


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