From d063e3c2c6f4b1566c28d0ea92186f356017f99f Mon Sep 17 00:00:00 2001
From: Kai Stevenson <kai@kaistevenson.com>
Date: Sun, 11 Jun 2023 16:18:21 -0700
Subject: parsing propositions works now. added some debugging tools

---
 lexer.h | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

(limited to 'lexer.h')

diff --git a/lexer.h b/lexer.h
index f8dc046..7f4cfd0 100644
--- a/lexer.h
+++ b/lexer.h
@@ -17,22 +17,21 @@ typedef enum TokenType {
 	BI_IMPLICATION,
 	EXPLOSION,
 	ELIMINATION,
-	INTRODUCTION,
+	INTRODUCTION
 } tokenType_t;
-
 typedef struct Token {
 	tokenType_t type;
 	void* value;
 } token_t;
 token_t init_token(tokenType_t type, void* value);
-typedef struct LinkedList {
-	void* value;
-	struct LinkedList* next;
-} linkList_t;
-
-linkList_t* init_linklist(void* value, linkList_t* next);
+typedef struct TokenSet {
+	token_t* tokens;
+	int count;
+} tokenSet_t;
+tokenSet_t init_tokenset(token_t* tokens, int count);
+char* tttos(tokenType_t tokenType);
 int advance_whitespace(char** linePointer);
-linkList_t* lex_line(char* line);
+tokenSet_t lex_line(char* line);
 token_t lex_first_token(char** content);
 token_t lex_first_string(char** content);
 token_t lex_first_int(char** content);
-- 
cgit v1.3.1