CBMC
Public Member Functions | Public Attributes | List of all members
cpp_typecheckt::method_bodyt Struct Reference

#include <cpp_typecheck.h>

+ Collaboration diagram for cpp_typecheckt::method_bodyt:

Public Member Functions

 method_bodyt (symbolt *_method_symbol, const template_mapt &_template_map, const instantiation_stackt &_instantiation_stack)
 

Public Attributes

symbolt * method_symbol
 
template_mapt template_map
 
instantiation_stackt instantiation_stack
 

Detailed Description

Definition at line 307 of file cpp_typecheck.h.

Constructor & Destructor Documentation

◆ method_bodyt()

cpp_typecheckt::method_bodyt::method_bodyt ( symbolt *  _method_symbol,
const template_mapt &  _template_map,
const instantiation_stackt &  _instantiation_stack 
)
inline

Definition at line 310 of file cpp_typecheck.h.

Member Data Documentation

◆ instantiation_stack

instantiation_stackt cpp_typecheckt::method_bodyt::instantiation_stack

Definition at line 322 of file cpp_typecheck.h.

◆ method_symbol

symbolt* cpp_typecheckt::method_bodyt::method_symbol

Definition at line 320 of file cpp_typecheck.h.

◆ template_map

template_mapt cpp_typecheckt::method_bodyt::template_map

Definition at line 321 of file cpp_typecheck.h.

The documentation for this struct was generated from the following file: