Merge branch 'lexer' into dev
This commit is contained in:
commit
0c80663d7c
3 changed files with 165 additions and 46 deletions
|
|
@ -11,18 +11,6 @@
|
||||||
#include "../utils/string_utils/string_utils.h"
|
#include "../utils/string_utils/string_utils.h"
|
||||||
#include "lexer_utils.h"
|
#include "lexer_utils.h"
|
||||||
|
|
||||||
/* @return: true if a special character from the grammar was found,
|
|
||||||
* false otherwise.
|
|
||||||
*/
|
|
||||||
static bool is_special_char(char c)
|
|
||||||
{
|
|
||||||
if (c == EOF)
|
|
||||||
return true;
|
|
||||||
|
|
||||||
char special_chars[] = "\n'\"`;#|&\\(){}<>*";
|
|
||||||
return strchr(special_chars, c) != NULL;
|
|
||||||
}
|
|
||||||
|
|
||||||
/* @brief: sets the ctx->current_token to [tok].
|
/* @brief: sets the ctx->current_token to [tok].
|
||||||
* this function is called by token_peek().
|
* this function is called by token_peek().
|
||||||
*/
|
*/
|
||||||
|
|
@ -133,13 +121,14 @@ struct token *peek_token(struct lexer_context *ctx)
|
||||||
i++;
|
i++;
|
||||||
}
|
}
|
||||||
|
|
||||||
struct token *tok = new_token(stream, i);
|
struct token *tok = new_token(stream, i, ctx->only_digits);
|
||||||
// if token is comment, we don't want it
|
// if token is comment, we don't want it
|
||||||
|
|
||||||
if (tok->type == TOKEN_COMMENT)
|
if (tok->type == TOKEN_COMMENT)
|
||||||
{
|
{
|
||||||
// drop current stream
|
// Find next newline or EOF.
|
||||||
get_next_stream(ctx);
|
go_end_of_line(ctx);
|
||||||
|
|
||||||
free_token(&tok);
|
free_token(&tok);
|
||||||
tok = peek_token(ctx);
|
tok = peek_token(ctx);
|
||||||
}
|
}
|
||||||
|
|
@ -170,10 +159,13 @@ struct token *pop_token(struct lexer_context *ctx)
|
||||||
if (!update_lexing_mode(stream, i, &lexing_mode)
|
if (!update_lexing_mode(stream, i, &lexing_mode)
|
||||||
&& lexing_mode == LEXER_NORMAL)
|
&& lexing_mode == LEXER_NORMAL)
|
||||||
{
|
{
|
||||||
|
// TODO call here a function
|
||||||
|
// it must check if is a spe char or an operator
|
||||||
|
// and sets i accordingly.
|
||||||
if (is_special_char(stream[i]))
|
if (is_special_char(stream[i]))
|
||||||
{
|
{
|
||||||
if (i == 0) // where we create spe_char token
|
if (i == 0) // where we create spe_char token
|
||||||
i++;
|
i += len_op_sepchar(stream, i);
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
if (isblank(stream[i]))
|
if (isblank(stream[i]))
|
||||||
|
|
@ -195,7 +187,7 @@ struct token *pop_token(struct lexer_context *ctx)
|
||||||
// (this should never happen)
|
// (this should never happen)
|
||||||
if (ctx->current_token == NULL)
|
if (ctx->current_token == NULL)
|
||||||
{
|
{
|
||||||
ctx->current_token = new_token(stream, i);
|
ctx->current_token = new_token(stream, i, ctx->only_digits);
|
||||||
}
|
}
|
||||||
save_state(stream, i, ctx);
|
save_state(stream, i, ctx);
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -24,24 +24,12 @@ static void set_token_spechar(struct token *tok, char *begin, ssize_t size)
|
||||||
case '\n':
|
case '\n':
|
||||||
tok->type = TOKEN_NEWLINE;
|
tok->type = TOKEN_NEWLINE;
|
||||||
break;
|
break;
|
||||||
case '\'':
|
|
||||||
tok->type = TOKEN_QUOTE;
|
|
||||||
break;
|
|
||||||
case '"':
|
|
||||||
tok->type = TOKEN_DOUBLE_QUOTE;
|
|
||||||
break;
|
|
||||||
case '`':
|
case '`':
|
||||||
tok->type = TOKEN_GRAVE;
|
tok->type = TOKEN_GRAVE;
|
||||||
break;
|
break;
|
||||||
case '#':
|
case '#':
|
||||||
tok->type = TOKEN_COMMENT;
|
tok->type = TOKEN_COMMENT;
|
||||||
break;
|
break;
|
||||||
case '|':
|
|
||||||
tok->type = TOKEN_PIPE;
|
|
||||||
break;
|
|
||||||
case '&':
|
|
||||||
tok->type = TOKEN_AMPERSAND;
|
|
||||||
break;
|
|
||||||
case '\\':
|
case '\\':
|
||||||
tok->type = TOKEN_BACKSLASH;
|
tok->type = TOKEN_BACKSLASH;
|
||||||
break;
|
break;
|
||||||
|
|
@ -57,12 +45,6 @@ static void set_token_spechar(struct token *tok, char *begin, ssize_t size)
|
||||||
case '}':
|
case '}':
|
||||||
tok->type = TOKEN_RIGHT_BRACKET;
|
tok->type = TOKEN_RIGHT_BRACKET;
|
||||||
break;
|
break;
|
||||||
case '<':
|
|
||||||
tok->type = TOKEN_LESS;
|
|
||||||
break;
|
|
||||||
case '>':
|
|
||||||
tok->type = TOKEN_GREATER;
|
|
||||||
break;
|
|
||||||
case '*':
|
case '*':
|
||||||
tok->type = TOKEN_STAR;
|
tok->type = TOKEN_STAR;
|
||||||
break;
|
break;
|
||||||
|
|
@ -117,6 +99,47 @@ static void set_token_keyword(struct token *tok, char *begin, ssize_t size)
|
||||||
strncpy(tok->data, begin, size);
|
strncpy(tok->data, begin, size);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* @brief: if an operator is found at [begin],
|
||||||
|
* [tok->token_type] is set accordingly
|
||||||
|
*/
|
||||||
|
static void set_token_operator(struct token *tok, char *begin, ssize_t size)
|
||||||
|
{
|
||||||
|
if (tok->type != TOKEN_NULL)
|
||||||
|
return;
|
||||||
|
if (strncmp(begin, ">", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_RIGHT;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, "<", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_LEFT;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, ">>", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_DOUBLE_RIGHT;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, ">&", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_RIGHT_AMP;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, ">|", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_RIGHT_PIPE;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, "<&", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_LEFT_AMP;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, "<>", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_REDIR_LEFT_RIGHT;
|
||||||
|
}
|
||||||
|
else if (strncmp(begin, "|", size) == 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_PIPE;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/* @brief: if token_type has not yet been set, then it is a TOKEN_WORD
|
/* @brief: if token_type has not yet been set, then it is a TOKEN_WORD
|
||||||
* Also allocates the data and fills it.
|
* Also allocates the data and fills it.
|
||||||
*/
|
*/
|
||||||
|
|
@ -132,12 +155,48 @@ static void set_token_word(struct token *tok, char *begin, ssize_t size)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
struct token *new_token(char *begin, ssize_t size)
|
/* @brief: Sets the token to an IO number
|
||||||
|
* Also allocates the data and fills it.
|
||||||
|
*/
|
||||||
|
static void set_token_ION(struct token *tok, char *begin, ssize_t size)
|
||||||
|
{
|
||||||
|
if (tok->type == TOKEN_NULL && size != 0)
|
||||||
|
{
|
||||||
|
tok->type = TOKEN_IONUMBER;
|
||||||
|
tok->data = calloc(size + 1, sizeof(char));
|
||||||
|
if (tok->data == NULL)
|
||||||
|
return;
|
||||||
|
strncpy(tok->data, begin, size);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/* @brief: check if [c] is a delimiter for end of line.
|
||||||
|
* @return: true if [c] == '\n' or EOF. false otherwise.
|
||||||
|
*/
|
||||||
|
static bool is_end_of_line(char c)
|
||||||
|
{
|
||||||
|
return c == EOF || c == '\n';
|
||||||
|
}
|
||||||
|
|
||||||
|
bool is_special_char(char c)
|
||||||
|
{
|
||||||
|
if (c == EOF)
|
||||||
|
return true;
|
||||||
|
|
||||||
|
char special_chars[] = "\n'\"`;#|&\\(){}<>*";
|
||||||
|
return strchr(special_chars, c) != NULL;
|
||||||
|
}
|
||||||
|
|
||||||
|
struct token *new_token(char *begin, ssize_t size, bool only_digits)
|
||||||
{
|
{
|
||||||
struct token *tok = calloc(1, sizeof(struct token));
|
struct token *tok = calloc(1, sizeof(struct token));
|
||||||
if (tok == NULL)
|
if (tok == NULL)
|
||||||
return NULL;
|
return NULL;
|
||||||
|
|
||||||
|
if (only_digits)
|
||||||
|
set_token_ION(tok, begin, size);
|
||||||
|
|
||||||
|
set_token_operator(tok, begin, size);
|
||||||
set_token_spechar(tok, begin, size);
|
set_token_spechar(tok, begin, size);
|
||||||
set_token_keyword(tok, begin, size);
|
set_token_keyword(tok, begin, size);
|
||||||
set_token_word(tok, begin, size);
|
set_token_word(tok, begin, size);
|
||||||
|
|
@ -186,6 +245,42 @@ void stream_init(struct lexer_context *ctx)
|
||||||
ctx->end_previous_token = trimed_stream;
|
ctx->end_previous_token = trimed_stream;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
ssize_t len_op_sepchar(char *stream, ssize_t i)
|
||||||
|
{
|
||||||
|
if (!is_special_char(stream[i]))
|
||||||
|
return -1; // should never happen
|
||||||
|
|
||||||
|
if (stream[i] != '>' && stream[i] != '<')
|
||||||
|
return 1; // special character (cannot be operator)
|
||||||
|
|
||||||
|
// operator
|
||||||
|
|
||||||
|
if (stream[i] == '<')
|
||||||
|
{
|
||||||
|
if (stream[i + 1] == '&' || stream[i + 1] == '>')
|
||||||
|
return 2; // <&, <>
|
||||||
|
}
|
||||||
|
else if (stream[i + 1] == '>' || stream[i + 1] == '|'
|
||||||
|
|| stream[i + 1] == '&')
|
||||||
|
return 2; // >>, >&, >|
|
||||||
|
|
||||||
|
return 1; // >, <
|
||||||
|
}
|
||||||
|
|
||||||
|
void go_end_of_line(struct lexer_context *ctx)
|
||||||
|
{
|
||||||
|
if (ctx == NULL || ctx->end_previous_token == NULL)
|
||||||
|
return;
|
||||||
|
|
||||||
|
ssize_t i = 0;
|
||||||
|
while (!is_end_of_line(ctx->end_previous_token[i]))
|
||||||
|
{
|
||||||
|
i++;
|
||||||
|
}
|
||||||
|
ctx->end_previous_token += i;
|
||||||
|
ctx->remaining_chars -= i;
|
||||||
|
}
|
||||||
|
|
||||||
void get_next_stream(struct lexer_context *ctx)
|
void get_next_stream(struct lexer_context *ctx)
|
||||||
{
|
{
|
||||||
ctx->remaining_chars = 0;
|
ctx->remaining_chars = 0;
|
||||||
|
|
|
||||||
|
|
@ -1,6 +1,7 @@
|
||||||
#ifndef LEXER_UTILS_H
|
#ifndef LEXER_UTILS_H
|
||||||
#define LEXER_UTILS_H
|
#define LEXER_UTILS_H
|
||||||
|
|
||||||
|
#include <stdbool.h>
|
||||||
#include <stddef.h>
|
#include <stddef.h>
|
||||||
#include <sys/types.h>
|
#include <sys/types.h>
|
||||||
|
|
||||||
|
|
@ -9,6 +10,10 @@ struct lexer_context
|
||||||
char *end_previous_token;
|
char *end_previous_token;
|
||||||
ssize_t remaining_chars;
|
ssize_t remaining_chars;
|
||||||
|
|
||||||
|
// usefull to detect IO numbers.
|
||||||
|
// tells us if we only lexed digits in current token.
|
||||||
|
bool only_digits;
|
||||||
|
|
||||||
struct token *previous_token;
|
struct token *previous_token;
|
||||||
struct token *current_token;
|
struct token *current_token;
|
||||||
};
|
};
|
||||||
|
|
@ -39,17 +44,25 @@ enum token_type
|
||||||
TOKEN_GRAVE,
|
TOKEN_GRAVE,
|
||||||
TOKEN_SEMICOLON,
|
TOKEN_SEMICOLON,
|
||||||
TOKEN_COMMENT,
|
TOKEN_COMMENT,
|
||||||
TOKEN_PIPE,
|
TOKEN_STAR,
|
||||||
TOKEN_AMPERSAND,
|
|
||||||
TOKEN_BACKSLASH,
|
TOKEN_BACKSLASH,
|
||||||
TOKEN_DOLLAR,
|
TOKEN_DOLLAR,
|
||||||
TOKEN_LEFT_PAREN,
|
TOKEN_LEFT_PAREN,
|
||||||
TOKEN_RIGHT_PAREN,
|
TOKEN_RIGHT_PAREN,
|
||||||
TOKEN_LEFT_BRACKET,
|
TOKEN_LEFT_BRACKET,
|
||||||
TOKEN_RIGHT_BRACKET,
|
TOKEN_RIGHT_BRACKET,
|
||||||
TOKEN_LESS,
|
|
||||||
TOKEN_GREATER,
|
// redirections
|
||||||
TOKEN_STAR,
|
TOKEN_REDIR_LEFT,
|
||||||
|
TOKEN_REDIR_RIGHT,
|
||||||
|
TOKEN_REDIR_LEFT_RIGHT,
|
||||||
|
TOKEN_REDIR_DOUBLE_RIGHT,
|
||||||
|
TOKEN_REDIR_LEFT_AMP,
|
||||||
|
TOKEN_REDIR_RIGHT_AMP,
|
||||||
|
TOKEN_REDIR_RIGHT_PIPE,
|
||||||
|
|
||||||
|
TOKEN_IONUMBER,
|
||||||
|
TOKEN_PIPE,
|
||||||
|
|
||||||
// Keywords
|
// Keywords
|
||||||
TOKEN_IF,
|
TOKEN_IF,
|
||||||
|
|
@ -67,13 +80,17 @@ struct token
|
||||||
char *data;
|
char *data;
|
||||||
};
|
};
|
||||||
|
|
||||||
/*
|
/* @return: true if a special character from the grammar was found,
|
||||||
* @brief: return a newly allocated token, with the corresponding type.
|
* false otherwise.
|
||||||
|
*/
|
||||||
|
bool is_special_char(char c);
|
||||||
|
|
||||||
|
/* @brief: return a newly allocated token, with the corresponding type.
|
||||||
* The data contains [size] char, starting from [begin].
|
* The data contains [size] char, starting from [begin].
|
||||||
*
|
*
|
||||||
* @return: NULL on error, a token otherwise.
|
* @return: NULL on error, a token otherwise.
|
||||||
*/
|
*/
|
||||||
struct token *new_token(char *begin, ssize_t size);
|
struct token *new_token(char *begin, ssize_t size, bool only_digits);
|
||||||
|
|
||||||
/* @brief: frees the token given in argument
|
/* @brief: frees the token given in argument
|
||||||
*/
|
*/
|
||||||
|
|
@ -90,8 +107,23 @@ void free_token(struct token **tok);
|
||||||
*/
|
*/
|
||||||
void stream_init(struct lexer_context *ctx);
|
void stream_init(struct lexer_context *ctx);
|
||||||
|
|
||||||
/*
|
/* @brief: finds the next '\n' or EOF character,
|
||||||
* @brief: drops the current stream and asks IOB for a new one
|
* starting at [ctx->end_previous_token],
|
||||||
|
* and updates the stream and remaining_chars accordingly.
|
||||||
|
*
|
||||||
|
* @note: Daft Punk. bang.
|
||||||
|
*/
|
||||||
|
void go_end_of_line(struct lexer_context *ctx);
|
||||||
|
|
||||||
|
/* @brief: this function is called when we found a special character
|
||||||
|
* in the stream. This can either be an operator (ig '>>' or '<&' etc),
|
||||||
|
* or a special char (ig '\' or '#' etc).
|
||||||
|
* @return: the length of the operator/special char found (can be 1, 2 or 3).
|
||||||
|
* -1 on error.
|
||||||
|
*/
|
||||||
|
ssize_t len_op_sepchar(char *stream, ssize_t i);
|
||||||
|
|
||||||
|
/* @brief: drops the current stream and asks IOB for a new one
|
||||||
*/
|
*/
|
||||||
void get_next_stream(struct lexer_context *ctx);
|
void get_next_stream(struct lexer_context *ctx);
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue