static kbool_t array_defineMethod(KonohaContext *kctx, kNameSpace *ns, KTraceInfo *trace)
{
KRequireKonohaCommonModule(trace);
KImportPackageSymbol(ns, "cstyle", "[]", trace);
KDEFINE_INT_CONST ClassData[] = { // add Array as available
{"Array", VirtualType_KonohaClass, (uintptr_t)CT_(TY_Array)},
{NULL},
};
KLIB kNameSpace_LoadConstData(kctx, ns, KonohaConst_(ClassData), false/*isOverride*/, trace);
KonohaClass *CT_ArrayT0 = CT_p0(kctx, CT_Array, TY_0);
kattrtype_t TY_ArrayT0 = CT_ArrayT0->typeId;
kparamtype_t p[] = {{TY_0}};
kattrtype_t TY_FuncMap = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_0 , 1, p))->typeId;
kparamtype_t P_inject[] = {{TY_0},{TY_0}};
kattrtype_t TY_FuncInject = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_0 , 2, P_inject))->typeId;
KDEFINE_METHOD MethodData[] = {
_Public|_Im, _F(Array_get), TY_0, TY_Array, MN_("get"), 1, TY_int, FN_("index"),
_Public, _F(Array_set), TY_void, TY_Array, MN_("set"), 2, TY_int, FN_("index"), TY_0, FN_("value"),
_Public|_Im, _F(Array_removeAt), TY_0, TY_Array, MN_("removeAt"), 1, TY_int, FN_("index"),
_Public|_Const, _F(Array_getSize), TY_int, TY_Array, MN_("getSize"), 0,
_Public|_Const, _F(Array_getSize), TY_int, TY_Array, MN_("getlength"), 0,
_Public, _F(Array_clear), TY_void, TY_Array, MN_("clear"), 0,
_Public, _F(Array_Add1), TY_void, TY_Array, MN_("add"), 1, TY_0, FN_("value"),
_Public, _F(Array_Push), TY_int, TY_Array, MN_("push"), 1, TY_0, FN_("value"),
_Public, _F(Array_Pop), TY_0, TY_Array, MN_("pop"), 0,
_Public, _F(Array_shift), TY_0, TY_Array, MN_("shift"), 0,
_Public, _F(Array_unshift), TY_int, TY_Array, MN_("unshift"), 1, TY_0, FN_("value"),
_Public, _F(Array_reverse), TY_Array, TY_Array, MN_("reverse"), 0,
// _Public|_Im, _F(Array_map), TY_ArrayT0, TY_Array, MN_("map"), 1, TY_FuncMap, FN_("func"),
// _Public|_Im, _F(Array_inject), TY_0, TY_Array, MN_("inject"), 1, TY_FuncInject, FN_("func"),
_Public, _F(Array_concat), TY_ArrayT0, TY_Array, MN_("concat"), 1, TY_ArrayT0, FN_("a1"),
_Public, _F(Array_indexOf), TY_int, TY_Array, MN_("indexOf"), 1, TY_0, FN_("value"),
_Public, _F(Array_lastIndexOf), TY_int, TY_Array, MN_("lastIndexOf"), 1, TY_0, FN_("value"),
// _Public, _F(Array_toString), TY_String, TY_Array, MN_("toString"), 0,
_Public|_Im, _F(Array_new), TY_void, TY_Array, MN_("new"), 1, TY_int, FN_("size"),
_Public, _F(Array_newArray), TY_Array, TY_Array, MN_("newArray"), 1, TY_int, FN_("size"),
_Public|kMethod_Hidden, _F(Array_newList), TY_Array, TY_Array, MN_("[]"), 0,
DEND,
};
KLIB kNameSpace_LoadMethodData(kctx, ns, MethodData, trace);
return true;
}
static void LoadNameSpaceMethodData(KonohaContext *kctx, kNameSpace *ns, int TY_symbol, KTraceInfo *trace)
{
int FN_keyword = SYM_("keyword");
int FN_func = SYM_("func");
/* Func[Int, Token, String] */
kparamtype_t P_FuncTokenize[] = {{TY_Token}, {TY_String}};
int TY_FuncToken = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_int, 2, P_FuncTokenize))->typeId;
/* Func[Int, Stmt, Int, Token[], Int, Int] */
kparamtype_t P_FuncPatternMatch[] = {{TY_Stmt}, {TY_int}, {TY_TokenArray}, {TY_int}, {TY_int}};
int TY_FuncPatternMatch = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_int, 5, P_FuncPatternMatch))->typeId;
/* Func[Expr, Stmt, Token[], Int, Int, Int] */
kparamtype_t P_FuncExpression[] = {{TY_Stmt}, {TY_TokenArray}, {TY_int}, {TY_int}, {TY_int}};
int TY_FuncExpression = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_Expr, 5, P_FuncExpression))->typeId;
/* Func[Boolean, Stmt, Gamma] */
kparamtype_t P_FuncStatement[] = {{TY_Stmt}, {TY_Gamma}};
int TY_FuncStatement = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_boolean, 2, P_FuncStatement))->typeId;
/* Func[Expr, Stmt, Expr, Gamma, Int] */
kparamtype_t P_FuncTypeCheck[] = {{TY_Stmt}, {TY_Expr}, {TY_Gamma}, {TY_int}};
int TY_FuncTypeCheck = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_Expr, 4, P_FuncTypeCheck))->typeId;
//DBG_P("func=%s", TY_t(TY_FuncTypeCheck));
KDEFINE_METHOD MethodData[] = {
_Public|_Im, _F(NameSpace_DefinedSyntax), TY_boolean, TY_NameSpace, MN_("definedSyntax"), 1, TY_symbol, FN_keyword,
_Public|_Im, _F(NameSpace_DefinedLiteral), TY_boolean, TY_NameSpace, MN_("definedLiteral"), 1, TY_symbol, FN_keyword,
_Public|_Im, _F(NameSpace_DefinedStatement), TY_boolean, TY_NameSpace, MN_("definedStatement"), 1, TY_symbol, FN_keyword,
_Public|_Im, _F(NameSpace_DefinedExpression), TY_boolean, TY_NameSpace, MN_("definedExpression"), 1, TY_symbol, FN_keyword,
_Public|_Im, _F(NameSpace_DefinedBinaryOperator), TY_boolean, TY_NameSpace, MN_("definedBinaryOperator"), 1, TY_symbol, FN_keyword,
// _Public, _F(NameSpace_compileAllDefinedMethods), TY_void, TY_NameSpace, MN_("compileAllDefinedMethods"), 0,
_Public, _F(NameSpace_setTokenFunc), TY_void, TY_NameSpace, MN_("setTokenFunc"), 3, TY_symbol, FN_keyword, TY_int, FN_("kchar"), TY_FuncToken, FN_func,
_Public, _F(NameSpace_AddPatternMatch), TY_void, TY_NameSpace, MN_("addPatternMatch"), 2, TY_symbol, FN_keyword, TY_FuncPatternMatch, FN_func,
_Public, _F(NameSpace_AddExpression), TY_void, TY_NameSpace, MN_("addExpression"), 2, TY_symbol, FN_keyword, TY_FuncExpression, FN_func,
_Public, _F(NameSpace_AddTopLevelStatement), TY_void, TY_NameSpace, MN_("addTopLevelStatement"), 2, TY_symbol, FN_keyword, TY_FuncStatement, FN_func,
_Public, _F(NameSpace_AddStatement), TY_void, TY_NameSpace, MN_("addStatement"), 2, TY_symbol, FN_keyword, TY_FuncStatement, FN_func,
_Public, _F(NameSpace_AddTypeCheck), TY_void, TY_NameSpace, MN_("addTypeCheck"), 2, TY_symbol, FN_keyword, TY_FuncTypeCheck, FN_func,
DEND,
};
KLIB kNameSpace_LoadMethodData(kctx, ns, MethodData, trace);
}
static kbool_t process_PackupNameSpace(KonohaContext *kctx, kNameSpace *ns, int option, KTraceInfo *trace)
{
kparamtype_t p = {TY_int};
KonohaClass *cintArray = KLIB KonohaClass_Generics(kctx, CT_(TY_Array), TY_void, 1, &p);
#define TY_intArray (cintArray->typeId)
KDEFINE_METHOD MethodData[] = {
_Public|_Static, _F(System_getpid), TY_int, TY_System, MN_("getpid"), 0,
_Public|_Static, _F(System_getppid), TY_int, TY_System, MN_("getppid"), 0,
_Public|_Static, _F(System_getuid), TY_int, TY_System, MN_("getuid"), 0,
_Public|_Static, _F(System_geteuid), TY_int, TY_System, MN_("geteuid"), 0,
_Public|_Static, _F(System_getgid), TY_int, TY_System, MN_("getgid"), 0,
_Public|_Static, _F(System_getegid), TY_int, TY_System, MN_("getegid"), 0,
_Public|_Static, _F(System_getpgid), TY_int, TY_System, MN_("getpgid"), 1, TY_int, FN_("pid"),
_Public|_Static, _F(System_setpgid), TY_int, TY_System, MN_("setpgid"), 2, TY_int, FN_("pid"), TY_int, FN_("pgid"),
_Public|_Static, _F(System_getpriority), TY_int, TY_System, MN_("getpriority"), 2, TY_int, FN_("which"), TY_int, FN_("who"),
_Public|_Static, _F(System_setpriority), TY_int, TY_System, MN_("setpriority"), 3, TY_int, FN_("which"), TY_int, FN_("who"), TY_int, FN_("priority"),
_Public|_Static, _F(System_getgroups), TY_int, TY_System, MN_("getgroups"), 2, TY_int, FN_("size"), TY_intArray, FN_("list[]"),
_Public|_Static, _F(System_setgroups), TY_int, TY_System, MN_("setgroups"), 2, TY_int, FN_("size"), TY_intArray, FN_("*list"),
_Public|_Static, _F(System_fork), TY_int, TY_System, MN_("fork"), 0,
_Public|_Static, _F(System_wait), TY_int, TY_System, MN_("wait"), 0,
_Public|_Static, _F(System_waitpid), TY_int, TY_System, MN_("wait"), 2, TY_int, FN_("pid"), TY_int, FN_("options"),
_Public|_Static, _F(System_setuid), TY_int, TY_System, MN_("setuid"), 1, TY_int, FN_("uid"),
_Public|_Static, _F(System_seteuid), TY_int, TY_System, MN_("seteuid"), 1, TY_int, FN_("euid"),
_Public|_Static, _F(System_setreuid), TY_int, TY_System, MN_("setreuid"), 2, TY_int, FN_("ruid"), TY_int, FN_("euid"),
_Public|_Static, _F(System_setgid), TY_int, TY_System, MN_("setgid"), 1, TY_int, FN_("gid"),
_Public|_Static, _F(System_setegid), TY_int, TY_System, MN_("setguid"), 1, TY_int, FN_("egid"),
_Public|_Static, _F(System_setregid), TY_int, TY_System, MN_("setrguid"), 2, TY_int, FN_("rgid"), TY_int, FN_("egid"),
_Public|_Static, _F(System_setsid), TY_int, TY_System, MN_("setsid"), 0,
_Public|_Static, _F(System_getsid), TY_int, TY_System, MN_("getsid"), 1, TY_int, FN_("pid"),
_Public|_Static, _F(System_sleep), TY_int, TY_System, MN_("sleep"), 1, TY_int, FN_("sec"),
_Public|_Static, _F(System_usleep), TY_boolean, TY_System, MN_("usleep"), 1, TY_int, FN_("usec"),
_Public|_Static, _F(System_system), TY_int, TY_System, MN_("system"), 1, TY_String, FN_("command"),
DEND,
};
KLIB kNameSpace_LoadMethodData(kctx, ns, MethodData, trace);
KDEFINE_INT_CONST intData[] = {
{KDefineConstInt(SIGHUP)},
{KDefineConstInt(SIGINT)},
{KDefineConstInt(SIGABRT)},
{KDefineConstInt(SIGKILL)},
/*for System.setpriority*/
{KDefineConstInt(PRIO_PROCESS)},
{KDefineConstInt(PRIO_PGRP)},
{KDefineConstInt(PRIO_USER)},
{}
};
KLIB kNameSpace_LoadConstData(kctx, ns, KonohaConst_(intData), false/*isOverride*/, trace);
return true;
}
static kbool_t JSON_initPackage(KonohaContext *kctx, kNameSpace *ns, int argc, const char**args, KTraceInfo *trace)
{
KRequirePackage("konoha.float", trace);
KDEFINE_CLASS JSONDef = {
STRUCTNAME(JSON),
.cflag = kClass_Final,
.init = kJSON_init,
.free = kJSON_free,
.p = kJSON_p,
};
KonohaClass *cJSON = KLIB kNameSpace_defineClass(kctx, ns, NULL, &JSONDef, trace);
kparamtype_t ps = {TY_JSON, FN_("json")};
KonohaClass *CT_JSONArray = KLIB KonohaClass_Generics(kctx, CT_Array, TY_JSON, 1, &ps);
ktype_t TY_JSONArray = CT_JSONArray->typeId;
int FN_key = FN_("key");
int FN_v = FN_("v");
KDEFINE_METHOD MethodData[] = {
_Public|_Const|_Static, _F(kJSON_parse), TY_JSON, TY_JSON, MN_("parse"), 1, TY_String, FN_("data"),
_Public|_Const|_Im, _F(kJSON_get), TY_JSON, TY_JSON, MN_("get"), 1, TY_String, FN_key,
_Public|_Const|_Im, _F(kJSON_getArray), TY_JSONArray, TY_JSON, MN_("getArray"), 1, TY_String, FN_key,
_Public|_Const|_Im, _F(kJSON_getBool), TY_boolean, TY_JSON, MN_("getBool"), 1, TY_String, FN_key,
_Public|_Const|_Im, _F(kJSON_getFloat), TY_float, TY_JSON, MN_("getFloat"), 1, TY_String, FN_key,
_Public|_Const|_Im, _F(kJSON_getInt), TY_int, TY_JSON, MN_("getInt"), 1, TY_String, FN_key,
_Public|_Const|_Im, _F(kJSON_getString), TY_String, TY_JSON, MN_("getString"), 1, TY_String, FN_key,
_Public, _F(kJSON_new), TY_JSON, TY_JSON, MN_("new"), 0,
_Public, _F(kJSON_set), TY_void, TY_JSON, MN_("set"), 2, TY_String, FN_key, TY_JSON, FN_("value"),
_Public|_Const|_Im, _F(kJSONArray_get), TY_JSON, TY_JSONArray, MN_("get"), 1, TY_int, FN_("index"),
_Public, _F(kJSONArray_append), TY_void, TY_JSONArray, MN_("add"), 1, TY_JSON, FN_v,
_Public, _F(kJSONArray_append), TY_void, TY_JSONArray, MN_("append"), 1, TY_JSON, FN_v,
_Public|_Const|_Im, _F(kJSONArray_getSize),TY_int, TY_JSONArray, MN_("getSize"),0,
DEND,
};
KLIB kNameSpace_loadMethodData(kctx, ns, MethodData);
return true;
}
static kbool_t sugar_PackupNameSpace(KonohaContext *kctx, kNameSpace *ns, int option, KTraceInfo *trace)
{
KonohaClass *cSymbol = defineSymbolClass(kctx, ns, trace);
KonohaClass *ccid = loadcidClass(kctx, ns, trace);
KDEFINE_INT_CONST ClassData[] = { // add Array as available
{"Token", VirtualType_KonohaClass, (uintptr_t)CT_Token},
{"Stmt", VirtualType_KonohaClass, (uintptr_t)CT_Stmt},
{"Expr", VirtualType_KonohaClass, (uintptr_t)CT_Expr},
{"Block", VirtualType_KonohaClass, (uintptr_t)CT_Block},
{"Gamma", VirtualType_KonohaClass, (uintptr_t)CT_Gamma},
{"NameSpace", VirtualType_KonohaClass, (uintptr_t)CT_NameSpace},
{"symbol", VirtualType_KonohaClass, (uintptr_t)cSymbol},
{NULL},
};
KLIB kNameSpace_LoadConstData(kctx, ns, KonohaConst_(ClassData), 0);
int TY_Symbol = cSymbol->typeId;
sugar_defineTokenFunc(kctx, ns, TY_Symbol, trace);
sugar_defineMessageMethod(kctx, ns, TY_Symbol, trace);
int FN_buildid = FN_("buildid"), FN_key = FN_("key"), FN_defval = FN_("defval");
int FN_typeid = FN_("typeid"), FN_gma = FN_("gma"), FN_pol = FN_("pol");
int FN_msg = FN_("msg");
int FN_x = FN_("x");
int FN_tokenList = FN_("tokens"), FN_s = FN_("s"), FN_e = FN_("e");
int FN_expr = FN_("expr");
/* Array[String] */
kparamtype_t P_StringArray[] = {{TY_String}};
int TY_StringArray = (KLIB KonohaClass_Generics(kctx, CT_Array, TY_void, 1, P_StringArray))->typeId;
ktype_t TY_symbol = cSymbol->typeId;
ktype_t TY_cid = ccid->typeId;
KDEFINE_METHOD MethodData[] = {
/* Token */
_Public, _F(Token_new), TY_Token, TY_Token, MN_("new"), 1, TY_symbol, FN_key,
_Public, _F(Token_setUnresolvedTokenType), TY_void, TY_Token, MN_("setUnresolvedTokenType"), 1, TY_symbol, FN_x,
_Public, _F(Token_setText), TY_void, TY_Token, MN_("setText"), 1, TY_String, FN_x,
_Public, _F(Token_setSubArray), TY_void, TY_Token, MN_("setSubArray"), 1, TY_StringArray, FN_x,
// _Public, _F(Token_isTypeName), TY_boolean, TY_Token, MN_("isTypeName"), 0,
_Public, _F(Token_isParenthesis), TY_boolean, TY_Token, MN_("isParenthesis"), 0,
_Public, _F(Token_getText), TY_String, TY_Token, MN_("getText"), 0,
_Public, _F(Token_isSymbol), TY_boolean, TY_Token, MN_("isSymbol"), 0,
_Public, _F(Token_newUntypedExpr), TY_Expr, TY_Token, MN_("newUntypedExpr"), 0,
_Public, _F(Token_isBeforeWhiteSpace), TY_boolean, TY_Token, MN_("isBeforeWhiteSpace"), 0,
/* Stmt */
_Public, _F(Stmt_getBuild), TY_int, TY_Stmt, MN_("getBuild"), 0,
_Public, _F(Stmt_setBuild), TY_void, TY_Stmt, MN_("setBuild"), 1, TY_int, FN_buildid,
_Public, _F(Stmt_getBlock), TY_Block, TY_Stmt, MN_("getBlock"), 2, TY_symbol, FN_key, TY_Block, FN_defval,
_Public, _F(Stmt_getToken), TY_Token, TY_Stmt, MN_("getToken"), 2, TY_symbol, FN_key, TY_Token, FN_defval,
_Public, _F(Stmt_getExpr), TY_Expr, TY_Stmt, MN_("getExpr"), 2, TY_symbol, FN_key, TY_Expr, FN_defval,
_Public, _F(Stmt_TypeCheckExpr), TY_boolean, TY_Stmt, MN_("TypeCheckExpr"), 3, TY_symbol, FN_key, TY_Gamma, FN_gma, TY_cid, FN_typeid,
_Public, _F(Stmt_TypeCheckExprPol), TY_boolean, TY_Stmt, MN_("TypeCheckExpr"), 4, TY_symbol, FN_key, TY_Gamma, FN_gma, TY_cid, FN_typeid, TY_int, FN_pol,
_Public, _F(Stmt_Message2rintError), TY_Expr, TY_Stmt, MN_("printError"), 1, TY_String, FN_msg,
_Public, _F(Stmt_newExpr), TY_Expr, TY_Stmt, MN_("newExpr"), 3, TY_TokenArray, FN_tokenList, TY_int, FN_s, TY_int, FN_e,
_Public, _F(Stmt_setType), TY_void, TY_Stmt, MN_("setType"), 1, TY_int, FN_x,
// _Public, _F(kStmt_Message2arsedExpr), TY_Expr, TY_Stmt, MN_("parseExpr"), 3, TY_TokenArray, FN_tokenList, TY_int, FN_s, TY_int, FN_e,
_Public, _F(Stmt_newUntypedCallStyleExpr2), TY_Expr, TY_Stmt, MN_("newUntypedCallStyleExpr"), 2, TY_Token, FN_("token"), TY_Expr, FN_("expr1"),
_Public, _F(Stmt_newUntypedCallStyleExpr3), TY_Expr, TY_Stmt, MN_("newUntypedCallStyleExpr"), 3, TY_Token, FN_("token"), TY_Expr, FN_("expr1"), TY_Expr, FN_("expr2"),
_Public, _F(Stmt_newUntypedCallStyleExpr4), TY_Expr, TY_Stmt, MN_("newUntypedCallStyleExpr"), 4, TY_Token, FN_("token"), TY_Expr, FN_("expr1"), TY_Expr, FN_("expr2"), TY_Expr, FN_("expr3"),
_Public, _F(Stmt_newUntypedCallStyleExpr5), TY_Expr, TY_Stmt, MN_("newUntypedCallStyleExpr"), 5, TY_Token, FN_("token"), TY_Expr, FN_("expr1"), TY_Expr, FN_("expr2"), TY_Expr, FN_("expr3"), TY_Expr, FN_("expr4"),
_Public, _F(Stmt_newUntypedCallStyleExpr6), TY_Expr, TY_Stmt, MN_("newUntypedCallStyleExpr"), 6, TY_Token, FN_("token"), TY_Expr, FN_("expr1"), TY_Expr, FN_("expr2"), TY_Expr, FN_("expr3"), TY_Expr, FN_("expr4"), TY_Expr, FN_("expr5"),
_Public, _F(Stmt_newTypedCallExpr1), TY_Expr, TY_Stmt, MN_("newTypedCallExpr"), 4, TY_Gamma, FN_gma, TY_cid, FN_typeid, TY_symbol, FN_("methodName"), TY_Expr, FN_("firstExpr"),
_Public, _F(Stmt_newTypedCallExpr2), TY_Expr, TY_Stmt, MN_("newTypedCallExpr"), 5, TY_Gamma, FN_gma, TY_cid, FN_typeid, TY_symbol, FN_("methodName"), TY_Expr, FN_("firstExpr"), TY_Expr, FN_("secondExpr"),
_Public, _F(Stmt_rightJoinExpr), TY_Expr, TY_Stmt, MN_("rightJoinExpr"), 4, TY_Expr, FN_expr, TY_TokenArray, FN_tokenList, TY_int, FN_s, TY_int, FN_e,
_Public, _F(Stmt_getTokenList), TY_TokenArray, TY_Stmt, MN_("getTokenList"), 2, TY_symbol, FN_key, TY_TokenArray, FN_defval,
_Public, _F(Stmt_done), TY_void, TY_Stmt, MN_("done"), 0,
_Public, _F(Stmt_setObject), TY_void, TY_Stmt, MN_("setExpr"), 2, TY_symbol, FN_key, TY_Expr, FN_expr,
_Public, _F(Stmt_setObject), TY_void, TY_Stmt, MN_("setBlock"), 2, TY_symbol, FN_key, TY_Block, FN_("block"),
_Public, _F(Stmt_declType), TY_boolean, TY_Stmt, MN_("declType"), 3, TY_Gamma, FN_gma, TY_cid, FN_typeid, TY_Expr, FN_("declExpr"),
_Public, _F(Stmt_newBlock), TY_Block, TY_Stmt, MN_("newBlock"), 1, TY_String, FN_("macro"),
/* Expr */
_Public, _F(Expr_getTermToken), TY_Token, TY_Expr, MN_("getTermToken"), 0,
_Public, _F(Expr_setConstValue), TY_Expr, TY_Expr, MN_("setConstValue"), 1, TY_Object, FN_("value") | FN_COERCION,
_Public, _F(Expr_setVariable), TY_Expr, TY_Expr, MN_("setVariable"), 4, TY_Gamma, FN_gma, TY_int, FN_buildid, TY_cid, FN_typeid, TY_int, FN_("index"),
_Public, _F(Expr_newVariableExpr), TY_Expr, TY_Expr, MN_("new"), 4, TY_Gamma, FN_gma, TY_int, FN_buildid, TY_cid, FN_typeid, TY_int, FN_("index"),
_Public, _F(Expr_new), TY_Expr, TY_Expr, MN_("new"), 1, TY_Object, FN_("value") | FN_COERCION,
_Public, _F(Expr_setType), TY_void, TY_Expr, MN_("setType"), 2, TY_int, FN_buildid, TY_cid, FN_typeid,
_Public, _F(kExpr_AddExpr), TY_Expr, TY_Expr, MN_("addExpr"), 1, TY_Expr, FN_expr,
/* Block */
_Public, _F(Block_TypeCheckAll), TY_boolean, TY_Block, MN_("TypeCheckAll"), 1, TY_Gamma, FN_gma,
/* Gamma */
_Public, _F(Gamma_declareLocalVariable), TY_int, TY_Gamma, MN_("declareLocalVariable"), 2, TY_cid, FN_typeid, TY_symbol, FN_key,
DEND,
};
KLIB kNameSpace_LoadMethodData(kctx, ns, MethodData, trace);
LoadNameSpaceMethodData(kctx, ns, TY_symbol, trace);
RENAMEME_InitNameSpace(kctx, ns, ns, trace);
return true;
}
#define TY_SockAddr cSockAddr->typeId
#define KDefineConstInt(T) #T, TY_int, T
static kbool_t socket_PackupNameSpace(KonohaContext *kctx, kNameSpace *ns, int option, KTraceInfo *trace)
{
KDEFINE_CLASS defSockAddr = {
STRUCTNAME(SockAddr),
.cflag = kClass_Final,
.init = SockAddr_Init,
.free = SockAddr_Free,
};
KonohaClass *cSockAddr = KLIB kNameSpace_DefineClass(kctx, ns, NULL, &defSockAddr, trace);
kparamtype_t pi = {TY_int, FN_("intValue")};
KonohaClass *CT_IntArray = KLIB KonohaClass_Generics(kctx, CT_Array, TY_int, 1, &pi);
ktype_t TY_intArray = CT_IntArray->typeId;
KDEFINE_METHOD MethodData[] = {
_Public|_Static|_Const|_Im, _F(System_accept), TY_int, TY_System, MN_("accept"), 2, TY_int, FN_("fd"), TY_SockAddr, FN_("sockaddr"),
_Public|_Static|_Const|_Im, _F(System_bind), TY_int, TY_System, MN_("bind"), 4, TY_int, FN_("fd"), TY_String, FN_("srcIP"), TY_int, FN_("srcPort"), TY_int, FN_("family"),
_Public|_Static|_Const|_Im, _F(System_close), TY_int, TY_System, MN_("close"), 1, TY_int, FN_("fd"),
_Public|_Static|_Const|_Im, _F(System_connect), TY_int, TY_System, MN_("connect"), 4, TY_int, FN_("fd"), TY_String, FN_("dstIP"), TY_int, FN_("dstPort"), TY_int, FN_("family"),
_Public|_Static|_Const|_Im, _F(System_listen), TY_int, TY_System, MN_("listen"), 2, TY_int, FN_("fd"), TY_int, FN_("backlog"),
// _Public|_Static|_Const|_Im, _F(System_getsockname), TY_Map TY_System, MN_("getsockname"),1, TY_int, FN_("fd"),
_Public|_Static|_Const|_Im, _F(System_getsockopt), TY_int, TY_System, MN_("getsockopt"), 2, TY_int, FN_("fd"), TY_int, FN_("opt"),
_Public|_Static|_Const|_Im, _F(System_setsockopt), TY_int, TY_System, MN_("setsockopt"), 3, TY_int, FN_("fd"), TY_int, FN_("opt"), TY_int, FN_("value"),
// _Public|_Static|_Const|_Im, _F(System_getpeername), TY_Map, TY_System, MN_("getpeername"), 1, TY_int, FN_("fd"),
_Public|_Static, _F(System_Select), TY_int, TY_System, MN_("select"), 5, TY_intArray, FN_("readsocks"), TY_intArray, FN_("writesocks"), TY_intArray, FN_("exceptsocks"), TY_int, FN_("timeoutSec"), TY_int, FN_("timeoutUSec"),
_Public|_Static|_Const|_Im, _F(System_shutdown), TY_int, TY_System, MN_("shutdown"), 2, TY_int, FN_("fd"), TY_int, FN_("how"),
_Public|_Static|_Const|_Im, _F(System_sockatmark), TY_int, TY_System, MN_("sockatmark"), 1, TY_int, FN_("fd"),
.cflag = kClass_Final,
.init = kMutex_Init,
.free = kMutex_Free,
};
KDEFINE_CLASS defCond = {
STRUCTNAME(Cond),
.cflag = kClass_Final,
.init = kCond_Init,
.free = kCond_Free,
};
KonohaClass *cThread = KLIB kNameSpace_DefineClass(kctx, ns, NULL, &defThread, trace);
KonohaClass *cMutex = KLIB kNameSpace_DefineClass(kctx, ns, NULL, &defMutex, trace);
KonohaClass *cCond = KLIB kNameSpace_DefineClass(kctx, ns, NULL, &defCond, trace);
kparamtype_t P_Func[] = {{}};
int TY_FUNC = (KLIB KonohaClass_Generics(kctx, CT_Func, TY_void, 0, P_Func))->typeId;
int FN_func = FN_("func");
int FN_x = FN_("x");
KDEFINE_METHOD MethodData[] = {
_Public|_Static, _F(Thread_create), TY_Thread, TY_Thread, MN_("create"), 1, TY_FUNC, FN_func,
_Public, _F(Thread_join) , TY_void, TY_Thread, MN_("join"), 0,
_Public, _F(Thread_exit) , TY_void, TY_Thread, MN_("exit"), 0,
_Public, _F(Thread_cancel) , TY_void, TY_Thread, MN_("cancel"), 0,
_Public, _F(Thread_detach) , TY_void, TY_Thread, MN_("detach"), 0,
_Public|_Static, _F(Thread_self) , TY_Thread , TY_Thread, MN_("self"), 0,
_Public, _F(Thread_equal) , TY_boolean, TY_Thread, MN_("equal"), 1, TY_Thread, FN_x,
_Public, _F(Mutex_new) , TY_Mutex, TY_Mutex, MN_("new"), 0,
_Public, _F(Mutex_lock) , TY_void, TY_Mutex, MN_("lock"), 0,
_Public, _F(Mutex_trylock) , TY_boolean, TY_Mutex, MN_("trylock"), 0,
_Public, _F(Mutex_unlock) , TY_void, TY_Mutex, MN_("unlock"), 0,
