CBMC
Loading...
Searching...
No Matches
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:
[フレーム]
[legend]
+ Collaboration diagram for code_without_referencest:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /