diff --git a/src/oberon.c b/src/oberon.c
index e684e655df644a277dbc65955983efcc62d08b27..83f39cd2cebea39ac30fd54f1125ba11151bb045 100644 (file)
--- a/src/oberon.c
+++ b/src/oberon.c
}
static void
-oberon_skip_space(oberon_context_t * ctx)
+oberon_get_lined_char(oberon_context_t * ctx)
{
- while(isspace(ctx -> c))
+ do
{
if(ctx -> c == 0xD)
{
{
oberon_get_char(ctx);
}
+ } while(ctx -> c == 0xD || ctx -> c == 0xA);
+}
+
+static void
+oberon_skip_space(oberon_context_t * ctx)
+{
+ while(isspace(ctx -> c))
+ {
+ oberon_get_lined_char(ctx);
}
}
{
if(ctx -> c == '(')
{
- oberon_get_char(ctx);
+ oberon_get_lined_char(ctx);
if(ctx -> c == '*')
{
- oberon_get_char(ctx);
+ oberon_get_lined_char(ctx);
nesting += 1;
}
}
else if(ctx -> c == '*')
{
- oberon_get_char(ctx);
+ oberon_get_lined_char(ctx);
if(ctx -> c == ')')
{
- oberon_get_char(ctx);
+ oberon_get_lined_char(ctx);
nesting -= 1;
}
}
}
else
{
- oberon_get_char(ctx);
+ oberon_get_lined_char(ctx);
}
}
}
@@ -1283,6 +1292,7 @@ oberon_make_call_proc(oberon_context_t * ctx, oberon_item_t * item, int num_args
|| ((x) == CHAR) \
|| ((x) == STRING) \
|| ((x) == NIL) \
+ || ((x) == LBRACE) \
|| ((x) == LPAREN) \
|| ((x) == NOT))
@@ -1949,7 +1959,26 @@ oberon_make_bin_op(oberon_context_t * ctx, int token, oberon_expr_t * a, oberon_
break;
}
}
- else if(oberon_is_number_type(result))
+ else if(oberon_is_real_type(result))
+ {
+ switch(token)
+ {
+ case PLUS:
+ expr = oberon_new_operator(OP_ADD, result, a, b);
+ break;
+ case MINUS:
+ expr = oberon_new_operator(OP_SUB, result, a, b);
+ break;
+ case STAR:
+ expr = oberon_new_operator(OP_MUL, result, a, b);
+ break;
+ default:
+ printf("token %i line %i\n", token, ctx -> loc.line);
+ assert(0);
+ break;
+ }
+ }
+ else if(oberon_is_integer_type(result))
{
switch(token)
{
@@ -1962,7 +1991,14 @@ oberon_make_bin_op(oberon_context_t * ctx, int token, oberon_expr_t * a, oberon_
case STAR:
expr = oberon_new_operator(OP_MUL, result, a, b);
break;
+ case DIV:
+ expr = oberon_new_operator(OP_DIV, result, a, b);
+ break;
+ case MOD:
+ expr = oberon_new_operator(OP_MOD, result, a, b);
+ break;
default:
+ printf("token %i line %i\n", token, ctx -> loc.line);
assert(0);
break;
}
oberon_error(ctx, "procedure name not matched");
}
- if(proc -> type -> base -> class == OBERON_TYPE_NOTYPE
- && proc -> has_return == 0)
+ if(proc -> type -> base -> class == OBERON_TYPE_NOTYPE)
{
oberon_make_return(ctx, NULL);
}
@@ -2782,7 +2817,14 @@ oberon_prevent_recursive_pointer(oberon_context_t * ctx, oberon_type_t * type)
if(type -> recursive)
{
- oberon_error(ctx, "recursive pointer declaration");
+ if(type -> class == OBERON_TYPE_POINTER)
+ {
+ oberon_error(ctx, "recursive pointer declaration");
+ }
+ else
+ {
+ oberon_error(ctx, "recursive array declaration (pointer)");
+ }
}
if(type -> class == OBERON_TYPE_POINTER
@@ -2935,20 +2977,12 @@ static void oberon_initialize_type(oberon_context_t * ctx, oberon_type_t * type)
static void
oberon_initialize_record_fields(oberon_context_t * ctx, oberon_type_t * type)
{
- if(type -> class != OBERON_TYPE_RECORD)
- {
- return;
- }
+ assert(type -> class == OBERON_TYPE_RECORD);
int num_fields = type -> num_decl;
oberon_object_t * field = type -> decl;
for(int i = 0; i < num_fields; i++)
{
- if(field -> type -> class == OBERON_TYPE_POINTER)
- {
- oberon_initialize_type(ctx, field -> type);
- }
-
oberon_initialize_object(ctx, field);
field = field -> next;
}
type -> initialized = 1;
- if(type -> class == OBERON_TYPE_POINTER)
+ if(type -> class == OBERON_TYPE_POINTER || type -> class == OBERON_TYPE_ARRAY)
{
- oberon_initialize_type(ctx, type -> base);
- oberon_generator_init_type(ctx, type);
- }
- else if(type -> class == OBERON_TYPE_ARRAY)
- {
- if(type -> size != 0)
+ if(type -> class == OBERON_TYPE_ARRAY
+ && type -> size != 0
+ && type -> base -> class == OBERON_TYPE_ARRAY
+ && type -> base -> size == 0)
{
- if(type -> base -> class == OBERON_TYPE_ARRAY)
- {
- if(type -> base -> size == 0)
- {
- oberon_error(ctx, "open array not allowed as array element");
- }
- }
+ oberon_error(ctx, "open array not allowed as array element");
}
- oberon_initialize_type(ctx, type -> base);
- oberon_generator_init_type(ctx, type);
+ oberon_type_t * rec = type -> base;
+ while(rec -> class == OBERON_TYPE_ARRAY || rec -> class == OBERON_TYPE_POINTER)
+ {
+ rec = rec -> base;
+ }
+
+ if(rec -> class == OBERON_TYPE_RECORD
+ && rec -> initialized == 0)
+ {
+ rec -> initialized = 1;
+ oberon_generator_init_type(ctx, rec);
+ oberon_initialize_type(ctx, type -> base);
+ oberon_generator_init_type(ctx, type);
+ oberon_initialize_record_fields(ctx, rec);
+ }
+ else
+ {
+ oberon_initialize_type(ctx, type -> base);
+ oberon_generator_init_type(ctx, type);
+ }
}
else if(type -> class == OBERON_TYPE_RECORD)
{
+ printf("Init type: RECORD\n");
oberon_generator_init_type(ctx, type);
oberon_initialize_record_fields(ctx, type);
}
else if(type -> class == OBERON_TYPE_PROCEDURE)
{
+ printf("Init type: PROCEDURE\n");
int num_fields = type -> num_decl;
oberon_object_t * field = type -> decl;
for(int i = 0; i < num_fields; i++)
{
- //oberon_initialize_object(ctx, field);
oberon_initialize_type(ctx, field -> type);
field = field -> next;
}
oberon_error(ctx, "condition must be boolean");
}
- oberon_generate_branch(ctx, cond, true, begin);
+ oberon_generate_branch(ctx, cond, false, begin);
}
else if(ctx -> token == FOR)
{
@@ -3842,7 +3887,7 @@ oberon_make_abs_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_
arg = list_args;
oberon_check_src(ctx, arg);
- if(oberon_is_number_type(arg -> result))
+ if(!oberon_is_number_type(arg -> result))
{
oberon_error(ctx, "ABS accepts only numbers");
}
@@ -3876,7 +3921,7 @@ oberon_make_inc_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_
oberon_error(ctx, "too few arguments");
}
- if(num_args > 1)
+ if(num_args > 2)
{
oberon_error(ctx, "too mach arguments");
}
@@ -3890,8 +3935,24 @@ oberon_make_inc_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_
oberon_error(ctx, "expect integer");
}
+ oberon_expr_t * step;
+ if(num_args == 2)
+ {
+ step = list_args -> next;
+ oberon_check_src(ctx, step);
+ oberon_check_const(ctx, step);
+ if(!oberon_is_integer_type(step -> result))
+ {
+ oberon_error(ctx, "expect integer");
+ }
+ }
+ else
+ {
+ step = oberon_make_integer(ctx, 1);
+ }
+
oberon_expr_t * expr;
- expr = oberon_make_bin_op(ctx, PLUS, dst, oberon_make_integer(ctx, 1));
+ expr = oberon_make_bin_op(ctx, PLUS, dst, step);
oberon_assign(ctx, expr, dst);
}
@@ -3975,7 +4036,7 @@ oberon_make_dec_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_
oberon_error(ctx, "too few arguments");
}
- if(num_args > 1)
+ if(num_args > 2)
{
oberon_error(ctx, "too mach arguments");
}
@@ -3989,8 +4050,24 @@ oberon_make_dec_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_
oberon_error(ctx, "expect integer");
}
+ oberon_expr_t * step;
+ if(num_args == 2)
+ {
+ step = list_args -> next;
+ oberon_check_src(ctx, step);
+ oberon_check_const(ctx, step);
+ if(!oberon_is_integer_type(step -> result))
+ {
+ oberon_error(ctx, "expect integer");
+ }
+ }
+ else
+ {
+ step = oberon_make_integer(ctx, 1);
+ }
+
oberon_expr_t * expr;
- expr = oberon_make_bin_op(ctx, MINUS, dst, oberon_make_integer(ctx, 1));
+ expr = oberon_make_bin_op(ctx, MINUS, dst, step);
oberon_assign(ctx, expr, dst);
}
@@ -4458,7 +4535,7 @@ oberon_make_ord_call(oberon_context_t * ctx, int num_args, oberon_expr_t * list_
}
else
{
- expr = oberon_cast_expr(ctx, arg, ctx -> int_type);
+ expr = oberon_cast_expr(ctx, arg, ctx -> shortint_type);
}
return expr;
}
/* Types */
oberon_new_intrinsic_type(ctx, "BYTE", ctx -> system_byte_type);
oberon_new_intrinsic_type(ctx, "PTR", ctx -> system_ptr_type);
+ oberon_new_intrinsic_type(ctx, "INT32", ctx -> int_type);
+ oberon_new_intrinsic_type(ctx, "SET32", ctx -> set_type);
/* Functions */
oberon_new_intrinsic(ctx, "CC", oberon_make_cc_call, NULL);