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 jsil_parser, 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(), jsil_languaget::to_expr(), and yyjsilerror().

◆ yyjsiltext

char* yyjsiltext

Referenced by yyjsilerror().