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 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/lexer.c') 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); -- cgit v1.3.1