cprover
jsil_parser.cpp File Reference

Jsil Language. More...

#include "jsil_parser.h"
Include dependency graph for jsil_parser.cpp:

Go to the source code of this file.

Functions

int yyjsilerror (const std::string &error)
 

Variables

jsil_parsert jsil_parser
 
char * yyjsiltext
 

Detailed Description

Jsil Language.

Definition in file jsil_parser.cpp.

Function Documentation

§ yyjsilerror()

int yyjsilerror ( const std::string &  error)

Definition at line 18 of file jsil_parser.cpp.

References parsert::parse_error(), and yyjsiltext.

Referenced by yyjsillex().

Variable Documentation

§ jsil_parser

jsil_parsert jsil_parser

Definition at line 14 of file jsil_parser.cpp.

Referenced by jsil_languaget::parse(), and jsil_languaget::to_expr().

§ yyjsiltext

char* yyjsiltext

Referenced by yyjsilerror().