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

---
 parse.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'parse.h')

diff --git a/parse.h b/parse.h
index 0bfe06f..3fb0a3b 100644
--- a/parse.h
+++ b/parse.h
@@ -9,5 +9,10 @@ typedef struct LineSet {
 	line_t* lines;
 	int count;
 } lineSet_t;
+line_t init_line(prop_t proposition, just_t justification);
 lineSet_t init_lineset(line_t* lines, int count);
+int count_lines(char* content);
+lineSet_t parse_lines(char* content, int lineCount);
+line_t parse_line(char* content);
+prop_t parse_proposition(tokenSet_t tokenSet, int* tokensRead);
 #endif
-- 
cgit v1.3.1