cprover
jsil_entry_point.cpp File Reference

Jsil Language. More...

Include dependency graph for jsil_entry_point.cpp:

Go to the source code of this file.

Macros

#define INITIALIZE   CPROVER_PREFIX "initialize"
 

Functions

static void create_initialize (symbol_tablet &symbol_table)
 
bool jsil_entry_point (symbol_tablet &symbol_table, message_handlert &message_handler)
 

Detailed Description

Jsil Language.

Definition in file jsil_entry_point.cpp.

Macro Definition Documentation

§ INITIALIZE

#define INITIALIZE   CPROVER_PREFIX "initialize"

Definition at line 23 of file jsil_entry_point.cpp.

Function Documentation

§ create_initialize()

§ jsil_entry_point()