From bd54d5deb33a3ce3a5c843eaf99337a0934eb2de Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Wed, 14 Jun 2023 23:18:55 -0700 Subject: added contradiction to lexer --- src/lexer.c | 6 ++++++ src/lexer.h | 1 + 2 files changed, 7 insertions(+) diff --git a/src/lexer.c b/src/lexer.c index c6c4ffe..45a6f79 100644 --- a/src/lexer.c +++ b/src/lexer.c @@ -32,6 +32,8 @@ char* tttos(tokenType_t tokenType) { return "CLOSE_PAREN"; case START_COMMENT: return "START_COMMENT"; + case CONTRADICTION: + return "CONTRADICTION"; case JUSTIFICATION: return "JUSTIFICATION"; case PREMISE: @@ -116,6 +118,10 @@ token_t lex_first_token(char** content) { free(s); return init_token(INDENT, NULL); } + else if (strcmp(s, "?") == 0) { + free(s); + return init_token(CONTRADICTION, NULL); + } else if (strcmp(s, "|") == 0) { free(s); return init_token(JUSTIFICATION, NULL); diff --git a/src/lexer.h b/src/lexer.h index e5d64dc..8e3ccb1 100644 --- a/src/lexer.h +++ b/src/lexer.h @@ -10,6 +10,7 @@ typedef enum TokenType { CLOSE_PAREN, START_COMMENT, JUSTIFICATION, + CONTRADICTION, PREMISE, ASSUMPTION, NEGATION, -- cgit v1.3.1