From: DeaDDooMER <deaddoomer@deadsoftware.ru>
Date: Mon, 24 Jul 2017 19:38:25 +0000 (+0300)
Subject: Добавлены опережающие объявления процедур
X-Git-Url: http://deadsoftware.ru/gitweb?a=commitdiff_plain;h=734fa8f9223c140a583e7f193df810d48555ac34;p=dsw-obn.git

Добавлены опережающие объявления процедур
---

diff --git a/notes b/notes
index 2bf0b29..0bf5789 100644
--- a/notes
+++ b/notes
@@ -1,12 +1,10 @@
-- не реализованы объявления процедур наперёд
-
+- нужно сделать объявление встроенных процедур
 - нету процедуры NEW
 - нету открытых массивов
 
 - нету секции import
 
-- не понятен результат присваивания статических структур (* reca := recb; *)
-- не понятен результат присваивания статических массивов (* arr1 := arr2; *)
+- нету операторов if, while и т.д.
 
 - нету типа set
 - не реализована свёртка констант
@@ -16,3 +14,5 @@
 - не работает присваивание к переменным-процедурам.
 - не реализован автокаст (libgccjit сам разруливает)
 - libgccjit не умеет в локальные функции (опять пилить костыли как в jvm)
+- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
+- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
diff --git a/oberon.c b/oberon.c
index ac695d3..4eb240b 100644
--- a/oberon.c
+++ b/oberon.c
@@ -286,6 +286,7 @@ oberon_find_var(oberon_scope_t * scope, char * name)
 }
 */
 
+/*
 static oberon_object_t *
 oberon_define_proc(oberon_scope_t * scope, char * name, oberon_type_t * signature)
 {
@@ -294,6 +295,7 @@ oberon_define_proc(oberon_scope_t * scope, char * name, oberon_type_t * signatur
 	proc -> type = signature;
 	return proc;
 }
+*/
 
 // =======================================================================
 //   SCANER
@@ -1401,6 +1403,34 @@ oberon_opt_formal_pars(oberon_context_t * ctx, oberon_type_t ** type)
 	}
 }
 
+static void
+oberon_compare_signatures(oberon_context_t * ctx, oberon_type_t * a, oberon_type_t * b)
+{
+	if(a -> num_decl != b -> num_decl)
+	{
+		oberon_error(ctx, "number parameters not matched");
+	}
+
+	int num_param = a -> num_decl;
+	oberon_object_t * param_a = a -> decl;
+	oberon_object_t * param_b = b -> decl;
+	for(int i = 0; i < num_param; i++)
+	{
+		if(strcmp(param_a -> name, param_b -> name) != 0)
+		{
+			oberon_error(ctx, "param %i name not matched", i + 1);
+		}
+
+		if(param_a -> type != param_b -> type)
+		{
+			oberon_error(ctx, "param %i type not matched", i + 1);
+		}
+
+		param_a = param_a -> next;
+		param_b = param_b -> next;
+	}
+}
+
 static void
 oberon_make_return(oberon_context_t * ctx, oberon_expr_t * expr)
 {
@@ -1430,34 +1460,13 @@ oberon_make_return(oberon_context_t * ctx, oberon_expr_t * expr)
 }
 
 static void
-oberon_proc_decl(oberon_context_t * ctx)
+oberon_proc_decl_body(oberon_context_t * ctx, oberon_object_t * proc)
 {
-	oberon_assert_token(ctx, PROCEDURE);
-
-	char * name;
-	name = oberon_assert_ident(ctx);
-
-	oberon_scope_t * this_proc_def_scope = ctx -> decl;
-	oberon_open_scope(ctx);
-	ctx -> decl -> local = 1;
-
-	oberon_type_t * signature;
-	signature = oberon_new_type_ptr(OBERON_TYPE_VOID);
-	oberon_opt_formal_pars(ctx, &signature);
-
-	oberon_object_t * proc;
-	proc = oberon_define_proc(this_proc_def_scope, name, signature);
-
-	// процедура как новый родительский объект
-	ctx -> decl -> parent = proc;
-
-	oberon_initialize_decl(ctx);
-	oberon_generator_init_proc(ctx, proc);
-
 	oberon_assert_token(ctx, SEMICOLON);
 
+	ctx -> decl = proc -> scope;
+
 	oberon_decl_seq(ctx);
-	oberon_generator_init_type(ctx, signature);
 
 	oberon_generate_begin_proc(ctx, proc);
 
@@ -1468,13 +1477,14 @@ oberon_proc_decl(oberon_context_t * ctx)
 	}
 
 	oberon_assert_token(ctx, END);
