Compare commits
10 Commits
6377515558
...
1ce64d8e9e
| Author | SHA1 | Date | |
|---|---|---|---|
| 1ce64d8e9e | |||
| 92d142b9cf | |||
| 845673fb0e | |||
| f24671bd19 | |||
| f11b6f8c12 | |||
| 17be815ed0 | |||
| 7d28b69790 | |||
| 0d883ae978 | |||
| acd5e9781e | |||
| 27787308f2 |
@@ -19,7 +19,6 @@ include_directories(include)
|
|||||||
add_library(calculator_lib
|
add_library(calculator_lib
|
||||||
src/lexer.c
|
src/lexer.c
|
||||||
src/parser.c
|
src/parser.c
|
||||||
src/ast.c
|
|
||||||
src/evaluator.c
|
src/evaluator.c
|
||||||
)
|
)
|
||||||
|
|
||||||
|
|||||||
@@ -0,0 +1,9 @@
|
|||||||
|
#ifndef EVALUATOR_H
|
||||||
|
#define EVALUATOR_H
|
||||||
|
|
||||||
|
#include "lexer.h"
|
||||||
|
#include <stdint.h>
|
||||||
|
|
||||||
|
int64_t evaluate(ASTNode *tree);
|
||||||
|
|
||||||
|
#endif // !EVALUATOR_H
|
||||||
|
|||||||
@@ -74,5 +74,6 @@ LexerErr tokenize_number(const char* input, size_t *offset, ASTNode *out);
|
|||||||
LexerErr string_to_integer(const char buf[], int64_t *number);
|
LexerErr string_to_integer(const char buf[], int64_t *number);
|
||||||
bool isoperator(int c);
|
bool isoperator(int c);
|
||||||
Operator char_to_operator(int c);
|
Operator char_to_operator(int c);
|
||||||
|
char operator_to_char(Operator op);
|
||||||
|
|
||||||
#endif // !LEXER_H
|
#endif // !LEXER_H
|
||||||
|
|||||||
@@ -1,14 +1,29 @@
|
|||||||
|
#ifndef PARSER_H
|
||||||
|
#define PARSER_H
|
||||||
|
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
|
#include <stdint.h>
|
||||||
|
|
||||||
typedef struct {
|
typedef struct {
|
||||||
ASTNode *head;
|
ASTNode *head;
|
||||||
} AST;
|
} AST;
|
||||||
|
|
||||||
typedef enum {
|
typedef struct {
|
||||||
PARSER_NUD, // Null Denotation
|
ASTNodeArray *arr;
|
||||||
PARSER_LED, // Left Denotation
|
size_t pos;
|
||||||
} ParserState;
|
} ASTNodeSlice;
|
||||||
|
|
||||||
size_t node_lbp(Operator op);
|
ASTNode ASTNodeSlice_peek(ASTNodeSlice *slice);
|
||||||
size_t node_rbp(Operator op);
|
ASTNode ASTNodeSlice_next(ASTNodeSlice *slice);
|
||||||
AST parse(ASTNodeArray arr);
|
bool ASTNodeSlice_is_valid(ASTNodeSlice *slice);
|
||||||
|
|
||||||
|
ASTNode *nud(ASTNodeSlice *slice);
|
||||||
|
ASTNode *led(ASTNodeSlice *slice, size_t right_precedence);
|
||||||
|
|
||||||
|
uint8_t node_lbp(ASTNode node);
|
||||||
|
uint8_t node_rbp(ASTNode node);
|
||||||
|
|
||||||
|
AST parse(ASTNodeArray *arr);
|
||||||
|
ASTNode *parse_expr(ASTNodeSlice *slice, uint8_t min_bp);
|
||||||
|
|
||||||
|
#endif // !PARSER_H
|
||||||
|
|||||||
@@ -0,0 +1,22 @@
|
|||||||
|
#include "evaluator.h"
|
||||||
|
#include "lexer.h"
|
||||||
|
#include <stdint.h>
|
||||||
|
|
||||||
|
int64_t evaluate(ASTNode *tree) {
|
||||||
|
if (tree->type == NODE_BINARY_OP) {
|
||||||
|
switch (tree->data.binary.op) {
|
||||||
|
case OP_ADD:
|
||||||
|
return evaluate(tree->data.binary.left) + evaluate(tree->data.binary.right);
|
||||||
|
case OP_SUB:
|
||||||
|
return evaluate(tree->data.binary.left) - evaluate(tree->data.binary.right);
|
||||||
|
case OP_MUL:
|
||||||
|
return evaluate(tree->data.binary.left) * evaluate(tree->data.binary.right);
|
||||||
|
case OP_DIV:
|
||||||
|
return evaluate(tree->data.binary.left) / evaluate(tree->data.binary.right);
|
||||||
|
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
return tree->data.integer;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|||||||
13
src/lexer.c
13
src/lexer.c
@@ -248,3 +248,16 @@ Operator char_to_operator(int c) {
|
|||||||
return -1;
|
return -1;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
char operator_to_char(Operator op) {
|
||||||
|
switch (op) {
|
||||||
|
case OP_ADD:
|
||||||
|
return '+';
|
||||||
|
case OP_SUB:
|
||||||
|
return '-';
|
||||||
|
case OP_MUL:
|
||||||
|
return '*';
|
||||||
|
case OP_DIV:
|
||||||
|
return '/';
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|||||||
27
src/main.c
27
src/main.c
@@ -1,7 +1,30 @@
|
|||||||
|
#include "evaluator.h"
|
||||||
|
#include "lexer.h"
|
||||||
|
#include "parser.h"
|
||||||
|
#include <stdint.h>
|
||||||
|
#include <inttypes.h>
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
#include <stdio.h>
|
#include <stdio.h>
|
||||||
|
|
||||||
int main(int argc, char *argv[]) {
|
int main(void) {
|
||||||
puts("Hello");
|
char buf[256];
|
||||||
|
printf("Insert a valid mathematical expression: ");
|
||||||
|
|
||||||
|
int c;
|
||||||
|
int pos = 0;
|
||||||
|
while ((c = getc(stdin)) != '\n' && c != EOF) {
|
||||||
|
buf[pos] = c;
|
||||||
|
pos++;
|
||||||
|
}
|
||||||
|
buf[pos] = '\0';
|
||||||
|
|
||||||
|
ASTNodeArray context;
|
||||||
|
tokenize(buf, &context);
|
||||||
|
|
||||||
|
AST tree = parse(&context);
|
||||||
|
int64_t result = evaluate(tree.head);
|
||||||
|
|
||||||
|
|
||||||
|
printf("El resultado es: %" PRIi64 "\n", result);
|
||||||
return EXIT_SUCCESS;
|
return EXIT_SUCCESS;
|
||||||
}
|
}
|
||||||
|
|||||||
93
src/parser.c
93
src/parser.c
@@ -1,9 +1,16 @@
|
|||||||
#include "parser.h"
|
#include "parser.h"
|
||||||
#include "lexer.h"
|
#include "lexer.h"
|
||||||
|
#include <stdbool.h>
|
||||||
|
#include <stdint.h>
|
||||||
#include <stdlib.h>
|
#include <stdlib.h>
|
||||||
|
#include <stdio.h>
|
||||||
|
|
||||||
size_t node_lbp(Operator op) {
|
uint8_t node_lbp(ASTNode node) {
|
||||||
switch (op) {
|
if (node.type == NODE_INTEGER) {
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
switch (node.data.binary.op) {
|
||||||
case OP_ADD:
|
case OP_ADD:
|
||||||
case OP_SUB:
|
case OP_SUB:
|
||||||
return 10;
|
return 10;
|
||||||
@@ -11,17 +18,91 @@ size_t node_lbp(Operator op) {
|
|||||||
case OP_DIV:
|
case OP_DIV:
|
||||||
case OP_MUL:
|
case OP_MUL:
|
||||||
return 20;
|
return 20;
|
||||||
|
default:
|
||||||
|
return 0;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
size_t node_rbp(Operator op) {
|
uint8_t node_rbp(ASTNode node) {
|
||||||
switch (op) {
|
if (node.type == NODE_INTEGER) {
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
switch (node.data.binary.op) {
|
||||||
case OP_ADD:
|
case OP_ADD:
|
||||||
case OP_SUB:
|
case OP_SUB:
|
||||||
return 10;
|
return 11;
|
||||||
break;
|
break;
|
||||||
case OP_DIV:
|
case OP_DIV:
|
||||||
case OP_MUL:
|
case OP_MUL:
|
||||||
return 20;
|
return 21;
|
||||||
|
default:
|
||||||
|
return 0;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
ASTNode ASTNodeSlice_next(ASTNodeSlice *slice) {
|
||||||
|
return slice->arr->data[slice->pos++];
|
||||||
|
}
|
||||||
|
|
||||||
|
ASTNode ASTNodeSlice_peek(ASTNodeSlice *slice) {
|
||||||
|
return slice->arr->data[slice->pos];
|
||||||
|
}
|
||||||
|
|
||||||
|
bool ASTNodeSlice_is_valid(ASTNodeSlice *slice) {
|
||||||
|
if (slice->arr->len < 1) {
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
if (slice->pos >= slice->arr->len) {
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
|
||||||
|
AST parse(ASTNodeArray *arr) {
|
||||||
|
AST tree;
|
||||||
|
ASTNodeSlice context = {
|
||||||
|
.arr = arr,
|
||||||
|
.pos = 0,
|
||||||
|
};
|
||||||
|
|
||||||
|
tree.head = parse_expr(&context, 0);
|
||||||
|
return tree;
|
||||||
|
}
|
||||||
|
|
||||||
|
ASTNode *parse_expr(ASTNodeSlice *slice, uint8_t min_bp) {
|
||||||
|
ASTNode *left_side = malloc(sizeof(ASTNode));
|
||||||
|
*left_side = ASTNodeSlice_next(slice);
|
||||||
|
|
||||||
|
while (true) {
|
||||||
|
if (!ASTNodeSlice_is_valid(slice)) {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
ASTNode operator = ASTNodeSlice_peek(slice);
|
||||||
|
uint8_t rbp = node_rbp(operator);
|
||||||
|
uint8_t lbp = node_lbp(operator);
|
||||||
|
|
||||||
|
if (lbp < min_bp) {
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
|
||||||
|
ASTNodeSlice_next(slice);
|
||||||
|
ASTNode *right_side = parse_expr(slice, rbp);
|
||||||
|
|
||||||
|
ASTNode *new_node = malloc(sizeof(ASTNode));
|
||||||
|
*new_node = operator;
|
||||||
|
|
||||||
|
new_node->data.binary.left = left_side;
|
||||||
|
new_node->data.binary.right = right_side;
|
||||||
|
|
||||||
|
left_side = new_node;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
return left_side;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
@@ -2,6 +2,7 @@ find_package(cmocka REQUIRED)
|
|||||||
|
|
||||||
add_executable(test_nodeArray test_ASTNodeArray.c)
|
add_executable(test_nodeArray test_ASTNodeArray.c)
|
||||||
add_executable(test_lexer test_lexer.c)
|
add_executable(test_lexer test_lexer.c)
|
||||||
|
add_executable(test_parser test_parser.c)
|
||||||
|
|
||||||
target_link_libraries(test_nodeArray
|
target_link_libraries(test_nodeArray
|
||||||
calculator_lib
|
calculator_lib
|
||||||
@@ -13,5 +14,11 @@ target_link_libraries(test_lexer
|
|||||||
cmocka::cmocka
|
cmocka::cmocka
|
||||||
)
|
)
|
||||||
|
|
||||||
|
target_link_libraries(test_parser
|
||||||
|
calculator_lib
|
||||||
|
cmocka::cmocka
|
||||||
|
)
|
||||||
|
|
||||||
add_test(NAME nodeArray_tests COMMAND test_nodeArray)
|
add_test(NAME nodeArray_tests COMMAND test_nodeArray)
|
||||||
add_test(NAME lexer_tests COMMAND test_lexer)
|
add_test(NAME lexer_tests COMMAND test_lexer)
|
||||||
|
add_test(NAME parser_tests COMMAND test_parser)
|
||||||
|
|||||||
32
test/test_evaluator.c
Normal file
32
test/test_evaluator.c
Normal file
@@ -0,0 +1,32 @@
|
|||||||
|
#include "lexer.h"
|
||||||
|
#include "parser.h"
|
||||||
|
#include "evaluator.h"
|
||||||
|
#include <stdarg.h>
|
||||||
|
#include <stdbool.h>
|
||||||
|
#include <stddef.h>
|
||||||
|
#include <stdint.h>
|
||||||
|
#include <setjmp.h>
|
||||||
|
#include <cmocka.h>
|
||||||
|
#include <stdlib.h>
|
||||||
|
|
||||||
|
static void test_basic_evaluation(void** state) {
|
||||||
|
(void) state;
|
||||||
|
|
||||||
|
char expr[256] = "2 + 4 * 40 / 2";
|
||||||
|
ASTNodeArray context;
|
||||||
|
|
||||||
|
tokenize(expr, &context);
|
||||||
|
AST tree = parse(&context);
|
||||||
|
uint64_t value = evaluate(tree.head);
|
||||||
|
|
||||||
|
assert_int_equal(value, 82);
|
||||||
|
}
|
||||||
|
|
||||||
|
int main(void) {
|
||||||
|
const struct CMUnitTest tests[] = {
|
||||||
|
cmocka_unit_test(test_basic_evaluation),
|
||||||
|
};
|
||||||
|
|
||||||
|
cmocka_run_group_tests(tests, NULL, NULL);
|
||||||
|
return EXIT_SUCCESS;
|
||||||
|
}
|
||||||
@@ -1,5 +1,79 @@
|
|||||||
#include <stdlib.h>
|
#include "lexer.h"
|
||||||
|
#include "parser.h"
|
||||||
|
#include <stdarg.h>
|
||||||
|
#include <stdbool.h>
|
||||||
|
#include <stddef.h>
|
||||||
|
#include <stdint.h>
|
||||||
|
#include <setjmp.h>
|
||||||
|
#include <cmocka.h>
|
||||||
|
|
||||||
int main() {
|
static void test_parsing_basic_expression(void **state) {
|
||||||
return EXIT_SUCCESS;
|
(void) state;
|
||||||
|
|
||||||
|
char expr[256] = "2 + 3 / 66 * 789";
|
||||||
|
ASTNodeArray tokens;
|
||||||
|
ASTNode node;
|
||||||
|
|
||||||
|
assert_int_equal(tokenize(expr, &tokens), LEXER_OK);
|
||||||
|
assert_int_equal(tokens.len, 7);
|
||||||
|
|
||||||
|
AST tree = parse(&tokens);
|
||||||
|
// Assert head is +
|
||||||
|
assert_int_equal(tree.head->type, NODE_BINARY_OP);
|
||||||
|
assert_int_equal(tree.head->data.binary.op, OP_ADD);
|
||||||
|
|
||||||
|
assert_int_equal(tree.head->data.binary.left->type, NODE_INTEGER);
|
||||||
|
assert_int_equal(tree.head->data.binary.left->data.integer, 2);
|
||||||
|
|
||||||
|
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->type,
|
||||||
|
NODE_BINARY_OP
|
||||||
|
);
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.op,
|
||||||
|
OP_MUL
|
||||||
|
);
|
||||||
|
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.right->type,
|
||||||
|
NODE_INTEGER);
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.right->data.integer,
|
||||||
|
789);
|
||||||
|
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.left->type,
|
||||||
|
NODE_BINARY_OP
|
||||||
|
);
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.left->data.binary.op,
|
||||||
|
OP_DIV
|
||||||
|
);
|
||||||
|
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.left->data.binary.right->type,
|
||||||
|
NODE_INTEGER
|
||||||
|
);
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.left->data.binary.right->data.integer,
|
||||||
|
66
|
||||||
|
);
|
||||||
|
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.left->data.binary.left->type,
|
||||||
|
NODE_INTEGER
|
||||||
|
);
|
||||||
|
assert_int_equal(
|
||||||
|
tree.head->data.binary.right->data.binary.left->data.binary.left->data.integer,
|
||||||
|
3
|
||||||
|
);
|
||||||
|
}
|
||||||
|
|
||||||
|
int main(void) {
|
||||||
|
const struct CMUnitTest tests [] = {
|
||||||
|
cmocka_unit_test(test_parsing_basic_expression),
|
||||||
|
};
|
||||||
|
|
||||||
|
return cmocka_run_group_tests(tests, NULL, NULL);
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user