Jsil Language. More...
#include <unordered_set>#include <util/namespace.h>#include <util/std_code.h>#include <util/symbol_table_base.h>#include <util/typecheck.h>
Include dependency graph for jsil_typecheck.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | jsil_typecheckt |
Functions | |
| bool | jsil_typecheck (symbol_tablet &symbol_table, message_handlert &message_handler) |
| bool | jsil_typecheck (exprt &expr, message_handlert &message_handler, const namespacet &ns) |
Detailed Description
Jsil Language.
Definition in file jsil_typecheck.h.
Function Documentation
◆ jsil_typecheck() [1/2]
| bool jsil_typecheck | ( | symbol_tablet & | symbol_table, |
| message_handlert & | message_handler | ||
| ) |
Definition at line 914 of file jsil_typecheck.cpp.
◆ jsil_typecheck() [2/2]
| bool jsil_typecheck | ( | exprt & | expr, |
| message_handlert & | message_handler, | ||
| const namespacet & | ns | ||
| ) |
Definition at line 922 of file jsil_typecheck.cpp.
