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:

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/code_with_references.h