static KMETHOD Statement_class(KonohaContext *kctx, KonohaStack *sfp)
{
VAR_Statement(stmt, gma);
kToken *tokenClassName = SUGAR kStmt_GetToken(kctx, stmt, SYM_("$ClassName"), NULL);
kNameSpace *ns = Stmt_ns(stmt);
int isNewlyDefinedClass = false;
KonohaClassVar *definedClass = (KonohaClassVar *)KLIB kNameSpace_GetClassByFullName(kctx, ns, S_text(tokenClassName->text), S_size(tokenClassName->text), NULL);
if(definedClass == NULL) { // Already defined
kshortflag_t cflag = kStmt_ParseClassFlag(kctx, stmt, kClass_Virtual);
KMakeTraceUL(trace, sfp, stmt->uline);
definedClass = kNameSpace_DefineClassName(kctx, ns, cflag, tokenClassName->text, trace);
isNewlyDefinedClass = true;
}
kBlock *bk = kStmt_ParseClassBlockNULL(kctx, stmt, tokenClassName);
size_t declsize = kBlock_countFieldSize(kctx, bk);
if(isNewlyDefinedClass) { // Already defined
KonohaClass *superClass = CT_Object;
kToken *tokenSuperClass= SUGAR kStmt_GetToken(kctx, stmt, SYM_("extends"), NULL);
if(tokenSuperClass != NULL) {
DBG_ASSERT(Token_isVirtualTypeLiteral(tokenSuperClass));
superClass = CT_(Token_typeLiteral(tokenSuperClass));
if(CT_is(Final, superClass)) {
SUGAR kStmt_Message2(kctx, stmt, NULL, ErrTag, "%s is final", CT_t(superClass));
KReturnUnboxValue(false);
}
if(CT_is(Virtual, superClass)) {
SUGAR kStmt_Message2(kctx, stmt, NULL, ErrTag, "%s is still virtual", CT_t(superClass));
KReturnUnboxValue(false);
}
}
size_t initsize = (bk != NULL) ? declsize : initFieldSizeOfVirtualClass(superClass);
KonohaClass_InitField(kctx, definedClass, superClass, initsize);
}
else {
if(declsize > 0 && !CT_is(Virtual, definedClass)) {
SUGAR kStmt_Message2(kctx, stmt, NULL, ErrTag, "%s has already defined", CT_t(definedClass));
KReturnUnboxValue(false);
}
}
if(bk != NULL) {
if(!kBlock_declClassField(kctx, bk, gma, definedClass)) {
KReturnUnboxValue(false);
}
CT_set(Virtual, definedClass, false);
}
kToken_setTypeId(kctx, tokenClassName, ns, definedClass->typeId);
kBlock_AddMethodDeclStmt(kctx, bk, tokenClassName, stmt);
kStmt_done(kctx, stmt);
KReturnUnboxValue(true);
}
static void DumpVisitor_visitLocalExpr(KonohaContext *kctx, IRBuilder *self, kExpr *expr)
{
char buf[128];
snprintf(buf, 128, "LOCAL(%d, %s)", (int)expr->index, CT_t(CT_(expr->ty)));
emit_string(buf, "", "", DUMPER(self)->indent);
}
static void dumpOPCODE(KonohaContext *kctx, VirtualMachineInstruction *c, VirtualMachineInstruction *pc_start)
{
size_t i, size = OPDATA[c->opcode].size;
const kushort_t *vmt = OPDATA[c->opcode].types;
if(pc_start == NULL) {
DUMP_P("[%p:%d]\t%s(%d)", c, c->line, T_opcode(c->opcode), (int)c->opcode);
}
else {
DUMP_P("[L%d:%d]\t%s(%d)", (int)(c - pc_start), c->line, T_opcode(c->opcode), (int)c->opcode);
}
for(i = 0; i < size; i++) {
DUMP_P(" ");
switch(vmt[i]) {
case VMT_VOID: break;
case VMT_ADDR:
if(pc_start == NULL) {
DUMP_P("%p", c->p[i]);
}
else {
DUMP_P("L%d", (int)((VirtualMachineInstruction*)c->p[i] - pc_start));
}
break;
case VMT_R:
DUMP_P("sfp[%d,r=%d]", (int)c->data[i]/2, (int)c->data[i]);
break;
case VMT_U:
DUMP_P("u%lu", c->data[i]); break;
case VMT_I:
case VMT_INT:
DUMP_P("i%ld", c->data[i]); break;
case VMT_F:
DUMP_P("function(%p)", c->p[i]); break;
case VMT_CID:
DUMP_P("CT(%s)", CT_t(c->ct[i])); break;
case VMT_CO:
DUMP_P("CT(%s)", CT_t(O_ct(c->o[i]))); break;
}/*switch*/
}
DUMP_P("\n");
}
static void DumpVisitor_visitConstExpr(KonohaContext *kctx, IRBuilder *self, kExpr *expr)
{
KGrowingBuffer wb;
KLIB Kwb_init(&(kctx->stack->cwb), &wb);
KonohaStack sfp[1];
kObject *obj = expr->objectConstValue;
sfp[0].asObject = obj;
O_ct(obj)->p(kctx, sfp, 0, &wb, 0);
char *str = (char *) KLIB Kwb_top(kctx, &wb, 0);
char buf[128];
snprintf(buf, 128, "CONST:%s:'%s'", CT_t(O_ct(obj)), str);
emit_string(buf, "", "", DUMPER(self)->indent);
KLIB Kwb_free(&wb);
}
static void DumpVisitor_visitNullExpr(KonohaContext *kctx, IRBuilder *self, kExpr *expr)
{
char buf[128];
snprintf(buf, 128, "%s.NULL", CT_t(CT_(expr->ty)));
emit_string(buf, "", "", DUMPER(self)->indent);
}
