|
CBMC
|
#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... | |
| 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.
| ostreamt | The type of stream to output to (not restricted to be derived from std::ostream) |
| stm | The stream to output to |
| map | The generic_parameter_specialization_mapt printer to output |
Definition at line 86 of file generic_parameter_specialization_map.h.