diff options
| -rw-r--r-- | src/lexer.c | 6 | ||||
| -rw-r--r-- | src/lexer.h | 1 |
2 files changed, 7 insertions, 0 deletions
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, |