CBMC
Public Member Functions | Public Attributes | List of all members
code_without_referencest Class Reference

Code that should not contain reference. More...

#include <code_with_references.h>

+ Inheritance diagram for code_without_referencest:
+ Collaboration diagram for code_without_referencest:

Public Member Functions

 code_without_referencest (codet code)
 
code_blockt to_code (reference_substitutiont &) const override
 
- Public Member Functions inherited from code_with_referencest
virtual ~code_with_referencest ()=default
 

Public Attributes

codet code
 

Additional Inherited Members

- Public Types inherited from code_with_referencest
using reference_substitutiont = std::function< const object_creation_referencet &(const std::string &)>
 

Detailed Description

Code that should not contain reference.

Definition at line 52 of file code_with_references.h.

Constructor & Destructor Documentation

◆ code_without_referencest()

code_without_referencest::code_without_referencest ( codet  code)
inlineexplicit

Definition at line 57 of file code_with_references.h.

Member Function Documentation

◆ to_code()

code_blockt code_without_referencest::to_code ( reference_substitutiont &  ) const
inlineoverridevirtual

Implements code_with_referencest.

Definition at line 61 of file code_with_references.h.

Member Data Documentation

◆ code

codet code_without_referencest::code

Definition at line 55 of file code_with_references.h.

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