added scoping; probably doesn't work

1 files changed, 33 insertions, 3 deletions

diff --git a/parse.c b/parse.c
index ca01fc0..f2cff36 100644
--- a/parse.c
+++ b/parse.c
@@ -4,9 +4,19 @@
 #include "lexer.h"
 #include "stdio.h"
 
-line_t init_line(int aLevel, prop_t proposition, just_t justification) {
+scope_t lastScope;
+int scopes;
+
+scope_t init_scope(int id, int depth, scope_t* parent) {
+	scope_t scope;
+	scope.id = id;
+	scope.depth = depth;
+	scope.parent = parent;
+	return scope;
+}
+line_t init_line(scope_t scope, prop_t proposition, just_t justification) {
 	line_t line;
-	line.aLevel = aLevel;
+	line.scope = scope;
 	line.proposition = proposition;
 	line.justification = justification;
 	return line;
@@ -50,11 +60,31 @@ line_t parse_line(char* content) {
 		}
 		c++;
 	}
+	/* determine the ID of the scope we are working on */
+	scope_t thisScope;
+	if (indent > lastScope.depth) {
+		scopes++;
+		scope_t* lsp = malloc(sizeof(scope_t));
+		*lsp = lastScope;
+		thisScope = init_scope(scopes, indent, lsp);
+	}
+	else if (indent < lastScope.depth) {
+		scope_t li = lastScope;
+		for (int i = 0; i < lastScope.depth - indent; i++) {
+			li = *li.parent;
+		}
+		thisScope = li;
+	}
+	else {
+		thisScope = lastScope;
+	}
+	lastScope = thisScope;
+	/* find the proposition and justification */
 	int* seek = calloc(sizeof(int), 1);
 	prop_t prop = parse_proposition(init_tokenset(ts.tokens + indent, c - indent), seek, 0);
 	just_t just = parse_justification(init_tokenset(ts.tokens + c + 1, ts.count - (c + 1)));
 	free(seek);
-	return init_line(indent, prop, just);
+	return init_line(thisScope, prop, just);
 }
 prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative) {
 	prop_t prop;