From 3cd41dedaffe60018890cbe66baea63691fe62e8 Mon Sep 17 00:00:00 2001
From: DeaDDooMER <deaddoomer@deadsoftware.ru>
Date: Wed, 9 Aug 2017 17:05:35 +0300
Subject: [PATCH] =?utf8?q?=D0=94=D0=BE=D0=B1=D0=B0=D0=B2=D0=BB=D0=B5=D0=BD?=
 =?utf8?q?=D0=B0=20=D0=B7=D0=B0=D0=B3=D1=80=D1=83=D0=B7=D0=BA=D0=B0=20?=
 =?utf8?q?=D0=B8=D1=81=D1=85=D0=BE=D0=B4=D0=BD=D0=B8=D0=BA=D0=B0=20=D0=B8?=
 =?utf8?q?=D0=B7=20=D1=84=D0=B0=D0=B9=D0=BB=D0=B0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 Out.obn                              |  24 +++++
 Test.obn                             |   8 ++
 jvm_test.sh                          |   2 +-
 notes                                |   4 +-
 run.sh                               |   2 +-
 src/backends/jvm/generator-jvm-abi.c |  14 ---
 src/test.c                           | 155 +++++----------------------
 7 files changed, 64 insertions(+), 145 deletions(-)
 create mode 100644 Out.obn
 create mode 100644 Test.obn

diff --git a/Out.obn b/Out.obn
new file mode 100644
index 0000000..dce767c
--- /dev/null
+++ b/Out.obn
@@ -0,0 +1,24 @@
+MODULE Out;
+
+PROCEDURE Open*;
+END Open;
+
+PROCEDURE Char*(ch : CHAR);
+END Char;
+
+PROCEDURE String*(str : ARRAY OF CHAR);
+END String;
+
+PROCEDURE Int*(i, n : LONGINT);
+END Int;
+
+PROCEDURE Real*(x : REAL; n : INTEGER);
+END Real;
+
+PROCEDURE LongReal*(x : LONGREAL; n : INTEGER);
+END LongReal;
+
+PROCEDURE Ln*;
+END Ln;
+
+END Out.
diff --git a/Test.obn b/Test.obn
new file mode 100644
index 0000000..8249fb7
--- /dev/null
+++ b/Test.obn
@@ -0,0 +1,8 @@
+MODULE Test;
+
+IMPORT Out;
+
+BEGIN
+  Out.Open;
+  Out.String("Hello World!"); Out.Ln;
+END Test.
diff --git a/jvm_test.sh b/jvm_test.sh
index 6519656..4944b91 100755
--- a/jvm_test.sh
+++ b/jvm_test.sh
@@ -8,7 +8,7 @@ rm -rf classes
 rm -f *.j *.jad
 mkdir -p classes
 
-./run.sh
+./run.sh $*
 
 javac -d classes Launcher.java
 jasmin -d classes *.j
diff --git a/notes b/notes
index b6f9cdd..1e0a9e5 100644
--- a/notes
+++ b/notes
@@ -5,10 +5,10 @@
 - Не реализована свёртка констант
 - Нужно пробежаться по стандарту и всё перепроверить.
 
-- JVM: Не реализованы VAR-параметры.
-- JVM: Не реализованы локальные процедуры.
 - JVM: Не реализовано полное сранение массивов.
 - JVM: Не реализовано полное сранение записей.
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+    (Как минимум нужно каждой функции добавлять фрейм к параметрам)
 
 - Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
 - Любая ошибка фатальна
diff --git a/run.sh b/run.sh
index 58023d2..f53eb55 100755
--- a/run.sh
+++ b/run.sh
@@ -5,4 +5,4 @@ set -e
 export PATH="/usr/lib/gcc/x86_64-pc-linux-gnu/7.1.1:${PATH}"
 export LIBRARY_PATH="/usr/lib/gcc/x86_64-pc-linux-gnu/7.1.1:${LIBRARY_PATH}"
 
-exec ./a.out
+exec ./a.out $*
diff --git a/src/backends/jvm/generator-jvm-abi.c b/src/backends/jvm/generator-jvm-abi.c
index a750b92..ddaf45f 100644
--- a/src/backends/jvm/generator-jvm-abi.c
+++ b/src/backends/jvm/generator-jvm-abi.c
@@ -15,20 +15,6 @@
 #include "generator-jvm-asm.h"
 #include "generator-jvm-basic.h"
 
