cprover
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 More...
 
std::unordered_map< std::string, object_creation_referencet >::iterator reference
 symbol expression(s) for the given ID. More...
 
code_with_references_listt code
 initialization code for the reference More...
 

Detailed Description

Definition at line 706 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 715 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 710 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 713 of file assignments_from_json.cpp.


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