cprover
java_bytecode_typecheck.cpp File Reference

JAVA Bytecode Conversion / Type Checking. More...

#include "java_bytecode_typecheck.h"
#include <util/std_types.h>
#include <util/prefix.h>
#include <util/config.h>
#include "expr2java.h"
Include dependency graph for java_bytecode_typecheck.cpp:

Go to the source code of this file.

Functions

bool java_bytecode_typecheck (symbol_tablet &symbol_table, message_handlert &message_handler, bool string_refinement_enabled)
 
bool java_bytecode_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns)
 

Detailed Description

JAVA Bytecode Conversion / Type Checking.

Definition in file java_bytecode_typecheck.cpp.

Function Documentation

§ java_bytecode_typecheck() [1/2]

bool java_bytecode_typecheck ( symbol_tablet symbol_table,
message_handlert message_handler,
bool  string_refinement_enabled 
)

§ java_bytecode_typecheck() [2/2]

bool java_bytecode_typecheck ( exprt expr,
message_handlert message_handler,
const namespacet ns 
)