static KMETHOD Statement_for(KonohaContext *kctx, KonohaStack *sfp)
{
VAR_Statement(stmt, gma);
DBG_P("for statement .. ");
int isOkay = false;
if(SUGAR kStmt_TypeCheckByName(kctx, stmt, KW_ExprPattern, gma, CT_INFER, 0)) {
kNameSpace *ns = Stmt_ns(stmt);
kToken *TypeToken = SUGAR kStmt_GetToken(kctx, stmt, KW_TypePattern, NULL);
kToken *VariableToken = SUGAR kStmt_GetToken(kctx, stmt, KW_SymbolPattern, NULL);
DBG_P("typeToken=%p, varToken=%p", TypeToken, VariableToken);
kExpr *IteratorExpr = SUGAR kStmt_GetExpr(kctx, stmt, KW_ExprPattern, NULL);
if(!TY_isIterator(IteratorExpr->attrTypeId)) {
kMethod *mtd = KLIB kNameSpace_GetMethodByParamSizeNULL(kctx, ns, CT_(IteratorExpr->attrTypeId), MN_to(TY_Iterator), 0, MethodMatch_NoOption);
if(mtd == NULL) {
kStmtExpr_Message(kctx, stmt, IteratorExpr, ErrTag, "expected Iterator expression after in");
KReturnUnboxValue(false);
}
IteratorExpr = SUGAR new_TypedCallExpr(kctx, stmt, gma, CT_INFER, mtd, 1, IteratorExpr);
kStmt_setObject(kctx, stmt, KW_ExprPattern, IteratorExpr);
}
kBlock *block = new_MacroBlock(kctx, stmt, new_TypeToken(kctx, ns, CT_(IteratorExpr->attrTypeId)), new_ParsedExprToken(kctx, ns, IteratorExpr), TypeToken, VariableToken);
kStmt *IfStmt = block->StmtList->StmtItems[1]; // @see macro;
kStmt_appendBlock(kctx, IfStmt, SUGAR kStmt_GetBlock(kctx, stmt, ns, KW_BlockPattern, NULL));
kStmt_Set(CatchBreak, IfStmt, true);
kStmt_Set(CatchContinue, IfStmt, true);
isOkay = SUGAR kBlock_TypeCheckAll(kctx, block, gma);
if(isOkay) {
kStmt_typed(IfStmt, LOOP);
kStmt_setObject(kctx, stmt, KW_BlockPattern, block);
kStmt_typed(stmt, BLOCK);
}
}
KReturnUnboxValue(isOkay);
}
//## Expr Stmt.newTypedCallExpr(Gamma gma, cid typeId, symbol methodName, Expr firstExpr);
static KMETHOD Stmt_newTypedCallExpr1(KonohaContext *kctx, KonohaStack *sfp)
{
kStmt *stmt = sfp[0].asStmt;
kGamma *gma = sfp[1].asGamma;
ktype_t cid = (ktype_t)sfp[2].intValue;
ksymbol_t methodName = (ksymbol_t)sfp[3].intValue;
kExpr *firstExpr = sfp[4].asExpr;
kMethod *method = KLIB kNameSpace_GetMethodByParamSizeNULL(kctx, Stmt_ns(stmt), cid, methodName, 1);
if(method == NULL) {
KReturn(KNULL(Expr));
}
KReturn(SUGAR new_TypedCallExpr(kctx, stmt, gma, cid, method, 1, firstExpr));
}
static kStmt* TypeDeclAndMakeSetter(KonohaContext *kctx, kStmt *stmt, kGamma *gma, ktype_t ty, kExpr *termExpr, kExpr *valueExpr, kObject *scr)
{
kNameSpace *ns = Stmt_ns(stmt);
kMethod *mtd = Object_newProtoSetterNULL(kctx, stmt, scr, ty, termExpr->termToken->resolvedSymbol);
if(mtd != NULL) {
kExpr *recvExpr = new_ConstValueExpr(kctx, O_typeId(scr), scr);
kExpr *setterExpr = SUGAR new_TypedCallExpr(kctx, stmt, gma, TY_void, mtd, 2, recvExpr, valueExpr);
kStmt *newstmt = new_(Stmt, stmt->uline, OnGcStack);
kStmt_setsyn(newstmt, SYN_(ns, KW_ExprPattern));
KLIB kObject_setObject(kctx, newstmt, KW_ExprPattern, TY_Expr, setterExpr);
return newstmt;
}
return NULL;
}
