cprover
expr2java.h File Reference
#include <string>
#include <ansi-c/expr2c_class.h>
Include dependency graph for expr2java.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  expr2javat
 

Functions

std::string expr2java (const exprt &expr, const namespacet &ns)
 
std::string type2java (const typet &type, const namespacet &ns)
 

Function Documentation

◆ expr2java()

◆ type2java()

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