-	char * name2 = oberon_assert_ident(ctx);
-	if(strcmp(name2, name) != 0)
+	char * name = oberon_assert_ident(ctx);
+	if(strcmp(name, proc -> name) != 0)
 	{
 		oberon_error(ctx, "procedure name not matched");
 	}
 
-	if(signature -> base -> class == OBERON_TYPE_VOID)
+	if(proc -> type -> base -> class == OBERON_TYPE_VOID
+		&& proc -> has_return == 0)
 	{
 		oberon_make_return(ctx, NULL);
 	}
@@ -1488,6 +1498,69 @@ oberon_proc_decl(oberon_context_t * ctx)
 	oberon_close_scope(ctx -> decl);
 }
 
+static void
+oberon_proc_decl(oberon_context_t * ctx)
+{
+	oberon_assert_token(ctx, PROCEDURE);
+
+	int forward = 0;
+	if(ctx -> token == UPARROW)
+	{
+		oberon_assert_token(ctx, UPARROW);
+		forward = 1;
+	}
+
+	char * name;
+	name = oberon_assert_ident(ctx);
+
+	oberon_scope_t * proc_scope;
+	proc_scope = oberon_open_scope(ctx);
+	ctx -> decl -> local = 1;
+
+	oberon_type_t * signature;
+	signature = oberon_new_type_ptr(OBERON_TYPE_VOID);
+	oberon_opt_formal_pars(ctx, &signature);	
+
+	oberon_initialize_decl(ctx);
+	oberon_generator_init_type(ctx, signature);
+	oberon_close_scope(ctx -> decl);
+
+	oberon_object_t * proc;
+	proc = oberon_find_object(ctx -> decl, name, 0);
+	if(proc != NULL)
+	{
+		if(proc -> class != OBERON_CLASS_PROC)
+		{
+			oberon_error(ctx, "mult definition");
+		}
+
+		if(forward == 0)
+		{
+			if(proc -> linked)
+			{
+				oberon_error(ctx, "mult procedure definition");
+			}
+
+			oberon_compare_signatures(ctx, proc -> type, signature);
+		}
+	}
+	else
+	{
+		proc = oberon_define_object(ctx -> decl, name, OBERON_CLASS_PROC);
+		proc -> type = signature;
+		proc -> scope = proc_scope;
+		oberon_generator_init_proc(ctx, proc);
+	}
+
+	proc -> scope -> parent = proc;
+
+	if(forward == 0)
+	{
+		proc -> linked = 1;
+		oberon_proc_decl_body(ctx, proc);
+	}
+}
+
 static void
 oberon_const_decl(oberon_context_t * ctx)
 {
@@ -1975,6 +2048,24 @@ oberon_initialize_decl(oberon_context_t * ctx)
 	}	
 }
 
+static void
+oberon_prevent_undeclarated_procedures(oberon_context_t * ctx)
+{
+	oberon_object_t * x = ctx -> decl -> list;
+
+	while(x -> next)
+	{
+		if(x -> next -> class == OBERON_CLASS_PROC)
+		{
+			if(x -> next -> linked == 0)
+			{
+				oberon_error(ctx, "unresolved forward declaration");
+			}
+		}
+		x = x -> next;
+	}	
+}
+
 static void
 oberon_decl_seq(oberon_context_t * ctx)
 {
@@ -2016,6 +2107,8 @@ oberon_decl_seq(oberon_context_t * ctx)
 		oberon_proc_decl(ctx);
 		oberon_assert_token(ctx, SEMICOLON);
 	}
+
+	oberon_prevent_undeclarated_procedures(ctx);
 }
 
 static void
diff --git a/oberon.h b/oberon.h
index 9d17afd..f84d332 100644
--- a/oberon.h
+++ b/oberon.h
@@ -158,6 +158,7 @@ struct oberon_object_s
 	int initialized;
 
 	oberon_object_t * parent;
+	oberon_scope_t * scope; // for proc
 	int has_return; // for proc
 
 
diff --git a/test.c b/test.c
index 44b8465..b07a08d 100644
--- a/test.c
+++ b/test.c
@@ -10,16 +10,19 @@ static const char source[] =
 	"	i : INTEGER;"
 	"	j : INTEGER;"
 	""
-	"PROCEDURE Tier(VAR x : INTEGER);"
-	"VAR"
-	"	z : INTEGER;"
+	"PROCEDURE ^ Tier(x : INTEGER);"
+	""
+	"PROCEDURE Tier(x : INTEGER);"
+	"VAR a : INTEGER;"
 	"BEGIN;"
-	"	x := i;"
+	"	a := 1;"
 	"END Tier;"
 	""
+	"PROCEDURE ^ Tier(x : INTEGER);"
+	""
 	"BEGIN;"
 	"	i := 666;"
-	"	Tier(j);"
+	"	Tier(1);"
 	"END Test."
 ;