Otawa
0.10
|
#include <stdio.h>
#include <string.h>
#include <errno.h>
#include <stdlib.h>
#include "ExpNode.h"
#include <otawa/ipet/ConstraintLoader.h>
#include <ipet_parser.h>
#include <unistd.h>
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 |
Functions | |
void | ipet_restart (FILE *input_file) |
Immediately switch to a different input stream. More... | |
void | ipet__switch_to_buffer (YY_BUFFER_STATE new_buffer) |
Switch to a different input buffer. More... | |
YY_BUFFER_STATE | ipet__create_buffer (FILE *file, int size) |
Allocate and initialize an input buffer state. More... | |
void | ipet__delete_buffer (YY_BUFFER_STATE b) |
Destroy the buffer. More... | |
void | ipet__flush_buffer (YY_BUFFER_STATE b) |
Discard all buffered characters. More... | |
void | ipet_push_buffer_state (YY_BUFFER_STATE new_buffer) |
Pushes the new state onto the stack. More... | |
void | ipet_pop_buffer_state (void) |
Removes and deletes the top of the stack, if present. More... | |
YY_BUFFER_STATE | ipet__scan_buffer (char *base, yy_size_t size) |
Setup the input buffer state to scan directly from a user-specified character buffer. More... | |
YY_BUFFER_STATE | ipet__scan_string (yyconst char *yystr) |
Setup the input buffer state to scan a string. More... | |
YY_BUFFER_STATE | ipet__scan_bytes (yyconst char *yybytes, int _yybytes_len) |
Setup the input buffer state to scan the given bytes. More... | |
void * | ipet_alloc (yy_size_t) |
void * | ipet_realloc (void *, yy_size_t) |
void | ipet_free (void *) |
int | ipet_lex_destroy (void) |
int | ipet_get_debug (void) |
void | ipet_set_debug (int debug_flag) |
YY_EXTRA_TYPE | ipet_get_extra (void) |
void | ipet_set_extra (YY_EXTRA_TYPE user_defined) |
FILE * | ipet_get_in (void) |
Get the input stream. More... | |
void | ipet_set_in (FILE *in_str) |
Set the input stream. More... | |
FILE * | ipet_get_out (void) |
Get the output stream. More... | |
void | ipet_set_out (FILE *out_str) |
int | ipet_get_leng (void) |
Get the length of the current token. More... | |
char * | ipet_get_text (void) |
Get the current token. More... | |
int | ipet_get_lineno (void) |
Get the current line number. More... | |
void | ipet_set_lineno (int line_number) |
Set the current line number. More... | |
int | ipet_lex (void) |
if (!(yy_init)) | |
while (1) | |
int | isatty (int) |
Variables | |
int | ipet_leng |
FILE * | ipet_in = (FILE *) 0 |
FILE * | ipet_out = (FILE *) 0 |
int | ipet_lineno = 1 |
char * | ipet_text |
int | ipet__flex_debug = 0 |
int | ipet_line |
YY_DECL | |
The main scanner function which does all the work. More... | |
register char * | yy_cp |
register char * | yy_bp |
register int | yy_act |
#define BEGIN (yy_start) = 1 + 2 * |
Referenced by while().
#define EOB_ACT_CONTINUE_SCAN 0 |
Referenced by while().
#define EOB_ACT_END_OF_FILE 1 |
Referenced by while().
#define EOB_ACT_LAST_MATCH 2 |
Referenced by while().
#define FLEX_BETA |
#define FLEX_SCANNER |
#define FLEXINT_H |
#define INITIAL 0 |
Referenced by while().
#define INT16_MAX (32767) |
#define INT16_MIN (-32767-1) |
#define INT32_MAX (2147483647) |
#define INT32_MIN (-2147483647-1) |
#define INT8_MAX (127) |
#define INT8_MIN (-128) |
#define ipet_wrap | ( | n | ) | 1 |
Referenced by while().
#define REJECT reject_used_but_not_detected |
#define UINT16_MAX (65535U) |
#define UINT32_MAX (4294967295U) |
#define UINT8_MAX (255U) |
#define unput | ( | c | ) | yyunput( c, (yytext_ptr) ) |
#define YY_AT_BOL | ( | ) | (YY_CURRENT_BUFFER_LVALUE->yy_at_bol) |
#define YY_BREAK break; |
Referenced by while().
#define YY_BUF_SIZE 16384 |
Referenced by if(), and ipet_restart().
#define YY_BUFFER_EOF_PENDING 2 |
#define YY_BUFFER_NEW 0 |
Referenced by ipet__flush_buffer(), ipet__scan_buffer(), and while().
#define YY_BUFFER_NORMAL 1 |
Referenced by while().
#define yy_create_buffer ipet__create_buffer |
#define YY_CURRENT_BUFFER |
Referenced by if(), ipet__delete_buffer(), ipet__flush_buffer(), ipet__switch_to_buffer(), ipet_lex_destroy(), ipet_pop_buffer_state(), ipet_push_buffer_state(), and ipet_restart().
#define YY_CURRENT_BUFFER_LVALUE (yy_buffer_stack)[(yy_buffer_stack_top)] |
#define YY_DECL int ipet_lex (void) |
#define YY_DECL_IS_OURS 1 |
#define yy_delete_buffer ipet__delete_buffer |
#define YY_DO_BEFORE_ACTION |
#define YY_END_OF_BUFFER 20 |
Referenced by while().
#define YY_END_OF_BUFFER_CHAR 0 |
Referenced by ipet__flush_buffer(), ipet__scan_buffer(), and ipet__scan_bytes().
#define YY_EXIT_FAILURE 2 |
#define YY_EXTRA_TYPE void * |
#define YY_FATAL_ERROR | ( | msg | ) | yy_fatal_error( msg ) |
Referenced by ipet__create_buffer(), ipet__scan_buffer(), ipet__scan_bytes(), and while().
#define yy_flex_debug ipet__flex_debug |
#define YY_FLEX_MAJOR_VERSION 2 |
#define YY_FLEX_MINOR_VERSION 5 |
#define YY_FLEX_SUBMINOR_VERSION 35 |
#define yy_flush_buffer ipet__flush_buffer |
#define YY_FLUSH_BUFFER ipet__flush_buffer(YY_CURRENT_BUFFER ) |
#define yy_init_buffer ipet__init_buffer |
#define YY_INPUT | ( | buf, | |
result, | |||
max_size | |||
) |
#define YY_INT_ALIGNED short int |
#define YY_LESS_LINENO | ( | n | ) |
#define yy_load_buffer_state ipet__load_buffer_state |
#define YY_MORE_ADJ 0 |
Referenced by while().
#define yy_new_buffer ipet__create_buffer |
#define YY_NEW_FILE ipet_restart(ipet_in ) |
Referenced by while().
#define YY_NULL 0 |
#define YY_NUM_RULES 19 |
#define YY_READ_BUF_SIZE 8192 |
#define YY_RESTORE_YY_MORE_OFFSET |
Referenced by while().
#define YY_RULE_SETUP YY_USER_ACTION |
Referenced by while().
#define YY_SC_TO_UI | ( | c | ) | ((unsigned int) (unsigned char) c) |
Referenced by while().
#define yy_set_bol | ( | at_bol | ) |
#define yy_set_interactive | ( | is_interactive | ) |
#define YY_SKIP_YYWRAP |
#define YY_START (((yy_start) - 1) / 2) |
Referenced by while().
#define YY_START_STACK_INCR 25 |
#define YY_STATE_BUF_SIZE ((YY_BUF_SIZE + 2) * sizeof(yy_state_type)) |
#define YY_STATE_EOF | ( | state | ) | (YY_END_OF_BUFFER + state + 1) |
Referenced by while().
#define YY_STRUCT_YY_BUFFER_STATE |
#define yy_switch_to_buffer ipet__switch_to_buffer |
#define YY_TYPEDEF_YY_BUFFER_STATE |
#define YY_TYPEDEF_YY_SIZE_T |
#define YY_USER_ACTION |
#define yyalloc ipet_alloc |
Referenced by yyparse().
#define yyconst |
#define yyfree ipet_free |
#define yyin ipet_in |
#define yyleng ipet_leng |
#define yyless | ( | n | ) |
#define yyless | ( | n | ) |
#define yylex ipet_lex |
#define yylineno ipet_lineno |
#define yymore | ( | ) | yymore_used_but_not_detected |
#define yyout ipet_out |
#define yyrealloc ipet_realloc |
#define yyrestart ipet_restart |
#define YYSTATE YY_START |
#define YYTABLES_NAME "yytables" |
#define yytext ipet_text |
#define yywrap ipet_wrap |
typedef short int flex_int16_t |
typedef int flex_int32_t |
typedef signed char flex_int8_t |
typedef unsigned short int flex_uint16_t |
typedef unsigned int flex_uint32_t |
typedef unsigned char flex_uint8_t |
typedef struct yy_buffer_state* YY_BUFFER_STATE |
typedef unsigned char YY_CHAR |
typedef int yy_state_type |
if | ( | ! | yy_init | ) |
References ipet__create_buffer(), ipet_in, ipet_out, YY_BUF_SIZE, YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
Referenced by otawa::clp::Value::inter(), and otawa::ParExeNode::ParExeNode().
YY_BUFFER_STATE ipet__create_buffer | ( | FILE * | file, |
int | size | ||
) |
Allocate and initialize an input buffer state.
file | A readable stream. |
size | The character buffer size in bytes. When in doubt, use YY_BUF_SIZE . |
References ipet_alloc(), and YY_FATAL_ERROR.
Referenced by if(), and ipet_restart().
void ipet__delete_buffer | ( | YY_BUFFER_STATE | b | ) |
Destroy the buffer.
b | a buffer created with ipet__create_buffer() |
References ipet_free(), YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
Referenced by ipet_lex_destroy(), and ipet_pop_buffer_state().
void ipet__flush_buffer | ( | YY_BUFFER_STATE | b | ) |
Discard all buffered characters.
On the next scan, YY_INPUT will be called.
b | the buffer state to be flushed, usually YY_CURRENT_BUFFER . |
References YY_BUFFER_NEW, YY_CURRENT_BUFFER, and YY_END_OF_BUFFER_CHAR.
YY_BUFFER_STATE ipet__scan_buffer | ( | char * | base, |
yy_size_t | size | ||
) |
Setup the input buffer state to scan directly from a user-specified character buffer.
base | the character buffer |
size | the size in bytes of the character buffer |
References base(), ipet__switch_to_buffer(), ipet_alloc(), YY_BUFFER_NEW, YY_END_OF_BUFFER_CHAR, and YY_FATAL_ERROR.
Referenced by ipet__scan_bytes().
YY_BUFFER_STATE ipet__scan_bytes | ( | yyconst char * | yybytes, |
int | _yybytes_len | ||
) |
Setup the input buffer state to scan the given bytes.
The next call to ipet_lex() will scan from a copy of bytes.
yybytes | the byte buffer to scan |
_yybytes_len | the number of bytes in the buffer pointed to by bytes. |
References buf, ipet__scan_buffer(), ipet_alloc(), YY_END_OF_BUFFER_CHAR, and YY_FATAL_ERROR.
Referenced by ipet__scan_string().
YY_BUFFER_STATE ipet__scan_string | ( | yyconst char * | yystr | ) |
Setup the input buffer state to scan a string.
The next call to ipet_lex() will scan from a copy of str.
yystr | a NUL-terminated string to scan |
References ipet__scan_bytes().
void ipet__switch_to_buffer | ( | YY_BUFFER_STATE | new_buffer | ) |
Switch to a different input buffer.
new_buffer | The new input buffer. |
References YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
Referenced by ipet__scan_buffer().
void * ipet_alloc | ( | yy_size_t | size | ) |
References malloc().
Referenced by ipet__create_buffer(), ipet__scan_buffer(), and ipet__scan_bytes().
void ipet_free | ( | void * | ptr | ) |
References free().
Referenced by ipet__delete_buffer(), and ipet_lex_destroy().
int ipet_get_debug | ( | void | ) |
References ipet__flex_debug.
YY_EXTRA_TYPE ipet_get_extra | ( | void | ) |
FILE * ipet_get_in | ( | void | ) |
Get the input stream.
References ipet_in.
int ipet_get_leng | ( | void | ) |
Get the length of the current token.
References ipet_leng.
int ipet_get_lineno | ( | void | ) |
Get the current line number.
References ipet_lineno.
FILE * ipet_get_out | ( | void | ) |
Get the output stream.
References ipet_out.
char * ipet_get_text | ( | void | ) |
Get the current token.
References ipet_text.
int ipet_lex | ( | void | ) |
int ipet_lex_destroy | ( | void | ) |
References ipet__delete_buffer(), ipet_free(), ipet_pop_buffer_state(), YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
void ipet_pop_buffer_state | ( | void | ) |
Removes and deletes the top of the stack, if present.
The next element becomes the new top.
References ipet__delete_buffer(), YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
Referenced by ipet_lex_destroy().
void ipet_push_buffer_state | ( | YY_BUFFER_STATE | new_buffer | ) |
Pushes the new state onto the stack.
The new state becomes the current state. This function will allocate the stack if necessary.
new_buffer | The new state. |
References YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
void * ipet_realloc | ( | void * | ptr, |
yy_size_t | size | ||
) |
void ipet_restart | ( | FILE * | input_file | ) |
Immediately switch to a different input stream.
input_file | A readable stream. |
INITIAL
. References ipet__create_buffer(), ipet_in, YY_BUF_SIZE, YY_CURRENT_BUFFER, and YY_CURRENT_BUFFER_LVALUE.
void ipet_set_debug | ( | int | debug_flag | ) |
void ipet_set_extra | ( | YY_EXTRA_TYPE | user_defined | ) |
void ipet_set_in | ( | FILE * | in_str | ) |
Set the input stream.
This does not discard the current input buffer.
in_str | A readable stream. |
References ipet_in.
void ipet_set_lineno | ( | int | line_number | ) |
Set the current line number.
line_number |
void ipet_set_out | ( | FILE * | out_str | ) |
References ipet_out.
int isatty | ( | int | ) |
while | ( | 1 | ) |
References BB, ECHO, otawa::etime::EDGE, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, EOL, ID, INITIAL, INTEGER, ipet_in, ipet_lval, ipet_text, ipet_wrap, OP_GE, OP_LE, REAL, YY_BREAK, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_cp, YY_CURRENT_BUFFER_LVALUE, YY_DO_BEFORE_ACTION, YY_END_OF_BUFFER, YY_FATAL_ERROR, YY_MORE_ADJ, YY_NEW_FILE, YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, YY_STATE_EOF, yyterminate, and yytext_ptr.
int ipet__flex_debug = 0 |
Referenced by ipet_get_debug().
FILE* ipet_in = (FILE *) 0 |
Referenced by if(), ipet_get_in(), ipet_restart(), ipet_set_in(), and while().
int ipet_leng |
Referenced by ipet_get_leng().
int ipet_line |
Referenced by ipet_error().
int ipet_lineno = 1 |
Referenced by ipet_get_lineno().
FILE * ipet_out = (FILE *) 0 |
Referenced by if(), ipet_get_out(), and ipet_set_out().
char * ipet_text |
Referenced by ipet_get_text(), and while().
register int yy_act |
register char * yy_bp |
register char* yy_cp |
Referenced by while().
YY_DECL |
The main scanner function which does all the work.