CBMC
code_with_references_listt Class Reference

Wrapper around a list of shared pointer to code_with_referencest objects, which provides a nicer interface. More...

#include <code_with_references.h>

+ Collaboration diagram for code_with_references_listt:

Public Member Functions

void add (code_without_referencest code)
 
void add (codet code)
 
void add (reference_allocationt ref)
 
void append (code_with_references_listt &&other)
 
void add_to_front (code_without_referencest code)
 

Public Attributes

std::list< std::shared_ptr< code_with_referencest > > list
 

Detailed Description

Wrapper around a list of shared pointer to code_with_referencest objects, which provides a nicer interface.

Definition at line 92 of file code_with_references.h.

Member Function Documentation

◆ add() [1/3]

void code_with_references_listt::add ( code_without_referencest  code)

Definition at line 51 of file code_with_references.cpp.

◆ add() [2/3]

void code_with_references_listt::add ( codet  code)

Definition at line 57 of file code_with_references.cpp.

◆ add() [3/3]

void code_with_references_listt::add ( reference_allocationt  ref)

Definition at line 62 of file code_with_references.cpp.

◆ add_to_front()

void code_with_references_listt::add_to_front ( code_without_referencest  code)

Definition at line 73 of file code_with_references.cpp.

◆ append()

void code_with_references_listt::append ( code_with_references_listt &&  other)

Definition at line 68 of file code_with_references.cpp.

Member Data Documentation

◆ list

std::list<std::shared_ptr<code_with_referencest> > code_with_references_listt::list

Definition at line 95 of file code_with_references.h.


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