cprover
jsil_typecheck.cpp File Reference

Jsil Language. More...

#include "jsil_typecheck.h"
#include <util/symbol_table.h>
#include <util/prefix.h>
#include <util/std_expr.h>
#include "expr2jsil.h"
#include "jsil_types.h"
+ Include dependency graph for jsil_typecheck.cpp:

Go to the source code of this file.

Functions

bool jsil_typecheck (symbol_tablet &symbol_table, message_handlert &message_handler)
 
bool jsil_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &)
 

Detailed Description

Jsil Language.

Definition in file jsil_typecheck.cpp.

Function Documentation

◆ jsil_typecheck() [1/2]

bool jsil_typecheck ( exprt expr,
message_handlert message_handler,
const namespacet  
)

Definition at line 905 of file jsil_typecheck.cpp.

◆ jsil_typecheck() [2/2]

bool jsil_typecheck ( symbol_tablet symbol_table,
message_handlert message_handler 
)

Definition at line 897 of file jsil_typecheck.cpp.