Skip to content

Commit

Permalink
add compile error process
Browse files Browse the repository at this point in the history
  • Loading branch information
@shenao78
shenao78 committed Aug 11, 2021
1 parent 51af6f4 commit e8ed4e6
Show file tree
Hide file tree
Showing 15 changed files with 932 additions and 21 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,3 +55,5 @@ y.tab.h
y.tab.c
lex.yy.c
bin/*

.vscode/*
8 changes: 7 additions & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
output: main.o lex.o grammar.o create.o string.o compiler.o codegen.o opcode.o
output: main.o lex.o grammar.o create.o string.o compiler.o codegen.o opcode.o error.o debug.o wchar.o
$(CC) -o bin/main $^
main.o : main/main.c
$(CC) -c main/main.c
Expand All @@ -18,6 +18,12 @@ lex.o : compiler/lex.l grammar.o
$(CC) -c lex.yy.c -o lex.o
string.o : compiler/string.c
$(CC) -c $< -o string.o
wchar.o: share/wchar.c
$(CC) -c $< -o wchar.o
error.o: compiler/error.c
$(CC) -c $< -o error.o
debug.o: debug/debug.c
$(CC) -c $< -o debug.o

clean:
rm -f y.tab.*
Expand Down
8 changes: 7 additions & 1 deletion compiler/compiler.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,13 @@ static Compiler *st_current_compiler;
Compiler *create_compiler()
{
Compiler *compiler = (Compiler *)malloc(sizeof(Compiler));
compiler->func_definition_list = (FuncDefinition *)malloc(sizeof(FuncDefinition));
compiler->svm_constant_count = 0;
compiler->svm_constant = NULL;
compiler->function_count = 0;
compiler->func_definition_list = NULL;
compiler->current_block = NULL;
compiler->declaration_list = NULL;
compiler->current_line_number = 0;
return compiler;
}

Expand Down
8 changes: 8 additions & 0 deletions compiler/create.c
View file
Original file line number Diff line number Diff line change
Expand Up @@ -51,6 +51,14 @@ Expression *alloc_unary_expression(ExpressionKind kind, Expression *unaryExpr)
return expr;
}

Expression *alloc_type_cast_expression(TypeSpecifier *type, Expression *unaryExpr)
{
Expression *expr = alloc_expression(TYPE_CAST_EXPRESSION);
expr->u.unary_expression = unaryExpr;
expr->type = type;
return expr;
}

Expression *alloc_binary_expression(ExpressionKind kind, Expression *left, Expression *right)
{
Expression *expr = alloc_expression(kind);
Expand Down
339 changes: 339 additions & 0 deletions compiler/error.c
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,339 @@
#include <stdio.h>
#include <stdlib.h>
#include <stdarg.h>
#include <string.h>
#include <assert.h>
#include "error.h"
#include "summoner.h"
#include "../include/DBG.h"
#include "../include/share.h"

#define LINE_BUF_SIZE (1024)

extern char *yytext;
static ErrorDefinition dkc_error_message_format[] = {
{"dummy"},
{"在($(token))附近发生语法错误"},
{"不正确的字符($(bad_char))"},
{"函数名重复($(name))"},
{"不正确的多字节字符。"},
{"预期外的宽字符串。"},
{"数组元素不能标识为final。"},
{"复合赋值运算符不能用于final值"},
{"函数的参数名重复($(name))。"},
{"变量名$(name)重复。"},
{"找不到变量或函数$(name)。"},
{"$(name)是函数名，但没有函数调用的()。"},
{"不能强制转型为派生类型。"},
{"不能将$(src)转型为$(dest)。"},
{"算数运算符的操作数类型不正确。"},
{"比较运算符的操作数类型不正确。"},
{"逻辑and/or运算符的操作数类型不正确。"},
{"减法运算符的操作数类型不正确。"},
{"逻辑非运算符的操作数类型不正确。"},
{"自增/自减运算符的操作数类型不正确。"},
{"函数调用运算符的操作数不是函数名。"},
{"找不到函数$(name)。"},
{"函数的参数数量错误。"},
{"赋值运算符的左边不是一个左边值。"},
{"标签$(label)不存在。"},
{"数组字面量必须至少有一个元素"},
{"下标运算符[]的左边不是数组类型"},
{"数组的下标不是int。"},
{"数组的大小不是int。"},
{"整数值不能被0除。"},
{"package名称过长"},
{"被require的文件不存在($(file))"},
{"require时发生错误($(status))。"},
{"同一个源文件中重复require了同一个包。"},
{"rename后的名称必须指定package。"},
{"重复声明了abstract。"},
{"重复声明了访问修饰符。"},
{"重复声明了override。"},
{"重复声明了virtual。"},
{"该类型不能使用成员运算符。"},
{"在类型$(class_name)中不存在成员$(member_name)。"},
{"成员$(member_name)是private的，不能访问。"},
{"没有实现abstract方法。"},
{"必须实现非abstract方法。"},
{"不能继承多个类。"},
{"Diksam中不能继承非abstract的类"
"(类$(name)不是abstract类)。"},
{"不能对abstract类($(name))使用new。"},
{"void类型的函数不能有返回值。"},
{"没有找到类$(name)。"},
{"成员$(member_name)被声明为构造方法。并不是方法。"},
{"用来new的方法$(member_name)并不是构造方法。"},
{"不能调用字段$(member_name)"},
{"尝试为方法$(member_name)赋值。"},
{"不能覆盖非virtual方法$(name)。"},
{"覆盖方法时必须使用override关键字($(name))。"},
{"在abstract类中，存在非abstract方法$(method_name)。"},
{"在没有超类的类中使用了super。"},
{"方法调用以外不能使用super。"},
{"不能引用super的字段。"},
{"$(name)是字段，不能覆盖。"},
{"重复的字段名$(name)。"},
{"数组中没有$(name)方法。"},
{"数组中没有$(name)方法。"},
{"instanceof的操作数必须是引用类型。"},
{"instanceof的右边的类型必须是引用类型。"},
{"instanceof的目标必须是类。"},
{"instanceof语句一直为真。"},
{"instanceof语句一直为假。"},
{"因为Diksam的接口间没有父子关系"
"instanceof语句一直为假。"},
{"向下转型的源类型必须是类。"},
{"向下转型的目标类型必须是类。"},
{"不需要进行向下转型。"},
{"尝试将父类转换为子类。"},
{"尝试转换没有继承关系的类。"},
{"因为Diksam的接口间没有父子关系"
"不能向下转型。"},
{"不能catch类以外的类型。"},
{"catch到的类$(class_name)不是Exception的子类。"},
{"不能throw类以外的类型。"},
{"throw的类$(class_name)不是Exception的子类。"},
{"catch之外不能出现没有操作数的throw。"},
{"$(statement_name)语句不能卸载finally块中。"},
{"找不到throws中声明的$(name)。"},
{"throws中声明的$(name)不是Exception的子类。"},
{"在throws块中声明的异常$(name)，必须在内部catch。"},
{"不能require文件本身。"},
{"if语句的条件表达式不是boolean型。"},
{"while语句的条件表达式不是boolean型。"},
{"for语句的条件表达式不是boolean型。"},
{"do while语句的条件表达式不是boolean型。"},
{"case块的表达式的类型不一致"},
{"$(name)为final变量。不能赋值。"},
{"$(name)为final字段。不能赋值。"},
{"final变量$(name)没有初始化。"},
{"被覆盖的方法$(name)的访问修饰符必须比超类的更严格。"},
{"方法或函数$(name)的参数数量错误。"},
{"方法或函数$(func_name)的第$(index)个参数"
"$(param_name)的类型错误。"},
{"方法或函数$(name)的返回值类型错误。"},
{"方法或函数$(func_name)描述的throws中含有不恰当的异常$(exception_name)。"},
{"不能直接调用构造方法。"},
{"找不到类型名$(name)。"},
{"枚举类型$(type_name)中没有$(enumerator_name)。"},
{"Diksam的接口之间不能继承（至今为止）。"},
{"不能从包外访问成员$(member_name)。"},
{"不能从包外访问类$(class_name)。"},
{"不能在类外使用this。"},
{"不能在类外使用super。"},
{"~运算符的操作数必须是int。"},
{"双目bite运算符的操作数必须是int或者boolean。"},
{"在C样式的注释中终止了文件。"},
{"在字符串字面量中终止了文件。"},
{"字符字面量中包含了2个以上的字符。"},
{"dummy"}
};

typedef struct
{
MessageArgumentType type;
char *name;
union
{
int int_val;
double double_val;
char *string_val;
void *pointer_val;
int character_val;
} u;
} MessageArgument;

static void
create_message_argument(MessageArgument *arg, va_list ap)
{
int index = 0;
MessageArgumentType type;

while ((type = va_arg(ap, MessageArgumentType)) != MESSAGE_ARGUMENT_END)
{
arg[index].type = type;
arg[index].name = va_arg(ap, char *);
switch (type)
{
case INT_MESSAGE_ARGUMENT:
arg[index].u.int_val = va_arg(ap, int);
break;
case DOUBLE_MESSAGE_ARGUMENT:
arg[index].u.double_val = va_arg(ap, double);
break;
case STRING_MESSAGE_ARGUMENT:
arg[index].u.string_val = va_arg(ap, char *);
break;
case POINTER_MESSAGE_ARGUMENT:
arg[index].u.pointer_val = va_arg(ap, void *);
break;
case CHARACTER_MESSAGE_ARGUMENT:
arg[index].u.character_val = va_arg(ap, int);
break;
case MESSAGE_ARGUMENT_END:
assert(0);
break;
default:
assert(0);
}
index++;
assert(index < MESSAGE_ARGUMENT_MAX);
}
}

static void
search_argument(MessageArgument *arg_list,
char *arg_name, MessageArgument *arg)
{
int i;

for (i = 0; arg_list[i].type != MESSAGE_ARGUMENT_END; i++)
{
if (!strcmp(arg_list[i].name, arg_name))
{
*arg = arg_list[i];
return;
}
}
assert(0);
}

wchar_t *
mbstowcs_alloc(int line_number, const char *src)
{
int len;
wchar_t *ret;

len = dvm_mbstowcs_len(src);
if (len < 0)
{
return NULL;
compile_error(line_number,
BAD_MULTIBYTE_CHARACTER_ERR,
MESSAGE_ARGUMENT_END);
}
ret = malloc(sizeof(wchar_t) * (len + 1));
dvm_mbstowcs(src, ret);

return ret;
}

static void
format_message(int line_number, ErrorDefinition *format, VWString *v,
va_list ap)
{
int i;
char buf[LINE_BUF_SIZE];
wchar_t wc_buf[LINE_BUF_SIZE];
int arg_name_index;
char arg_name[LINE_BUF_SIZE];
MessageArgument arg[MESSAGE_ARGUMENT_MAX];
MessageArgument cur_arg;
wchar_t *wc_format;

create_message_argument(arg, ap);

wc_format = mbstowcs_alloc(line_number, format->format);
DBG_assert(wc_format != NULL, ("wc_format is null.\n"));

for (i = 0; wc_format[i] != L'\0'; i++)
{
if (wc_format[i] != L'$')
{
dkc_vwstr_append_character(v, wc_format[i]);
continue;
}
assert(wc_format[i + 1] == L'(');
i += 2;
for (arg_name_index = 0; wc_format[i] != L')';
arg_name_index++, i++)
{
arg_name[arg_name_index] = dvm_wctochar(wc_format[i]);
}
arg_name[arg_name_index] = '\0';
assert(wc_format[i] == L')');

search_argument(arg, arg_name, &cur_arg);
switch (cur_arg.type)
{
case INT_MESSAGE_ARGUMENT:
sprintf(buf, "%d", cur_arg.u.int_val);
dvm_mbstowcs(buf, wc_buf);
dkc_vwstr_append_string(v, wc_buf);
break;
case DOUBLE_MESSAGE_ARGUMENT:
sprintf(buf, "%f", cur_arg.u.double_val);
dvm_mbstowcs(buf, wc_buf);
dkc_vwstr_append_string(v, wc_buf);
break;
case STRING_MESSAGE_ARGUMENT:
dvm_mbstowcs(cur_arg.u.string_val, wc_buf);
dkc_vwstr_append_string(v, wc_buf);
break;
case POINTER_MESSAGE_ARGUMENT:
sprintf(buf, "%p", cur_arg.u.pointer_val);
dvm_mbstowcs(buf, wc_buf);
dkc_vwstr_append_string(v, wc_buf);
break;
case CHARACTER_MESSAGE_ARGUMENT:
sprintf(buf, "%c", cur_arg.u.character_val);
dvm_mbstowcs(buf, wc_buf);
dkc_vwstr_append_string(v, wc_buf);
break;
case MESSAGE_ARGUMENT_END:
assert(0);
break;
default:
assert(0);
}
}
free(wc_format);
}

static void
self_check()
{
if (strcmp(dkc_error_message_format[0].format, "dummy") != 0)
{
DBG_panic(("compile error message format error.\n"));
}
if (strcmp(dkc_error_message_format
[COMPILE_ERROR_COUNT_PLUS_1]
.format,
"dummy") != 0)
{
DBG_panic(("compile error message format error. "
"COMPILE_ERROR_COUNT_PLUS_1..%d\n",
COMPILE_ERROR_COUNT_PLUS_1));
}
}

void compile_error(int line_number, CompileError id, ...)
{
va_list ap;
VWString message;

self_check();
va_start(ap, id);

message.string = NULL;
format_message(line_number,
&dkc_error_message_format[id],
&message, ap);
fprintf(stderr, "%3d:", line_number);
dvm_print_wcs_ln(stderr, message.string);
va_end(ap);

exit(1);
}

int yyerror(char const *str)
{
compile_error(get_current_compiler()->current_line_number,
PARSE_ERR,
STRING_MESSAGE_ARGUMENT, "token", yytext,
MESSAGE_ARGUMENT_END);

return 0;
}
Loading

0 comments on commit e8ed4e6

Please sign in to comment.