|
CBMC
|
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 | |
Definition at line 712 of file assignments_from_json.cpp.
| 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.
| 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.
| 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.