From 9e17ac5ff506785891f06e3beeba66185fc7f867 Mon Sep 17 00:00:00 2001 From: DeaDDooMER Date: Thu, 10 Aug 2017 13:16:27 +0300 Subject: [PATCH] =?utf8?q?=D0=98=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=BB=D0=B5?= =?utf8?q?=D0=BD=D0=B0=20=D0=B8=D0=BD=D0=B8=D1=86=D0=B8=D0=B0=D0=BB=D0=B8?= =?utf8?q?=D0=B7=D0=B0=D1=86=D0=B8=D1=8F=20=D0=B7=D0=B0=D0=BF=D0=B8=D1=81?= =?utf8?q?=D0=B5=D0=B9?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- Test.obn | 17 +++++++++++------ Test4.obn | 2 ++ notes | 3 +++ obn-dev-test.sh | 1 + src/backends/jvm/generator-jvm.c | 31 +++++++++++++++---------------- src/oberon.c | 2 +- 6 files changed, 33 insertions(+), 23 deletions(-) diff --git a/Test.obn b/Test.obn index 98ac0e2..363783e 100644 --- a/Test.obn +++ b/Test.obn @@ -1,12 +1,17 @@ MODULE Test; +TYPE + R1 = RECORD END; +(* R2 = RECORD (R1) END; *) + R3 = RECORD END; + VAR - a : POINTER TO RECORD END; - b : POINTER TO ARRAY OF INTEGER; - c : PROCEDURE; +(* + a : R1; + b : R2; +*) + c : R3; BEGIN - a := NIL; - b := NIL; - c := NIL; +(* a := b; *) END Test. diff --git a/Test4.obn b/Test4.obn index 132f864..fba34f9 100644 --- a/Test4.obn +++ b/Test4.obn @@ -10,3 +10,5 @@ BEGIN b := NIL; c := NIL; END Test4. + +Проверка присвоения NIL diff --git a/notes b/notes index 1e0a9e5..762ef89 100644 --- a/notes +++ b/notes @@ -1,3 +1,5 @@ +- Уточнить как должна работать проверка импорта на чтение. (8.1) + - Нет модуля SYSTEM - Нет функций ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT - Нет процедур ASSERT COPY DEC EXCL HALT INC INCL @@ -5,6 +7,7 @@ - Не реализована свёртка констант - Нужно пробежаться по стандарту и всё перепроверить. +- JVM: Импортируемые модули не инициализируются - JVM: Не реализовано полное сранение массивов. - JVM: Не реализовано полное сранение записей. - JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур. diff --git a/obn-dev-test.sh b/obn-dev-test.sh index 89592da..424cf4e 100755 --- a/obn-dev-test.sh +++ b/obn-dev-test.sh @@ -6,6 +6,7 @@ set -e ./obn-compile.sh Test # -a -- for asm as comments +# -noinner jad -o -b -noinner classes/* ./obn-run.sh Test diff --git a/src/backends/jvm/generator-jvm.c b/src/backends/jvm/generator-jvm.c index 90b0e88..5e74d18 100644 --- a/src/backends/jvm/generator-jvm.c +++ b/src/backends/jvm/generator-jvm.c @@ -475,20 +475,7 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type) memset(t, 0, sizeof *t); type -> gen_type = t; - if(type -> class != OBERON_TYPE_NOTYPE) - { - t -> wide = jvm_is_wide_type(type); - t -> prefix = jvm_get_prefix(type); - t -> postfix = jvm_get_postfix(type); - } - - t -> cell_size = jvm_cell_size_for_type(type); - - if(type -> class != OBERON_TYPE_NIL) - { - t -> desc = jvm_get_descriptor(type); - } - + gen_module_t * m; switch(type -> class) { case OBERON_TYPE_NOTYPE: @@ -503,8 +490,6 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type) case OBERON_TYPE_NIL: break; case OBERON_TYPE_RECORD: - ; - gen_module_t * m; m = type -> module -> gen_mod; oberon_generate_record_class(m, type); break; @@ -515,6 +500,20 @@ oberon_generator_init_type(oberon_context_t * ctx, oberon_type_t * type) gen_error("oberon_generator_init_type: unk calss %i", type -> class); break; } + + if(type -> class != OBERON_TYPE_NOTYPE) + { + t -> wide = jvm_is_wide_type(type); + t -> prefix = jvm_get_prefix(type); + t -> postfix = jvm_get_postfix(type); + } + + t -> cell_size = jvm_cell_size_for_type(type); + + if(type -> class != OBERON_TYPE_NIL) + { + t -> desc = jvm_get_descriptor(type); + } } void diff --git a/src/oberon.c b/src/oberon.c index 5a93489..349015d 100644 --- a/src/oberon.c +++ b/src/oberon.c @@ -1453,7 +1453,7 @@ oberon_make_record_selector(oberon_context_t * ctx, oberon_expr_t * expr, char * } } - int read_only = 0; + int read_only = expr -> read_only; if(field -> read_only) { if(field -> module != ctx -> mod) -- 2.29.2