cprover
Loading...
Searching...
No Matches
expr2jsil.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Jsil Language
4
5Author: 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
17class exprt;
18class namespacet;
19class typet;
20
21std::string expr2jsil(const exprt &expr, const namespacet &ns);
22std::string type2jsil(const typet &type, const namespacet &ns);
23
24#endif // CPROVER_JSIL_EXPR2JSIL_H
Base class for all expressions.
Definition expr.h:54
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