CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
Public Attributes | List of all members
get_or_create_reference_resultt Struct Reference
+ Collaboration diagram for get_or_create_reference_resultt:

Public Attributes

bool newly_allocated
 true if a new symbol was allocated for the given ID and false if the ID was found in the reference map
 
std::unordered_map< std::string, object_creation_referencet >::iterator reference
 symbol expression(s) for the given ID.
 
code_with_references_listt code
 initialization code for the reference
 

Detailed Description

Definition at line 712 of file assignments_from_json.cpp.

Member Data Documentation

◆ code

code_with_references_listt get_or_create_reference_resultt::code

initialization code for the reference

Definition at line 721 of file assignments_from_json.cpp.

◆ newly_allocated

bool get_or_create_reference_resultt::newly_allocated

true if a new symbol was allocated for the given ID and false if the ID was found in the reference map

Definition at line 716 of file assignments_from_json.cpp.

◆ reference

std::unordered_map<std::string,object_creation_referencet>::iterator get_or_create_reference_resultt::reference

symbol expression(s) for the given ID.

Definition at line 719 of file assignments_from_json.cpp.

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