cprover
jsil_parser.h File Reference

Jsil Language. More...

#include <util/parser.h>
#include "jsil_parse_tree.h"
Include dependency graph for jsil_parser.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  jsil_parsert
 

Functions

int yyjsilparse ()
 
int yyjsilerror (const std::string &error)
 
void jsil_scanner_init ()
 

Variables

jsil_parsert jsil_parser
 

Detailed Description

Jsil Language.

Definition in file jsil_parser.h.

Function Documentation

◆ jsil_scanner_init()

void jsil_scanner_init ( )

Definition at line 1516 of file jsil_lex.yy.cpp.

References BEGIN, and YY_FLUSH_BUFFER.

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

◆ 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().

◆ yyjsilparse()

int yyjsilparse ( void  )

Definition at line 1398 of file jsil_y.tab.cpp.

Referenced by jsil_parsert::parse().

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().