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 323 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 326 of file cpp_typecheck.h.

Member Data Documentation

instantiation_stack

instantiation_stackt cpp_typecheckt::method_bodyt::instantiation_stack

Definition at line 338 of file cpp_typecheck.h.

method_symbol

symbolt* cpp_typecheckt::method_bodyt::method_symbol

Definition at line 336 of file cpp_typecheck.h.

template_map

template_mapt cpp_typecheckt::method_bodyt::template_map

Definition at line 337 of file cpp_typecheck.h.

---

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

• cpp/cpp_typecheck.h