cbmc/type2name_8h_source.html

/*******************************************************************\


Module: Type Naming for C


Author: Daniel Kroening, kroening@cs.cmu.edu


\*******************************************************************/


#ifndef CPROVER_ANSI_C_TYPE2NAME_H

#define CPROVER_ANSI_C_TYPE2NAME_H


#include <string>


class namespacet;

class typet;


std::string type2name(const typet &type, const namespacet &ns);


std::string type_to_partial_identifier(const typet &type, const namespacet &ns);


#endif // CPROVER_ANSI_C_TYPE2NAME_H

namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91

typet
The type of an expression, extends irept.
Definition type.h:29

type2name
std::string type2name(const typet &type, const namespacet &ns)
Definition type2name.cpp:277

type_to_partial_identifier
std::string type_to_partial_identifier(const typet &type, const namespacet &ns)
Constructs a string describing the given type, which can be used as part of a C identifier.
Definition type2name.cpp:328