cprover
Loading...
Searching...
No Matches
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

symboltmethod_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: