cprover
Loading...
Searching...
No Matches
expr2jsil.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Jsil Language
4
5Author: Michael Tautschnig, tautschn@amazon.com
6
7\*******************************************************************/
8
11
12#include "expr2jsil.h"
13
14#include <ansi-c/expr2c_class.h>
15
16class expr2jsilt:public expr2ct
17{
18public:
19 explicit expr2jsilt(const namespacet &_ns):expr2ct(_ns) { }
20
21protected:
22};
23
24std::string expr2jsil(const exprt &expr, const namespacet &ns)
25{
27 expr2jsil.get_shorthands(expr);
28 return expr2jsil.convert(expr);
29}
30
31std::string type2jsil(const typet &type, const namespacet &ns)
32{
34 return expr2jsil.convert(type);
35}
expr2jsilt(const namespacet &_ns)
Definition expr2jsil.cpp:19
Base class for all expressions.
Definition expr.h:56
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
The type of an expression, extends irept.
Definition type.h:29
std::string type2jsil(const typet &type, const namespacet &ns)
Definition expr2jsil.cpp:31
std::string expr2jsil(const exprt &expr, const namespacet &ns)
Definition expr2jsil.cpp:24
Jsil Language.