SimGrid
3.16
Versatile Simulation of Distributed Systems
|
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include "simgrid_config.h"
#include "parserPromela.tab.hacc"
Classes | |
struct | yy_buffer_state |
struct | yy_trans_info |
Typedefs | |
typedef signed char | flex_int8_t |
typedef short int | flex_int16_t |
typedef int | flex_int32_t |
typedef unsigned char | flex_uint8_t |
typedef unsigned short int | flex_uint16_t |
typedef unsigned int | flex_uint32_t |
typedef struct yy_buffer_state * | YY_BUFFER_STATE |
typedef size_t | yy_size_t |
typedef unsigned char | YY_CHAR |
typedef int | yy_state_type |
#define YY_INT_ALIGNED short int |
#define yy_create_buffer xbt_automaton_parser__create_buffer |
#define yy_delete_buffer xbt_automaton_parser__delete_buffer |
#define yy_flex_debug xbt_automaton_parser__flex_debug |
#define yy_init_buffer xbt_automaton_parser__init_buffer |
#define yy_flush_buffer xbt_automaton_parser__flush_buffer |
#define yy_load_buffer_state xbt_automaton_parser__load_buffer_state |
#define yy_switch_to_buffer xbt_automaton_parser__switch_to_buffer |
#define yyin xbt_automaton_parser_in |
#define yyleng xbt_automaton_parser_leng |
#define yylex xbt_automaton_parser_lex |
#define yylineno xbt_automaton_parser_lineno |
#define yyout xbt_automaton_parser_out |
#define yyrestart xbt_automaton_parser_restart |
#define yytext xbt_automaton_parser_text |
#define yywrap xbt_automaton_parser_wrap |
#define yyalloc xbt_automaton_parser_alloc |
#define yyrealloc xbt_automaton_parser_realloc |
#define yyfree xbt_automaton_parser_free |
#define FLEX_SCANNER |
#define YY_FLEX_MAJOR_VERSION 2 |
#define YY_FLEX_MINOR_VERSION 6 |
#define YY_FLEX_SUBMINOR_VERSION 0 |
#define FLEXINT_H |
#define INT8_MIN (-128) |
#define INT16_MIN (-32767-1) |
#define INT32_MIN (-2147483647-1) |
#define INT8_MAX (127) |
#define INT16_MAX (32767) |
#define INT32_MAX (2147483647) |
#define UINT8_MAX (255U) |
#define UINT16_MAX (65535U) |
#define UINT32_MAX (4294967295U) |
#define yyconst |
#define YY_NULL 0 |
#define YY_SC_TO_UI | ( | c | ) | ((unsigned int) (unsigned char) c) |
#define BEGIN (yy_start) = 1 + 2 * |
#define YY_START (((yy_start) - 1) / 2) |
#define YYSTATE YY_START |
#define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
#define YY_NEW_FILE xbt_automaton_parser_restart(xbt_automaton_parser_in ) |
#define YY_END_OF_BUFFER_CHAR 0 |
#define YY_BUF_SIZE 16384 |
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
#define YY_TYPEDEF_YY_BUFFER_STATE |
#define YY_TYPEDEF_YY_SIZE_T |
#define EOB_ACT_CONTINUE_SCAN 0 |
#define EOB_ACT_END_OF_FILE 1 |
#define EOB_ACT_LAST_MATCH 2 |
#define YY_LESS_LINENO | ( | n | ) |
#define YY_LINENO_REWIND_TO | ( | ptr | ) |
#define yyless | ( | n | ) |
#define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
#define YY_STRUCT_YY_BUFFER_STATE |
#define YY_BUFFER_NEW 0 |
#define YY_BUFFER_NORMAL 1 |
#define YY_BUFFER_EOF_PENDING 2 |
#define YY_CURRENT_BUFFER |
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
#define YY_FLUSH_BUFFER xbt_automaton_parser__flush_buffer(YY_CURRENT_BUFFER ) |
#define yy_new_buffer xbt_automaton_parser__create_buffer |
#define yy_set_interactive | ( | is_interactive | ) |
#define yy_set_bol | ( | at_bol | ) |
#define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
#define xbt_automaton_parser_wrap | ( | ) | (/*CONSTCOND*/1) |
#define YY_SKIP_YYWRAP |
#define yytext_ptr xbt_automaton_parser_text |
#define YY_DO_BEFORE_ACTION |
#define YY_NUM_RULES 25 |
#define YY_END_OF_BUFFER 26 |
#define REJECT reject_used_but_not_detected |
#define yymore | ( | ) | yymore_used_but_not_detected |
#define YY_MORE_ADJ 0 |
#define YY_RESTORE_YY_MORE_OFFSET |
#define YY_NO_UNISTD_H /* hello Windows */ |
#define INITIAL 0 |
#define YY_EXTRA_TYPE void * |
#define YY_READ_BUF_SIZE 8192 |
#define ECHO do { if (fwrite( xbt_automaton_parser_text, xbt_automaton_parser_leng, 1, xbt_automaton_parser_out )) {} } while (0) |
#define yyterminate | ( | ) | return YY_NULL |
#define YY_START_STACK_INCR 25 |
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
#define YY_DECL_IS_OURS 1 |
#define YY_DECL int xbt_automaton_parser_lex (void) |
#define YY_USER_ACTION |
#define YY_BREAK /*LINTED*/break; |
#define YY_RULE_SETUP YY_USER_ACTION |
#define YY_EXIT_FAILURE 2 |
#define yyless | ( | n | ) |
#define YYTABLES_NAME "yytables" |
typedef signed char flex_int8_t |
typedef short int flex_int16_t |
typedef int flex_int32_t |
typedef unsigned char flex_uint8_t |
typedef unsigned short int flex_uint16_t |
typedef unsigned int flex_uint32_t |
typedef struct yy_buffer_state* YY_BUFFER_STATE |
typedef size_t yy_size_t |
typedef unsigned char YY_CHAR |
typedef int yy_state_type |
void xbt_automaton_parser_restart | ( | FILE * | input_file | ) |
void xbt_automaton_parser__switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
YY_BUFFER_STATE xbt_automaton_parser__create_buffer | ( | FILE * | file, |
int | size | ||
) |
void xbt_automaton_parser__delete_buffer | ( | YY_BUFFER_STATE | b | ) |
void xbt_automaton_parser__flush_buffer | ( | YY_BUFFER_STATE | b | ) |
void xbt_automaton_parser_push_buffer_state | ( | YY_BUFFER_STATE | new_buffer | ) |
|
static |
YY_BUFFER_STATE xbt_automaton_parser__scan_buffer | ( | char * | base, |
yy_size_t | size | ||
) |
YY_BUFFER_STATE xbt_automaton_parser__scan_string | ( | yyconst char * | yy_str | ) |
YY_BUFFER_STATE xbt_automaton_parser__scan_bytes | ( | yyconst char * | bytes, |
yy_size_t | len | ||
) |
|
static |
|
static |
|
static |
|
static |
int xbt_automaton_parser_lex_destroy | ( | void | ) |
int xbt_automaton_parser_get_debug | ( | void | ) |
void xbt_automaton_parser_set_debug | ( | int | debug_flag | ) |
YY_EXTRA_TYPE xbt_automaton_parser_get_extra | ( | void | ) |
void xbt_automaton_parser_set_extra | ( | YY_EXTRA_TYPE | user_defined | ) |
FILE* xbt_automaton_parser_get_in | ( | void | ) |
void xbt_automaton_parser_set_in | ( | FILE * | _in_str | ) |
FILE* xbt_automaton_parser_get_out | ( | void | ) |
void xbt_automaton_parser_set_out | ( | FILE * | _out_str | ) |
char* xbt_automaton_parser_get_text | ( | void | ) |
int xbt_automaton_parser_get_lineno | ( | void | ) |
void xbt_automaton_parser_set_lineno | ( | int | _line_number | ) |
|
static |
|
static |
int xbt_automaton_parser_lex | ( | void | ) |
if | ( | ! | yy_init | ) |
yy_size_t xbt_automaton_parser_leng |
FILE * xbt_automaton_parser_in = (FILE *) 0 |
FILE * xbt_automaton_parser_out = (FILE *) 0 |
|
static |
index of top of stack.
|
static |
capacity of stack.
|
static |
Stack as an array.
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
int xbt_automaton_parser_lineno = 1 |
char * xbt_automaton_parser_text |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
int xbt_automaton_parser__flex_debug = 0 |
YYSTYPE yylval |
YY_DECL |
The main scanner function which does all the work.
char* yy_cp |
char * yy_bp |
int yy_act |