cprover
|
Jsil Language. More...
#include <string>
Go to the source code of this file.
Functions | |
std::string | expr2jsil (const exprt &expr, const namespacet &ns) |
std::string | type2jsil (const typet &type, const namespacet &ns) |
Jsil Language.
Definition in file expr2jsil.h.
std::string expr2jsil | ( | const exprt & | expr, |
const namespacet & | ns | ||
) |
Definition at line 24 of file expr2jsil.cpp.
References expr2ct::convert(), expr2jsil(), and expr2ct::get_shorthands().
Referenced by expr2jsil(), jsil_languaget::from_expr(), jsil_typecheckt::to_string(), and type2jsil().
std::string type2jsil | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 31 of file expr2jsil.cpp.
References expr2ct::convert(), and expr2jsil().
Referenced by jsil_languaget::from_type(), and jsil_typecheckt::to_string().