-/*
- *   --- Каждый модуль является объектом.
- *       Импортируемые модули представляются полями.
- *       Каждая глобальная переменная представляется не статическим полем.
- *       Каждая процедура представляется не статическим метеодом.
- *       Процедура инициализации модуля имеет название BEGIN.
- *       Процедура финализации модуля имеет название END.
- *         Это позволит сделать динамическую загрузку и выгрузку.
- *   +++ всем переменным и полям в дескриптор добавляется "["
- *         Это позволит делать ссылки на переменные в VAR-параметрах.
- *   --- Каждая процедура снабжается параметром-фреймом.
- *         Это позволит реализовать локальные процедуры и средства рефлекции над стеком.
- */ 
-
 void
 jvm_generate_ldst_prepare(gen_proc_t * p, gen_var_t * v)
 {
diff --git a/src/test.c b/src/test.c
index ad95a34..8029be7 100644
--- a/src/test.c
+++ b/src/test.c
@@ -1,158 +1,59 @@
 #include <stdio.h>
+#include <stdlib.h>
 #include <string.h>
 #include <assert.h>
 
 #include "../include/oberon.h"
 
-static char source_test[] =
-	"(* Main module *)"
-	"MODULE Test;"
-	"IMPORT Out;"
-	""
-	"VAR i : INTEGER;"
-	""
-	"PROCEDURE X(VAR x : INTEGER; y : INTEGER);"
-	"  VAR"
-	"    q, w, r : INTEGER;"
-	"  PROCEDURE Y;"
-	"    VAR levY : INTEGER;"
-	"  BEGIN"
-	"    x := 3345;"
-	"    q := 666;"
-	"  END Y;"
-	"BEGIN"
-	"  x := 54646;"
-	"  q := 1;"
-	"  Y;"
-	"  Out.String('Pos Y: q = '); Out.Int(q, 0); Out.Ln;"
-	"END X;"
-	""
-	"BEGIN;"
-	"  i := 1;"
-	"  X(i, i);"
-	"  Out.Int(i, 0); Out.Ln;"
-	"END Test."
-;
-
-static char source_out[] =
-	"MODULE Out;"
-	"  PROCEDURE Open*;"
-	"  END Open;"
-	""
-	"  PROCEDURE Char* (ch : CHAR);"
-	"  END Char;"
-	""
-	"  PROCEDURE String* (str : ARRAY OF CHAR);"
-	"  END String;"
-	""
-	"  PROCEDURE Int*(i, n : LONGINT);"
-	"  END Int;"
-	""
-	"  PROCEDURE Real*(x : REAL; n : INTEGER);"
-	"  END Real;"
-	""
-	"  PROCEDURE LongReal*(x : LONGREAL; n : INTEGER);"
-	"  END LongReal;"
-	""
-	"  PROCEDURE Ln*;"
-	"  END Ln;"
-	""
-	"END Out."
-;
-
 static oberon_context_t * ctx;
 static oberon_module_t * mod;
 
 static const char *
 import_module(const char * name)
 {
-	if(strcmp(name, "Test") == 0)
-	{
-		return source_test;
-	}
-	else if(strcmp(name, "Out") == 0)
-	{
-		return source_out;
-	}
-	else
-	{
-		return NULL;
-	}
-}
-
-typedef void (*TOutOpen)();
-static TOutOpen * OutOpenPtr;
-void ImplOutOpen()
-{
-}
+	assert(name);
 
-typedef void (*TOutInt)(int, int);
-static TOutInt * OutIntPtr;
-void ImplOutInt(int i, int n)
-{
-	char number[22];
-	snprintf(number, 22, "%d", i);
-	int len = strlen(number);
-	for(int i = 0; i < n - len; i++)
+	FILE * fp;
+	char fname[256];
+	snprintf(fname, 256, "%s.obn", name);
+	fp = fopen(fname, "r");
+	if(fp == NULL)
 	{
-		putchar(' ');
+		printf("can't open file %s\n", fname);
+		exit(1);
+		return NULL;
 	}
-	printf("%s", number);
-}
 
-typedef void (*TOutReal)(float, int);
-static TOutReal * OutRealPtr;
-void ImplOutReal(float i, int n)
-{
-	char number[32];
-	snprintf(number, 32, "%F", i);
-	int len = strlen(number);
-	for(int i = 0; i < n - len; i++)
-	{
-		putchar(' ');
-	}
-	printf("%s", number);
-}
+	char * source;
+	size_t len;
 
-typedef void (*TOutLn)();
-static TOutLn * OutLnPtr;
-void ImplOutLn()
-{
-	putchar('\n');
-}
+	fseek(fp, 0, SEEK_END);
+	len = ftell(fp);
+	fseek(fp, 0, SEEK_SET);
 
-void init_system_modules()
-{
-	OutOpenPtr = oberon_generator_get_var(ctx, "Out_Open");
-	*OutOpenPtr = ImplOutOpen;
-	OutIntPtr = oberon_generator_get_var(ctx, "Out_Int");
-	*OutIntPtr = ImplOutInt;
-	OutRealPtr = oberon_generator_get_var(ctx, "Out_Real");
-	*OutRealPtr = ImplOutReal;
-	OutLnPtr = oberon_generator_get_var(ctx, "Out_Ln");
-	*OutLnPtr = ImplOutLn;
-}
+	source = calloc(1, len + 1);
+	fread(source, len, 1, fp);
 
-void start_module()
-{
-	void (*begin)() = oberon_generator_get_procedure(ctx, "Test_BEGIN");
-	begin();
+	return source;
 }
 
 int
 main(int argc, char ** argv)
 {
-	ctx = oberon_create_context(import_module);
-	mod = oberon_compile_module(ctx, source_test);
-
-	oberon_generate_code(ctx);
+	const char * code;
 
-//	init_system_modules();
+	if(argc != 2)
+	{
+		printf("use: %s <source>\n", argv[0]);
+		return 1;
+	}
 
-//	oberon_generator_dump(ctx, "dump.txt");
+	code = import_module(argv[1]);
 
-//	start_module();
+	ctx = oberon_create_context(import_module);
+	mod = oberon_compile_module(ctx, code);
 
+	oberon_generate_code(ctx);
 	oberon_destroy_context(ctx);
 	return 0;
 }
-- 
2.29.2