cprover
expr2jsil.cpp File Reference

Jsil Language. More...

#include "expr2jsil.h"
#include <ansi-c/expr2c_class.h>
Include dependency graph for expr2jsil.cpp:

Go to the source code of this file.

Classes

class  expr2jsilt
 

Functions

std::string expr2jsil (const exprt &expr, const namespacet &ns)
 
std::string type2jsil (const typet &type, const namespacet &ns)
 

Detailed Description

Jsil Language.

Definition in file expr2jsil.cpp.

Function Documentation

◆ expr2jsil()

std::string expr2jsil ( const exprt expr,
const namespacet ns 
)

Definition at line 24 of file expr2jsil.cpp.

References expr2jsil().

Referenced by expr2jsil(), jsil_languaget::from_expr(), jsil_typecheckt::to_string(), and type2jsil().

◆ type2jsil()

std::string type2jsil ( const typet type,
const namespacet ns 
)

Definition at line 31 of file expr2jsil.cpp.

References expr2jsil().

Referenced by jsil_languaget::from_type(), and jsil_typecheckt::to_string().