CBMC
|
#include <stack>
#include <vector>
#include <util/string_utils.h>
#include "expr2java.h"
#include "java_types.h"
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.