CBMC
jsil_language.cpp File Reference
#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

std::unique_ptr< languagetnew_jsil_language ()
 

Detailed Description

Jsil Language

Definition in file jsil_language.cpp.

Function Documentation

◆ new_jsil_language()

std::unique_ptr<languaget> new_jsil_language ( )

Definition at line 102 of file jsil_language.cpp.