CBMC
generic_parameter_specialization_map.h File Reference
#include <stack>
#include <vector>
#include <util/string_utils.h>
#include "expr2java.h"
#include "java_types.h"
+ Include dependency graph for generic_parameter_specialization_map.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  generic_parameter_specialization_mapt
 Author: Diffblue Ltd. More...
 
struct  generic_parameter_specialization_mapt::container_paramt
 The index of the container and the type parameter inside that container. More...
 
struct  generic_parameter_specialization_mapt::printert
 A wrapper for a generic_parameter_specialization_mapt and a namespacet that can be output to a stream. More...
 

Functions

template<typename ostreamt >
ostreamt & operator<< (ostreamt &stm, const generic_parameter_specialization_mapt::printert &map)
 Output a generic_parameter_specialization_mapt wrapped in a generic_parameter_specialization_mapt::printert to a stream. More...
 

Function Documentation

◆ operator<<()

template<typename ostreamt >
ostreamt& operator<< ( ostreamt &  stm,
const generic_parameter_specialization_mapt::printert map 
)

Output a generic_parameter_specialization_mapt wrapped in a generic_parameter_specialization_mapt::printert to a stream.

Template Parameters
ostreamtThe type of stream to output to (not restricted to be derived from std::ostream)
Parameters
stmThe stream to output to
mapThe generic_parameter_specialization_mapt printer to output
Returns
: A reference to the stream passed in

Definition at line 86 of file generic_parameter_specialization_map.h.