jsil_language.cpp File Reference

Jsil Language. More...

#include "jsil_language.h"
#include <util/symbol_table.h>
#include <util/get_base_name.h>
#include "expr2jsil.h"
#include "jsil_convert.h"
#include "jsil_entry_point.h"
#include "jsil_internal_additions.h"
#include "jsil_parser.h"
#include "jsil_typecheck.h"

Include dependency graph for jsil_language.cpp:

Go to the source code of this file.

Functions
languaget *	new_jsil_language ()

Detailed Description

Jsil Language.

Definition in file jsil_language.cpp.

Function Documentation

new_jsil_language()

languaget* new_jsil_language

(

)

Definition at line 104 of file jsil_language.cpp.

Referenced by goto_cc_modet::register_languages(), goto_analyzer_parse_optionst::register_languages(), and cbmc_parse_optionst::register_languages().