CBMC
expr2jsil.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Jsil Language
4 
5 Author: Michael Tautschnig, tautschn@amazon.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_JSIL_EXPR2JSIL_H
13 #define CPROVER_JSIL_EXPR2JSIL_H
14 
15 #include <string>
16 
17 class exprt;
18 class namespacet;
19 class typet;
20 
21 std::string expr2jsil(const exprt &expr, const namespacet &ns);
22 std::string type2jsil(const typet &type, const namespacet &ns);
23 
24 #endif // CPROVER_JSIL_EXPR2JSIL_H
typet
The type of an expression, extends irept.
Definition: type.h:28
exprt
Base class for all expressions.
Definition: expr.h:55
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:90
type2jsil
std::string type2jsil(const typet &type, const namespacet &ns)
Definition: expr2jsil.cpp:31
expr2jsil
std::string expr2jsil(const exprt &expr, const namespacet &ns)
Definition: expr2jsil.cpp:24