diff --git a/lib/src/main/cpp/java_type.cpp b/lib/src/main/cpp/java_type.cpp
index 38cc4dd..b37776f 100644
--- a/lib/src/main/cpp/java_type.cpp
+++ b/lib/src/main/cpp/java_type.cpp
@@ -1,691 +1,694 @@
-
-#include "java_type.h"
-#include "utf8.h"
-
-jmethodID JavaType::sGetComponentType;
-jmethodID JavaType::sFindMembers;
-jmethodID JavaType::sFindMockName;
-jmethodID JavaType::sGetSingleInterface;
-jmethodID JavaType::sIsTableType;
-jmethodID JavaType::sTableConvert;
-jmethodID JavaType::sIsInterface;
-
-jobject JavaType::newObject(ThreadContext *context, Vector<JavaType *> &types, Vector<ValidLuaObject> &params) {
-    TJNIEnv *env = context->env;
-    const MethodInfo *info = findMethod(env, FakeString("<init>"), false, types, &params);
-    if(unlikely(info== nullptr)){
-        context->setPendingException("No matched constructor found");
-        return nullptr;
-    }
-    uint32_t size = (uint32_t) types.size();
-    jvalue argList[size];
-    for (int i = size-1; i !=-1; --i) {
-        ValidLuaObject &object = params[i];
-        ParameterizedType &tp = info->params[i];
-        argList[i] = context->luaObjectToJValue( object, tp.rawType,tp.realType);
-        if ((object.type == T_TABLE || object.type == T_FUNCTION) &&
-            argList[i].l == INVALID_OBJECT) {
-            cleanArgs(argList, size, params, env);
-            return nullptr;
-        }
-    }
-    jobject ret = env->NewObjectA(type, info->id, argList);
-    HOLD_JAVA_EXCEPTION(context, {});
-    cleanArgs(argList, size, params, env);
-    return ret;
-}
-
-jarray JavaType::newArray(ThreadContext *context,jint size, Vector<ValidLuaObject> &params) {
-    uint32_t len = (uint32_t) params.size();
-    auto  env=context->env;
-#define ArrayHandle(typeID,jtype, jName, NAME) \
-         case JavaType::typeID:{\
-            j##jtype arr[len];\
-            for (uint32_t i = 0; i < len; ++i) {\
-                arr[i]=(j##jtype)params[i].NAME;\
-            }\
-            j##jtype##Array ret=env->New##jName##Array(size).invalidate();\
-            env->Set##jName##ArrayRegion(ret,0,len,arr);\
-            return ret;\
-        }
-#define IntegerArrayHandle(typeId,jtype, jName) ArrayHandle(typeId,jtype,jName,integer)
-#define DoubleArrayHandle(typeId,jtype, jName) ArrayHandle(typeId,jtype,jName,number)
-switch (typeID){
-     IntegerArrayHandle(INT,int, Int)
-     IntegerArrayHandle(BYTE,byte, Byte)
-     IntegerArrayHandle(LONG,long, Long)
-     DoubleArrayHandle(DOUBLE,double, Double)
-     DoubleArrayHandle(FLOAT,float, Float)
-     IntegerArrayHandle(SHORT,short, Short)
-     ArrayHandle(BOOLEAN,boolean, Boolean, isTrue)
-#undef ArrayHandle
-#undef IntegerArrayHandle
-#undef DoubleArrayHandle
-    case CHAR: {
-        String st;
-        for (uint32_t i = 0; i < len; ++i) {
-            st +=  + params[i].string;
-        }
-        len= static_cast<uint32_t>(strlen8to16(st.data()));
-        if(len>size) return nullptr;
-        jcharArray ret = env->NewCharArray(size).invalidate();
-        char16_t *buf=(char16_t*)env->GetPrimitiveArrayCritical(ret,NULL);
-        strcpy8to16(buf,st.data(),NULL);
-        env->ReleasePrimitiveArrayCritical(ret,buf,0);
-        return ret;
-    }
-    default:{
-        JObjectArray ret(env->NewObjectArray(size, type, nullptr)) ;
-        for (uint32_t i = 0; i < len; ++i) {
-            ValidLuaObject &luaObject = params[i];
-            if (luaObject.type == T_NIL) {
-                env->SetObjectArrayElement(ret, i, NULL);
-            } else {
-                jobject value = context->luaObjectToJValue(luaObject, this).l;
-                if (value == INVALID_OBJECT) return nullptr;
-                env->SetObjectArrayElement(ret, i, value);
-                cleanArg(env, value, luaObject.shouldRelease);
-            }
-        }
-        return ret.invalidate();
-    }
-}
-return nullptr;//unreachable statement;
-}
-
-
-Member* JavaType::ensureMember(TJNIEnv *env, const String &name, bool isStatic) {
-    auto &&map = isStatic ? staticMembers : objectMembers;
-    auto &&iter = map.find(name);
-    if (iter != map.end()){
-        return &iter->second;
-    }
-    JString str = env->NewStringUTF(&name[0]);
-    Member member;
-    if(name!="<init>"){
-        JObjectArray fieldInfos = (JObjectArray) env->CallStaticObjectMethod(contextClass, sFindMembers,
-                                                                             type, str.get(), true,
-                                                                             isStatic);
-        int count = fieldInfos == nullptr ? 0 : env->GetArrayLength(fieldInfos);
-        if (count == 0) {
-            goto FILL_METHOD;
-        }
-        FieldArray fieldArray((uint32_t) (count /3));
-        for (int i = 0; i < count; i += 3) {
-            FieldInfo &info = fieldArray[i /3];
-            JObject&& field = env->GetObjectArrayElement(fieldInfos, i);
-            info.id = env->FromReflectedField(field);
-            info.type.rawType= context->ensureType(
-                    env, (JClass) env->GetObjectArrayElement(fieldInfos, i + 1));
-            auto&& realType = env->GetObjectArrayElement(fieldInfos, i + 2);
-            info.type.realType= realType== nullptr? nullptr:env->NewGlobalRef (realType);
-        }
-        member.fields=std::move(fieldArray);
-    }
-    FILL_METHOD:
-    {
-        JObjectArray methodInfoArray = (JObjectArray) env->CallStaticObjectMethod(
-                contextClass, sFindMembers, type, str.get(), false, isStatic);
-        int count = methodInfoArray != nullptr ? env->GetArrayLength(methodInfoArray) : 0;
-        if (count == 0) {
-            goto END;
-        }
-        MethodArray methodArray((uint32_t) (count /6));
-        for (int i = 0; i < count; i += 6) {
-            MethodInfo &info = methodArray[i/6];
-            JObject&& method = env->GetObjectArrayElement(methodInfoArray, i);
-            info.id = env->FromReflectedMethod(method);
-            info.returnType.rawType =  context->ensureType(
-                    env, (JClass) env->GetObjectArrayElement(methodInfoArray, i + 1));
-            auto&& realRetType = env->GetObjectArrayElement(methodInfoArray, i + 2);
-            info.returnType.realType= realRetType== nullptr? nullptr: env->NewGlobalRef (realRetType);
-            JObjectArray&& params =env->GetObjectArrayElement(methodInfoArray, i + 3);
-            JObjectArray&& genericParams =env->GetObjectArrayElement(methodInfoArray, i + 4);
-            auto&& varArgType=env->GetObjectArrayElement(methodInfoArray,i+5);
-            int paramLen = env->GetArrayLength(params);
-            Array<ParameterizedType> paramArray((uint32_t) paramLen);
-            for (int j =  paramLen; j--;) {
-                paramArray[j].rawType = context->ensureType(
-                        env, (JClass) env->GetObjectArrayElement(params, j));
-                auto&& obj = env->GetObjectArrayElement(genericParams, j);
-                paramArray[j].realType = obj== nullptr? nullptr: env->NewGlobalRef(obj);
-            }
-            info.params = std::move(paramArray);
-            if(varArgType.get()!= nullptr){
-                info.varArgType.rawType=info.params[info.params.size()-1].rawType->getComponentType(env);
-                info.varArgType.realType=env->NewGlobalRef(varArgType);
-            } else info.varArgType.rawType= nullptr;
-        }
-        member.methods=std::move(methodArray);
-    }
-    END:
-    if(member.fields.size()||member.methods.size())
-    return &map.emplace(name, std::move(member)).first->second;
-    else return nullptr;
-}
-
-
-const MethodInfo *JavaType::deductMethod(TJNIEnv* env,const MethodArray* array, Vector<JavaType *> &types,
-                                                   Vector<ValidLuaObject> *arguments, bool* gotVarArg) {
-    if (unlikely(!array)) return nullptr;
-    uint paramsLen =  types.size();
-    const MethodInfo *select = nullptr;
-    bool varArgMethod=false;
-    uintptr_t scores[paramsLen];
-    uintptr_t cacheScores[paramsLen];
-    memset(scores, 0, sizeof(scores[0]) * paramsLen);
-    //memset(cacheScores, 0, sizeof(cacheScores[0]) * paramsLen);
-    for (const MethodInfo &info:*array) {
-        int expectedArgLen=info.params.size();
-        bool isVarArg= false;
-        if (expectedArgLen!= paramsLen) {
-            if(info.varArgType.rawType&&arguments&&(expectedArgLen-1)<=paramsLen){
-                isVarArg= true;
-            } else goto bail;
-        }else if(info.varArgType.rawType){
-            auto && object=arguments->at(paramsLen-1);
-            auto&& type=types[paramsLen-1];
-            if(object.type==T_OBJECT||type){
-                type=(type?type:object.objectRef->type);
-                if(type!=info.params[paramsLen-1].rawType) isVarArg= true;
-            } else if(object.type!=T_TABLE) isVarArg= true;
-        }
-
-        if (arguments == nullptr) {
-            for (uint i = paramsLen ;  i--;) {
-                JavaType *expected = types[i];
-                if (expected != nullptr && info.params[i].rawType != expected)
-                    goto bail;
-            }
-            goto over;
-        }
-        for (uint i = paramsLen ; i--; ) {
-            const ValidLuaObject &luaObject = arguments->at(i);
-            JavaType *toCheck = i>=expectedArgLen||(isVarArg&&i==expectedArgLen-1)?
-                    info.varArgType.rawType:info.params[i].rawType;
-            JavaType *provided = types[i];
-            switch (luaObject.type) {
-                case T_NIL:{
-                    if (toCheck->isPrimitive()) goto bail;
-                    if (provided ){
-                        if(!env->IsAssignableFrom(provided->getType(),
-                                                  toCheck->getType())) goto bail;
-                    }
-                    JavaType *existed = (JavaType*)scores[i];
-                    // other type will always rewrite the existed type if it's not the super type of the existed type
-                    if (!existed||!env->IsAssignableFrom(existed->getType(),toCheck->getType())) {
-                        cacheScores[i]=uintptr_t (toCheck);
-                    }
-                    break;
-                }
-                case T_BOOLEAN:
-                    if(provided&&provided->isBoxedBool())
-                        goto Handle_OBJ;
-                    if (toCheck ->isBool())
-                        cacheScores[i]=1;
-                    else if(scores[i]==1||!toCheck ->isBoxedBool())
-                        goto bail;
-                    else cacheScores[i]=0;
-                    break;
-                case T_CHAR:{
-                    if(provided&&provided->isBoxedChar())
-                        goto Handle_OBJ;
-                    switch(toCheck->getTypeID()){
-                        case CHAR:
-                            cacheScores[i]=6;
-                            break;
-                        case BOX_CHAR:
-                            cacheScores[i]=5;
-                            break;
-                        case INT:
-                            cacheScores[i]=4;
-                            break;
-                        case LONG:
-                            cacheScores[i]=3;
-                            break;
-                        case FLOAT:
-                            cacheScores[i]=2;
-                            break;
-                        case DOUBLE:
-                            cacheScores[i]=1;
-                            break;
-                        default: goto bail;
-                    }
-                    if(scores[i]>cacheScores[i]) goto bail;
-                    break;
-                }
-                case T_STRING: {
-                    if (provided == nullptr) {
-                        if (strlen8to16(luaObject.string) == 1){
-                            switch(toCheck->getTypeID()){
-                                case CHAR:
-                                    cacheScores[i]=9;
-                                    break;
-                                case BOX_CHAR:
-                                    cacheScores[i]=8;
-                                    break;
-                                case INT:
-                                    cacheScores[i]=7;
-                                    break;
-                                case LONG:
-                                    cacheScores[i]=6;
-                                    break;
-                                case FLOAT:
-                                    cacheScores[i]=5;
-                                    break;
-                                case DOUBLE:
-                                    cacheScores[i]=4;
-                                    break;
-                                default: goto bail;
-                            }
-                            if(cacheScores[i]>=scores[i]) continue;
-                        }
-                        //if(scores[i]>1) goto bail;
-                        WEIGHT_STRING:
-                        if (toCheck->isString())cacheScores[i] = 3;
-                        else if(toCheck->isObjectClass()){
-                            cacheScores[i]=1;
-                        } else if(toCheck->isStringAssignable(env))
-                            cacheScores[i]=2;
-                        else goto bail;
-                        if(cacheScores[i]<scores[i])
-                            goto bail;
-                    } else if (provided->isString()) {
-                        goto WEIGHT_STRING;
-                    } else if(provided->isStringAssignable(env)){
-                        if(toCheck->isObjectClass()){
-                            if(scores[i]) goto bail;
-                        } else if(toCheck!=provided){
-                            goto bail;
-                        }
-                        cacheScores[i]=1;
-                    }else goto bail;
-                    break;
-                }
-                case T_OBJECT: {
-                    Handle_OBJ:
-                    JavaType *real = provided ? provided : luaObject.objectRef->type;
-                    if (toCheck->isPrimitive()){
-                        if(scores[i]>5||(!real->_isBox))
-                            goto bail;
-                        uint score=0;
-                        switch (real->typeID){
-                            case BOX_BOOLEAN:
-                                if(!toCheck->isBool()) goto bail;
-                                continue;
-                            case BOX_CHAR:
-                                if(!toCheck->isChar()) goto bail;
-                            case BOX_BYTE:
-                                switch (toCheck->typeID){
-                                    case BYTE:score=5;
-                                        break;
-                                    case SHORT:score=4;
-                                        break;
-                                    case INT:score=3;
-                                        break;
-                                    case LONG:score=2;
-                                        break;
-                                    case FLOAT:score=1;
-                                        break;
-                                    case DOUBLE:score=0;
-                                        break;
-                                    default:goto bail;
-                                }
-                                break;
-                            case BOX_SHORT:
-                                switch (toCheck->typeID){
-                                    case SHORT:score=4;
-                                        break;
-                                    case INT:score=3;
-                                        break;
-                                    case LONG:score=2;
-                                        break;
-                                    case FLOAT:score=1;
-                                        break;
-                                    case DOUBLE:score=0;
-                                        break;
-                                    default:goto bail;
-                                }
-                                break;
-                            case BOX_INT:
-                                switch (toCheck->typeID){
-                                    case INT:score=3;
-                                        break;
-                                    case LONG:score=2;
-                                        break;
-                                    case FLOAT:score=1;
-                                        break;
-                                    case DOUBLE:score=0;
-                                        break;
-                                    default:goto bail;
-                                }
-                                break;
-                            case BOX_LONG:
-                                switch (toCheck->typeID){
-                                    case LONG:score=2;
-                                        break;
-                                    case FLOAT:score=1;
-                                        break;
-                                    case DOUBLE:score=0;
-                                        break;
-                                    default:goto bail;
-                                }
-                                break;
-                            case BOX_FLOAT:
-                                switch (toCheck->typeID){
-                                    case FLOAT:score=1;
-                                        break;
-                                    case DOUBLE:score=0;
-                                        break;
-                                    default:goto bail;
-                                }
-                                break;
-                            case BOX_DOUBLE:
-                                if(toCheck->typeID!=DOUBLE)
-                                   goto bail;
-                                break;
-                            default:
-                                break;
-                        }
-                        if (score < scores[i]) goto bail;
-                        else cacheScores[i] = score;
-                        break;
-                    }
-                    if(provided&&provided->isPrimitive()) goto bail;
-                    if(!env->IsAssignableFrom(real->getType(),toCheck->getType()))
-                        goto bail;
-                    uintptr_t score= scores[i];
-                    // other type will always rewrite the existed type if it's not the super type of the existed type
-                    // A score below java.lnag.Object may not be zero if the real is boxed primitive type.
-                    if(score<6||!env->IsAssignableFrom(((JavaType*)score)->getType(),toCheck->getType())){
-                        cacheScores[i]=(uintptr_t)toCheck;
-                    }
-                    break;
-                }
-                case T_INTEGER: {
-                    long long v = luaObject.integer;
-                    INT_TYPE intType;
-                    if (provided == nullptr) {
-                        if (!toCheck->_isInteger && !toCheck->_isFloat&&
-                            !toCheck->isObjectClass()&&!toCheck->isNumberClass()) goto bail;
-                        if (v >= INT8_MIN && v <= INT8_MAX) {
-                            intType = J_BYTE;
-                        } else if (v >= INT16_MIN && v <= INT16_MAX) {
-                            intType = J_SHORT;
-                        }else if (v >= INT32_MIN && v <= INT32_MAX) {
-                            intType = J_INT;
-                        } else {
-                            intType = J_LONG;
-                        }
-                    } else if (provided->isInteger()) {
-                        intType= static_cast<INT_TYPE>(provided->typeID);//since they have the same order
-                    }else if(provided->_isBox){
-                        goto Handle_OBJ;
-                    } else goto bail;
-                    uint score = 0;
-                    switch (intType) {
-                        case J_BYTE: {
-                            switch (toCheck->typeID){
-                                case BYTE:score = 14;
-                                    break;
-                                case SHORT:score = 13;
-                                    break;
-                                case INT:score = provided?12:15;
-                                    break;
-                                case LONG:score = 11;
-                                    break;
-                                case FLOAT:score = 10;
-                                    break;
-                                case DOUBLE:score = 9;
-                                    break;
-                                case BOX_BYTE:score = 8;
-                                    break;
-                                case BOX_SHORT:score = 7;
-                                    break;
-                                case BOX_INT:score = 6;
-                                    break;
-                                case BOX_LONG:score = 5;
-                                    break;
-                                case BOX_FLOAT:score = 4;
-                                    break;
-                                case BOX_DOUBLE:score = 3;
-                                    break;
-                                case BOX_NUMBER: score= 2;
-                                    break;
-                                case BOX_OBJECT: score=1;
-                                    break;
-                                default:  goto bail;
-                            }
-                            break;
-                        }
-                        case J_SHORT: {
-                            switch (toCheck->typeID){
-                                case SHORT:score = 12;
-                                    break;
-                                case INT: score = provided?11:13;
-                                    break;
-                                case LONG:score = 10;
-                                    break;
-                                case FLOAT:score = 9;
-                                    break;
-                                case DOUBLE:score = 8;
-                                    break;
-                                case BOX_SHORT:score = 7;
-                                    break;
-                                case BOX_INT:score = 6;
-                                    break;
-                                case BOX_LONG:score = 5;
-                                    break;
-                                case BOX_FLOAT:score = 4;
-                                    break;
-                                case BOX_DOUBLE:score = 3;
-                                    break;
-                                case BOX_NUMBER: score= 2;
-                                    break;
-                                case BOX_OBJECT: score=1;
-                                    break;
-                                default:  goto bail;
-                            }
-                            break;
-                        }
-                        case J_INT: {
-                            switch (toCheck->typeID){
-                                case INT:score = 10;
-                                    break;
-                                case LONG:score = 9;
-                                    break;
-                                case FLOAT:score = 8;
-                                    break;
-                                case DOUBLE:score = 7;
-                                    break;
-                                case BOX_INT:score = 6;
-                                    break;
-                                case BOX_LONG:score = 5;
-                                    break;
-                                case BOX_FLOAT:score = 4;
-                                    break;
-                                case BOX_DOUBLE:score = 3;
-                                    break;
-                                case BOX_NUMBER: score= 2;
-                                    break;
-                                case BOX_OBJECT: score=1;
-                                    break;
-                                default:  goto bail;
-                            }
-                            break;
-                        }
-                        case J_LONG: {
-                            switch (toCheck->typeID){
-                                case LONG:score = 8;
-                                    break;
-                                case FLOAT:score = 7;
-                                    break;
-                                case DOUBLE: score = 6;
-                                    break;
-                                case BOX_LONG:score = 5;
-                                    break;
-                                case BOX_FLOAT:score = 4;
-                                    break;
-                                case BOX_DOUBLE:score = 3;
-                                    break;
-                                case BOX_NUMBER: score= 2;
-                                    break;
-                                case BOX_OBJECT: score=1;
-                                    break;
-                                default:  goto bail;
-                            }
-                            break;
-                        }
-                    }
-                    if (score < scores[i]) goto bail;
-                    else cacheScores[i] = score;
-                    break;
-                }
-                case T_FLOAT: {
-                    if (provided == nullptr) {
-                        uint score;
-                        switch (toCheck->typeID){
-                            case DOUBLE:score = 6;
-                                break;
-                            case FLOAT: score = 5;
-                                break;
-                            case BOX_DOUBLE:score = 4;
-                                break;
-                            case BOX_FLOAT:score = 3;
-                                break;
-                            case BOX_NUMBER: score=2;
-                                break;
-                            case BOX_OBJECT: score=1;
-                                break;
-                            default:
-                                goto bail;
-                        }
-                        if (score < scores[i]) goto bail;
-                        else cacheScores[i] = score;
-                    } else if(provided->isFloat()) {
-                        if (provided->typeID == DOUBLE) {
-                            if (toCheck->typeID ==DOUBLE)
-                                cacheScores[i]=1;
-                            else if(scores[i]==1||toCheck->typeID !=BOX_DOUBLE)
-                                goto bail;
-                            else cacheScores[i]=0;
-                        } else {
-                            uint score;
-                            if (toCheck->typeID == FLOAT) score = 3;
-                            else if (toCheck->typeID == DOUBLE) score = 2;
-                            else score = 1;
-                            if (score < scores[i]) goto bail;
-                            else cacheScores[i] = score;
-                        }
-                    } else if(provided->isInteger())
-                        goto bail;
-                     else goto Handle_OBJ;
-                    break;
-                }
-                case T_FUNCTION: {
-                    if (provided != nullptr) {
-                        if (!env->IsAssignableFrom(provided->getType(), toCheck->getType()))
-                            goto bail;
-                    } else {
-                        if (!toCheck->isSingleInterface(env)) goto bail;
-                    }
-                    break;
-                }
-                case T_TABLE:
-                    if (provided != nullptr) {
-                        if (!env->IsAssignableFrom(provided->getType(), toCheck->getType()))
-                            goto bail;
-                    } else {
-                        uint score;
-                        if (toCheck->isTableType(env)) score = 2;
-                        else if (toCheck->isInterface(env) && luaObject.lazyTable->isInterface()) {
-                            score = 1;
-                        } else score = 0;
-                        if (score < scores[i]) goto bail;
-                        else cacheScores[i] = score;
-                    }
-                    break;
-                default:
-                    goto bail;
-            }
-        }
-        over:
-        select = &info;
-        varArgMethod=isVarArg;
-        memcpy(scores, cacheScores, paramsLen * sizeof(scores[0]));
-        continue;
-        bail:
-        //memcpy(cacheScores, scores, paramsLen * sizeof(scores[0]));
-        continue;
-    }
-    if(gotVarArg) *gotVarArg=varArgMethod;
-    return select;
-}
-
-const Member* JavaType::findMockMember(TJNIEnv *env, const String &name, bool get){
-    auto && iter=mockFields.find(name);
-    if(iter==mockFields.end())
-    {
-        JString jname(env->NewStringUTF(name.data()));
-        JObjectArray names(env->CallStaticObjectMethod(contextClass,sFindMockName,type,jname.get()));
-        JString getter(env->GetObjectArrayElement(names,0));
-        JString setter(env->GetObjectArrayElement(names,1));
-        if(getter.get()== nullptr&&setter.get()== nullptr)
-            return nullptr;
-        const char* gett=getter.get()== nullptr? nullptr:getter.str();
-        const char* sett=setter.get()== nullptr? nullptr:setter.str();
-        const Member* getMem= nullptr;
-        const Member* setMem= nullptr;
-        if(gett){
-            FakeString tmp(gett);
-            getMem=ensureMember(env,tmp,false);
-        }
-        if(sett){
-            FakeString tmp(sett);
-            setMem=ensureMember(env,tmp,false);
-        }
-        mockFields.emplace(name,MockField{getMem,setMem});
-        return get?getMem:setMem;
-    } else{
-        return get?iter->second.getter:iter->second.setter;
-    }
-}
-const FieldInfo *JavaType::deductField(const FieldArray* array, JavaType *type){
-    if (unlikely(array == nullptr))
-        return nullptr;
-    if (type == nullptr) {
-        if (likely(array->size() == 1)) return &(*array)[0];
-        else return nullptr;
-    }
-    for (const FieldInfo &info:*array) {
-        if (info.type.rawType == type) return &info;
-    }
-    return nullptr;
-}
-
-JObject JavaType::getSingleInterface(TJNIEnv* env) {
-    if (singleInterface == invalid<jmethodID>()) {
-        JObject ret = env->CallStaticObjectMethod(contextClass, sGetSingleInterface, type);
-        if (ret != nullptr) singleInterface = env->FromReflectedMethod(ret);
-        return ret;
-    } else return env->ToReflectedMethod(type, singleInterface, JNI_FALSE);
-}
-
-JavaType *JavaType::ensureInnerClass(ThreadContext *threadContext, const String &inner) {
-    auto && iter=innerClasses.find(inner);
-    if(iter!= nullptr) return iter->second;
-    JString k=name(threadContext->env);
-    String fullName;
-    fullName.reserve(strlen(k.str())+inner.length()+2);
-    fullName=k;
-    fullName+='$';
-    fullName+=inner;
-    JClass c=threadContext->findClass(fullName);
-    if(c== nullptr){
-        return nullptr;
-    }
-    JavaType* ret= threadContext->scriptContext->ensureType(
-            threadContext->env,c);
-    innerClasses.emplace(inner,ret);
-    return ret;
-}
+
+#include "java_type.h"
+#include "utf8.h"
+
+jmethodID JavaType::sGetComponentType;
+jmethodID JavaType::sFindMembers;
+jmethodID JavaType::sFindMockName;
+jmethodID JavaType::sGetSingleInterface;
+jmethodID JavaType::sIsTableType;
+jmethodID JavaType::sTableConvert;
+jmethodID JavaType::sIsInterface;
+
+jobject JavaType::newObject(ThreadContext *context, Vector<JavaType *> &types, Vector<ValidLuaObject> &params) {
+    TJNIEnv *env = context->env;
+    const MethodInfo *info = findMethod(env, FakeString("<init>"), false, types, &params);
+    if(unlikely(info== nullptr)){
+        context->setPendingException("No matched constructor found");
+        return nullptr;
+    }
+    uint32_t size = (uint32_t) types.size();
+    jvalue argList[size];
+    for (int i = size-1; i !=-1; --i) {
+        ValidLuaObject &object = params[i];
+        ParameterizedType &tp = info->params[i];
+        argList[i] = context->luaObjectToJValue( object, tp.rawType,tp.realType);
+        if ((object.type == T_TABLE || object.type == T_FUNCTION) &&
+            argList[i].l == INVALID_OBJECT) {
+            cleanArgs(argList, size, params, env);
+            return nullptr;
+        }
+    }
+    jobject ret = env->NewObjectA(type, info->id, argList);
+    HOLD_JAVA_EXCEPTION(context, {});
+    cleanArgs(argList, size, params, env);
+    return ret;
+}
+
+jarray JavaType::newArray(ThreadContext *context,jint size, Vector<ValidLuaObject> &params) {
+    uint32_t len = (uint32_t) params.size();
+    auto  env=context->env;
+#define ArrayHandle(typeID,jtype, jName, NAME) \
+         case JavaType::typeID:{\
+            j##jtype arr[len];\
+            for (uint32_t i = 0; i < len; ++i) {\
+                arr[i]=(j##jtype)params[i].NAME;\
+            }\
+            j##jtype##Array ret=env->New##jName##Array(size).invalidate();\
+            env->Set##jName##ArrayRegion(ret,0,len,arr);\
+            return ret;\
+        }
+#define IntegerArrayHandle(typeId,jtype, jName) ArrayHandle(typeId,jtype,jName,integer)
+#define DoubleArrayHandle(typeId,jtype, jName) ArrayHandle(typeId,jtype,jName,number)
+switch (typeID){
+     IntegerArrayHandle(INT,int, Int)
+     IntegerArrayHandle(BYTE,byte, Byte)
+     IntegerArrayHandle(LONG,long, Long)
+     DoubleArrayHandle(DOUBLE,double, Double)
+     DoubleArrayHandle(FLOAT,float, Float)
+     IntegerArrayHandle(SHORT,short, Short)
+     ArrayHandle(BOOLEAN,boolean, Boolean, isTrue)
+#undef ArrayHandle
+#undef IntegerArrayHandle
+#undef DoubleArrayHandle
+    case CHAR: {
+        String st;
+        for (uint32_t i = 0; i < len; ++i) {
+            st +=  + params[i].string;
+        }
+        len= static_cast<uint32_t>(strlen8to16(st.data()));
+        if(len>size) return nullptr;
+        jcharArray ret = env->NewCharArray(size).invalidate();
+        char16_t *buf=(char16_t*)env->GetPrimitiveArrayCritical(ret,NULL);
+        strcpy8to16(buf,st.data(),NULL);
+        env->ReleasePrimitiveArrayCritical(ret,buf,0);
+        return ret;
+    }
+    default:{
+        JObjectArray ret(env->NewObjectArray(size, type, nullptr)) ;
+        for (uint32_t i = 0; i < len; ++i) {
+            ValidLuaObject &luaObject = params[i];
+            if (luaObject.type == T_NIL) {
+                env->SetObjectArrayElement(ret, i, NULL);
+            } else {
+                jobject value = context->luaObjectToJValue(luaObject, this).l;
+                if (value == INVALID_OBJECT) return nullptr;
+                env->SetObjectArrayElement(ret, i, value);
+                cleanArg(env, value, luaObject.shouldRelease);
+            }
+        }
+        return ret.invalidate();
+    }
+}
+return nullptr;//unreachable statement;
+}
+
+
+Member* JavaType::ensureMember(TJNIEnv *env, const String &name, bool isStatic) {
+    auto &&map = isStatic ? staticMembers : objectMembers;
+    auto &&iter = map.find(name);
+    if (iter != map.end()){
+        return &iter->second;
+    }
+    JString str = env->NewStringUTF(&name[0]);
+    Member member;
+    if(name!="<init>"){
+        JObjectArray fieldInfos = (JObjectArray) env->CallStaticObjectMethod(contextClass, sFindMembers,
+                                                                             type, str.get(), true,
+                                                                             isStatic);
+        int count = fieldInfos == nullptr ? 0 : env->GetArrayLength(fieldInfos);
+        if (count == 0) {
+            goto FILL_METHOD;
+        }
+        FieldArray fieldArray((uint32_t) (count /3));
+        for (int i = 0; i < count; i += 3) {
+            FieldInfo &info = fieldArray[i /3];
+            JObject&& field = env->GetObjectArrayElement(fieldInfos, i);
+            info.id = env->FromReflectedField(field);
+            info.type.rawType= context->ensureType(
+                    env, (JClass) env->GetObjectArrayElement(fieldInfos, i + 1));
+            auto&& realType = env->GetObjectArrayElement(fieldInfos, i + 2);
+            info.type.realType= realType== nullptr? nullptr:env->NewGlobalRef (realType);
+        }
+        member.fields=std::move(fieldArray);
+    }
+    FILL_METHOD:
+    {
+        JObjectArray methodInfoArray = (JObjectArray) env->CallStaticObjectMethod(
+                contextClass, sFindMembers, type, str.get(), false, isStatic);
+        int count = methodInfoArray != nullptr ? env->GetArrayLength(methodInfoArray) : 0;
+        if (count == 0) {
+            goto END;
+        }
+        MethodArray methodArray((uint32_t) (count /6));
+        for (int i = 0; i < count; i += 6) {
+            MethodInfo &info = methodArray[i/6];
+            JObject&& method = env->GetObjectArrayElement(methodInfoArray, i);
+            info.id = env->FromReflectedMethod(method);
+            info.returnType.rawType =  context->ensureType(
+                    env, (JClass) env->GetObjectArrayElement(methodInfoArray, i + 1));
+            auto&& realRetType = env->GetObjectArrayElement(methodInfoArray, i + 2);
+            info.returnType.realType= realRetType== nullptr? nullptr: env->NewGlobalRef (realRetType);
+            JObjectArray&& params =env->GetObjectArrayElement(methodInfoArray, i + 3);
+            JObjectArray&& genericParams =env->GetObjectArrayElement(methodInfoArray, i + 4);
+            auto&& varArgType=env->GetObjectArrayElement(methodInfoArray,i+5);
+            int paramLen = env->GetArrayLength(params);
+            Array<ParameterizedType> paramArray((uint32_t) paramLen);
+            for (int j =  paramLen; j--;) {
+                paramArray[j].rawType = context->ensureType(
+                        env, (JClass) env->GetObjectArrayElement(params, j));
+                auto&& obj = env->GetObjectArrayElement(genericParams, j);
+                paramArray[j].realType = obj== nullptr? nullptr: env->NewGlobalRef(obj);
+            }
+            info.params = std::move(paramArray);
+            if(varArgType.get()!= nullptr){
+                info.varArgType.rawType=info.params[info.params.size()-1].rawType->getComponentType(env);
+                info.varArgType.realType=env->NewGlobalRef(varArgType);
+            } else info.varArgType.rawType= nullptr;
+        }
+        member.methods=std::move(methodArray);
+    }
+    END:
+    if(member.fields.size()||member.methods.size())
+    return &map.emplace(name, std::move(member)).first->second;
+    else return nullptr;
+}
+
+
+const MethodInfo *JavaType::deductMethod(TJNIEnv* env,const MethodArray* array, Vector<JavaType *> &types,
+                                                   Vector<ValidLuaObject> *arguments, bool* gotVarArg) {
+    if (unlikely(!array)) return nullptr;
+    uint paramsLen =  types.size();
+    const MethodInfo *select = nullptr;
+    bool varArgMethod=false;
+    uintptr_t scores[paramsLen];
+    uintptr_t cacheScores[paramsLen];
+    memset(scores, 0, sizeof(scores[0]) * paramsLen);
+    //memset(cacheScores, 0, sizeof(cacheScores[0]) * paramsLen);
+    for (const MethodInfo &info:*array) {
+        int expectedArgLen=info.params.size();
+        bool isVarArg= false;
+        if (expectedArgLen!= paramsLen) {
+            if(info.varArgType.rawType&&arguments&&(expectedArgLen-1)<=paramsLen){
+                isVarArg= true;
+            } else goto bail;
+        }else if(info.varArgType.rawType){
+            auto && object=arguments->at(paramsLen-1);
+            auto&& type=types[paramsLen-1];
+            if(object.type==T_OBJECT||type){
+                type=(type?type:object.objectRef->type);
+                if(type!=info.params[paramsLen-1].rawType) isVarArg= true;
+            } else if(object.type!=T_TABLE) isVarArg= true;
+        }
+
+        if (arguments == nullptr) {
+            for (uint i = paramsLen ;  i--;) {
+                JavaType *expected = types[i];
+                if (expected != nullptr && info.params[i].rawType != expected)
+                    goto bail;
+            }
+            goto over;
+        }
+        for (uint i = paramsLen ; i--; ) {
+            const ValidLuaObject &luaObject = arguments->at(i);
+            JavaType *toCheck = i>=expectedArgLen||(isVarArg&&i==expectedArgLen-1)?
+                    info.varArgType.rawType:info.params[i].rawType;
+            JavaType *provided = types[i];
+            switch (luaObject.type) {
+                case T_NIL:{
+                    if (toCheck->isPrimitive()) goto bail;
+                    if (provided ){
+                        if(!env->IsAssignableFrom(provided->getType(),
+                                                  toCheck->getType())) goto bail;
+                    }
+                    JavaType *existed = (JavaType*)scores[i];
+                    // other type will always rewrite the existed type if it's not the super type of the existed type
+                    if (!existed||!env->IsAssignableFrom(existed->getType(),toCheck->getType())) {
+                        cacheScores[i]=uintptr_t (toCheck);
+                    }
+                    break;
+                }
+                case T_BOOLEAN:
+                    if(provided&&provided->isBoxedBool())
+                        goto Handle_OBJ;
+                    if (toCheck ->isBool())
+                        cacheScores[i]=1;
+                    else if(scores[i]==1||!toCheck ->isBoxedBool())
+                        goto bail;
+                    else cacheScores[i]=0;
+                    break;
+                case T_CHAR:{
+                    if(provided&&provided->isBoxedChar())
+                        goto Handle_OBJ;
+                    switch(toCheck->getTypeID()){
+                        case CHAR:
+                            cacheScores[i]=6;
+                            break;
+                        case BOX_CHAR:
+                            cacheScores[i]=5;
+                            break;
+                        case INT:
+                            cacheScores[i]=4;
+                            break;
+                        case LONG:
+                            cacheScores[i]=3;
+                            break;
+                        case FLOAT:
+                            cacheScores[i]=2;
+                            break;
+                        case DOUBLE:
+                            cacheScores[i]=1;
+                            break;
+                        default: goto bail;
+                    }
+                    if(scores[i]>cacheScores[i]) goto bail;
+                    break;
+                }
+                case T_STRING: {
+                    if (provided == nullptr) {
+                        if (strlen8to16(luaObject.string) == 1){
+                            switch(toCheck->getTypeID()){
+                                case OBJECT:
+                                    cacheScores[i]=10;
+                                    break;
+                                case CHAR:
+                                    cacheScores[i]=9;
+                                    break;
+                                case BOX_CHAR:
+                                    cacheScores[i]=8;
+                                    break;
+                                case INT:
+                                    cacheScores[i]=7;
+                                    break;
+                                case LONG:
+                                    cacheScores[i]=6;
+                                    break;
+                                case FLOAT:
+                                    cacheScores[i]=5;
+                                    break;
+                                case DOUBLE:
+                                    cacheScores[i]=4;
+                                    break;
+                                default: goto bail;
+                            }
+                            if(cacheScores[i]>=scores[i]) continue;
+                        }
+                        //if(scores[i]>1) goto bail;
+                        WEIGHT_STRING:
+                        if (toCheck->isString())cacheScores[i] = 3;
+                        else if(toCheck->isObjectClass()){
+                            cacheScores[i]=1;
+                        } else if(toCheck->isStringAssignable(env))
+                            cacheScores[i]=2;
+                        else goto bail;
+                        if(cacheScores[i]<scores[i])
+                            goto bail;
+                    } else if (provided->isString()) {
+                        goto WEIGHT_STRING;
+                    } else if(provided->isStringAssignable(env)){
+                        if(toCheck->isObjectClass()){
+                            if(scores[i]) goto bail;
+                        } else if(toCheck!=provided){
+                            goto bail;
+                        }
+                        cacheScores[i]=1;
+                    }else goto bail;
+                    break;
+                }
+                case T_OBJECT: {
+                    Handle_OBJ:
+                    JavaType *real = provided ? provided : luaObject.objectRef->type;
+                    if (toCheck->isPrimitive()){
+                        if(scores[i]>5||(!real->_isBox))
+                            goto bail;
+                        uint score=0;
+                        switch (real->typeID){
+                            case BOX_BOOLEAN:
+                                if(!toCheck->isBool()) goto bail;
+                                continue;
+                            case BOX_CHAR:
+                                if(!toCheck->isChar()) goto bail;
+                            case BOX_BYTE:
+                                switch (toCheck->typeID){
+                                    case BYTE:score=5;
+                                        break;
+                                    case SHORT:score=4;
+                                        break;
+                                    case INT:score=3;
+                                        break;
+                                    case LONG:score=2;
+                                        break;
+                                    case FLOAT:score=1;
+                                        break;
+                                    case DOUBLE:score=0;
+                                        break;
+                                    default:goto bail;
+                                }
+                                break;
+                            case BOX_SHORT:
+                                switch (toCheck->typeID){
+                                    case SHORT:score=4;
+                                        break;
+                                    case INT:score=3;
+                                        break;
+                                    case LONG:score=2;
+                                        break;
+                                    case FLOAT:score=1;
+                                        break;
+                                    case DOUBLE:score=0;
+                                        break;
+                                    default:goto bail;
+                                }
+                                break;
+                            case BOX_INT:
+                                switch (toCheck->typeID){
+                                    case INT:score=3;
+                                        break;
+                                    case LONG:score=2;
+                                        break;
+                                    case FLOAT:score=1;
+                                        break;
+                                    case DOUBLE:score=0;
+                                        break;
+                                    default:goto bail;
+                                }
+                                break;
+                            case BOX_LONG:
+                                switch (toCheck->typeID){
+                                    case LONG:score=2;
+                                        break;
+                                    case FLOAT:score=1;
+                                        break;
+                                    case DOUBLE:score=0;
+                                        break;
+                                    default:goto bail;
+                                }
+                                break;
+                            case BOX_FLOAT:
+                                switch (toCheck->typeID){
+                                    case FLOAT:score=1;
+                                        break;
+                                    case DOUBLE:score=0;
+                                        break;
+                                    default:goto bail;
+                                }
+                                break;
+                            case BOX_DOUBLE:
+                                if(toCheck->typeID!=DOUBLE)
+                                   goto bail;
+                                break;
+                            default:
+                                break;
+                        }
+                        if (score < scores[i]) goto bail;
+                        else cacheScores[i] = score;
+                        break;
+                    }
+                    if(provided&&provided->isPrimitive()) goto bail;
+                    if(!env->IsAssignableFrom(real->getType(),toCheck->getType()))
+                        goto bail;
+                    uintptr_t score= scores[i];
+                    // other type will always rewrite the existed type if it's not the super type of the existed type
+                    // A score below java.lnag.Object may not be zero if the real is boxed primitive type.
+                    if(score<6||!env->IsAssignableFrom(((JavaType*)score)->getType(),toCheck->getType())){
+                        cacheScores[i]=(uintptr_t)toCheck;
+                    }
+                    break;
+                }
+                case T_INTEGER: {
+                    long long v = luaObject.integer;
+                    INT_TYPE intType;
+                    if (provided == nullptr) {
+                        if (!toCheck->_isInteger && !toCheck->_isFloat&&
+                            !toCheck->isObjectClass()&&!toCheck->isNumberClass()) goto bail;
+                        if (v >= INT8_MIN && v <= INT8_MAX) {
+                            intType = J_BYTE;
+                        } else if (v >= INT16_MIN && v <= INT16_MAX) {
+                            intType = J_SHORT;
+                        }else if (v >= INT32_MIN && v <= INT32_MAX) {
+                            intType = J_INT;
+                        } else {
+                            intType = J_LONG;
+                        }
+                    } else if (provided->isInteger()) {
+                        intType= static_cast<INT_TYPE>(provided->typeID);//since they have the same order
+                    }else if(provided->_isBox){
+                        goto Handle_OBJ;
+                    } else goto bail;
+                    uint score = 0;
+                    switch (intType) {
+                        case J_BYTE: {
+                            switch (toCheck->typeID){
+                                case BYTE:score = 14;
+                                    break;
+                                case SHORT:score = 13;
+                                    break;
+                                case INT:score = provided?12:15;
+                                    break;
+                                case LONG:score = 11;
+                                    break;
+                                case FLOAT:score = 10;
+                                    break;
+                                case DOUBLE:score = 9;
+                                    break;
+                                case BOX_BYTE:score = 8;
+                                    break;
+                                case BOX_SHORT:score = 7;
+                                    break;
+                                case BOX_INT:score = 6;
+                                    break;
+                                case BOX_LONG:score = 5;
+                                    break;
+                                case BOX_FLOAT:score = 4;
+                                    break;
+                                case BOX_DOUBLE:score = 3;
+                                    break;
+                                case BOX_NUMBER: score= 2;
+                                    break;
+                                case BOX_OBJECT: score=1;
+                                    break;
+                                default:  goto bail;
+                            }
+                            break;
+                        }
+                        case J_SHORT: {
+                            switch (toCheck->typeID){
+                                case SHORT:score = 12;
+                                    break;
+                                case INT: score = provided?11:13;
+                                    break;
+                                case LONG:score = 10;
+                                    break;
+                                case FLOAT:score = 9;
+                                    break;
+                                case DOUBLE:score = 8;
+                                    break;
+                                case BOX_SHORT:score = 7;
+                                    break;
+                                case BOX_INT:score = 6;
+                                    break;
+                                case BOX_LONG:score = 5;
+                                    break;
+                                case BOX_FLOAT:score = 4;
+                                    break;
+                                case BOX_DOUBLE:score = 3;
+                                    break;
+                                case BOX_NUMBER: score= 2;
+                                    break;
+                                case BOX_OBJECT: score=1;
+                                    break;
+                                default:  goto bail;
+                            }
+                            break;
+                        }
+                        case J_INT: {
+                            switch (toCheck->typeID){
+                                case INT:score = 10;
+                                    break;
+                                case LONG:score = 9;
+                                    break;
+                                case FLOAT:score = 8;
+                                    break;
+                                case DOUBLE:score = 7;
+                                    break;
+                                case BOX_INT:score = 6;
+                                    break;
+                                case BOX_LONG:score = 5;
+                                    break;
+                                case BOX_FLOAT:score = 4;
+                                    break;
+                                case BOX_DOUBLE:score = 3;
+                                    break;
+                                case BOX_NUMBER: score= 2;
+                                    break;
+                                case BOX_OBJECT: score=1;
+                                    break;
+                                default:  goto bail;
+                            }
+                            break;
+                        }
+                        case J_LONG: {
+                            switch (toCheck->typeID){
+                                case LONG:score = 8;
+                                    break;
+                                case FLOAT:score = 7;
+                                    break;
+                                case DOUBLE: score = 6;
+                                    break;
+                                case BOX_LONG:score = 5;
+                                    break;
+                                case BOX_FLOAT:score = 4;
+                                    break;
+                                case BOX_DOUBLE:score = 3;
+                                    break;
+                                case BOX_NUMBER: score= 2;
+                                    break;
+                                case BOX_OBJECT: score=1;
+                                    break;
+                                default:  goto bail;
+                            }
+                            break;
+                        }
+                    }
+                    if (score < scores[i]) goto bail;
+                    else cacheScores[i] = score;
+                    break;
+                }
+                case T_FLOAT: {
+                    if (provided == nullptr) {
+                        uint score;
+                        switch (toCheck->typeID){
+                            case DOUBLE:score = 6;
+                                break;
+                            case FLOAT: score = 5;
+                                break;
+                            case BOX_DOUBLE:score = 4;
+                                break;
+                            case BOX_FLOAT:score = 3;
+                                break;
+                            case BOX_NUMBER: score=2;
+                                break;
+                            case BOX_OBJECT: score=1;
+                                break;
+                            default:
+                                goto bail;
+                        }
+                        if (score < scores[i]) goto bail;
+                        else cacheScores[i] = score;
+                    } else if(provided->isFloat()) {
+                        if (provided->typeID == DOUBLE) {
+                            if (toCheck->typeID ==DOUBLE)
+                                cacheScores[i]=1;
+                            else if(scores[i]==1||toCheck->typeID !=BOX_DOUBLE)
+                                goto bail;
+                            else cacheScores[i]=0;
+                        } else {
+                            uint score;
+                            if (toCheck->typeID == FLOAT) score = 3;
+                            else if (toCheck->typeID == DOUBLE) score = 2;
+                            else score = 1;
+                            if (score < scores[i]) goto bail;
+                            else cacheScores[i] = score;
+                        }
+                    } else if(provided->isInteger())
+                        goto bail;
+                     else goto Handle_OBJ;
+                    break;
+                }
+                case T_FUNCTION: {
+                    if (provided != nullptr) {
+                        if (!env->IsAssignableFrom(provided->getType(), toCheck->getType()))
+                            goto bail;
+                    } else {
+                        if (!toCheck->isSingleInterface(env)) goto bail;
+                    }
+                    break;
+                }
+                case T_TABLE:
+                    if (provided != nullptr) {
+                        if (!env->IsAssignableFrom(provided->getType(), toCheck->getType()))
+                            goto bail;
+                    } else {
+                        uint score;
+                        if (toCheck->isTableType(env)) score = 2;
+                        else if (toCheck->isInterface(env) && luaObject.lazyTable->isInterface()) {
+                            score = 1;
+                        } else score = 0;
+                        if (score < scores[i]) goto bail;
+                        else cacheScores[i] = score;
+                    }
+                    break;
+                default:
+                    goto bail;
+            }
+        }
+        over:
+        select = &info;
+        varArgMethod=isVarArg;
+        memcpy(scores, cacheScores, paramsLen * sizeof(scores[0]));
+        continue;
+        bail:
+        //memcpy(cacheScores, scores, paramsLen * sizeof(scores[0]));
+        continue;
+    }
+    if(gotVarArg) *gotVarArg=varArgMethod;
+    return select;
+}
+
+const Member* JavaType::findMockMember(TJNIEnv *env, const String &name, bool get){
+    auto && iter=mockFields.find(name);
+    if(iter==mockFields.end())
+    {
+        JString jname(env->NewStringUTF(name.data()));
+        JObjectArray names(env->CallStaticObjectMethod(contextClass,sFindMockName,type,jname.get()));
+        JString getter(env->GetObjectArrayElement(names,0));
+        JString setter(env->GetObjectArrayElement(names,1));
+        if(getter.get()== nullptr&&setter.get()== nullptr)
+            return nullptr;
+        const char* gett=getter.get()== nullptr? nullptr:getter.str();
+        const char* sett=setter.get()== nullptr? nullptr:setter.str();
+        const Member* getMem= nullptr;
+        const Member* setMem= nullptr;
+        if(gett){
+            FakeString tmp(gett);
+            getMem=ensureMember(env,tmp,false);
+        }
+        if(sett){
+            FakeString tmp(sett);
+            setMem=ensureMember(env,tmp,false);
+        }
+        mockFields.emplace(name,MockField{getMem,setMem});
+        return get?getMem:setMem;
+    } else{
+        return get?iter->second.getter:iter->second.setter;
+    }
+}
+const FieldInfo *JavaType::deductField(const FieldArray* array, JavaType *type){
+    if (unlikely(array == nullptr))
+        return nullptr;
+    if (type == nullptr) {
+        if (likely(array->size() == 1)) return &(*array)[0];
+        else return nullptr;
+    }
+    for (const FieldInfo &info:*array) {
+        if (info.type.rawType == type) return &info;
+    }
+    return nullptr;
+}
+
+JObject JavaType::getSingleInterface(TJNIEnv* env) {
+    if (singleInterface == invalid<jmethodID>()) {
+        JObject ret = env->CallStaticObjectMethod(contextClass, sGetSingleInterface, type);
+        if (ret != nullptr) singleInterface = env->FromReflectedMethod(ret);
+        return ret;
+    } else return env->ToReflectedMethod(type, singleInterface, JNI_FALSE);
+}
+
+JavaType *JavaType::ensureInnerClass(ThreadContext *threadContext, const String &inner) {
+    auto && iter=innerClasses.find(inner);
+    if(iter!= nullptr) return iter->second;
+    JString k=name(threadContext->env);
+    String fullName;
+    fullName.reserve(strlen(k.str())+inner.length()+2);
+    fullName=k;
+    fullName+='$';
+    fullName+=inner;
+    JClass c=threadContext->findClass(fullName);
+    if(c== nullptr){
+        return nullptr;
+    }
+    JavaType* ret= threadContext->scriptContext->ensureType(
+            threadContext->env,c);
+    innerClasses.emplace(inner,ret);
+    return ret;
+}
diff --git a/luadroidtest/src/main/assets/deduct.lua b/luadroidtest/src/main/assets/deduct.lua
new file mode 100644
index 0000000..f6ea70c
--- /dev/null
+++ b/luadroidtest/src/main/assets/deduct.lua
@@ -0,0 +1,3 @@
+import 'com.oslorde.luadroidtest.DeductTest'
+
+assert(DeductTest.string("a"))
\ No newline at end of file
diff --git a/luadroidtest/src/main/java/com/oslorde/luadroidtest/DeductTest.java b/luadroidtest/src/main/java/com/oslorde/luadroidtest/DeductTest.java
new file mode 100644
index 0000000..4944fa3
--- /dev/null
+++ b/luadroidtest/src/main/java/com/oslorde/luadroidtest/DeductTest.java
@@ -0,0 +1,12 @@
+package com.oslorde.luadroidtest;
+
+/**
+ * @author weishu
+ * @date 2019-09-27.
+ */
+public class DeductTest {
+
+    public static Object string(String str) {
+        return str;
+    }
+}
diff --git a/luadroidtest/src/main/java/com/oslorde/luadroidtest/MainActivity.java b/luadroidtest/src/main/java/com/oslorde/luadroidtest/MainActivity.java
index d6b1165..38458c2 100644
--- a/luadroidtest/src/main/java/com/oslorde/luadroidtest/MainActivity.java
+++ b/luadroidtest/src/main/java/com/oslorde/luadroidtest/MainActivity.java
@@ -1,215 +1,228 @@
-package com.oslorde.luadroidtest;
-
-import android.content.res.AssetManager;
-import android.os.Bundle;
-import android.util.Log;
-
-import androidx.appcompat.app.AppCompatActivity;
-
-import com.android.dx.cf.direct.DirectClassFile;
-import com.android.dx.cf.direct.StdAttributeFactory;
-import com.android.dx.command.dexer.DxContext;
-import com.android.dx.dex.DexOptions;
-import com.android.dx.dex.cf.CfOptions;
-import com.android.dx.dex.cf.CfTranslator;
-import com.android.dx.dex.file.DexFile;
-import com.oslorde.luadroid.ScriptContext;
-import com.sun.source.util.JavacTask;
-
-import java.io.ByteArrayOutputStream;
-import java.io.File;
-import java.io.IOException;
-import java.io.InputStream;
-import java.io.OutputStream;
-import java.io.PrintWriter;
-import java.io.RandomAccessFile;
-import java.io.Writer;
-import java.lang.reflect.Constructor;
-import java.lang.reflect.Method;
-import java.net.URI;
-import java.nio.ByteBuffer;
-import java.nio.channels.FileChannel;
-import java.util.ArrayList;
-import java.util.Arrays;
-import java.util.Collections;
-import java.util.List;
-
-import javax.tools.Diagnostic;
-import javax.tools.DiagnosticListener;
-import javax.tools.FileObject;
-import javax.tools.ForwardingJavaFileManager;
-import javax.tools.JavaCompiler;
-import javax.tools.JavaFileObject;
-import javax.tools.SimpleJavaFileObject;
-import javax.tools.StandardJavaFileManager;
-import javax.tools.ToolProvider;
-
-import dalvik.system.DexClassLoader;
-
-
-public class MainActivity extends AppCompatActivity {
-
-    @Override
-    protected void onCreate(Bundle savedInstanceState) {
-        super.onCreate(savedInstanceState);
-        setContentView(R.layout.activity_main);
-        findViewById(R.id.test).setOnClickListener((v)->{
-            test();
-        });
-        test();
-    }
-    static {
-        System.loadLibrary("luadroid");
-    }
-
-    void test(){
-        compilerTest();
-    }
-
-    private static byte[] readAllBytes(InputStream in) throws IOException {
-        byte[] buf=new byte[1024];
-        int read;
-        ByteArrayOutputStream outputStream=new ByteArrayOutputStream();
-        while ((read=in.read(buf))>0){
-            outputStream.write(buf,0,read);
-        }
-        return outputStream.toByteArray();
-    }
-
-    private static String readAll(InputStream in) throws IOException{
-        byte[] buf=new byte[1024];
-        int read;
-        ByteArrayOutputStream outputStream=new ByteArrayOutputStream();
-        while ((read=in.read(buf))>0){
-            outputStream.write(buf,0,read);
-        }
-        return outputStream.toString();
-    }
-
-    static class MemoryJavaContent extends SimpleJavaFileObject
-    {
-        ByteArrayOutputStream bout=new ByteArrayOutputStream();
-
-        protected MemoryJavaContent(String name) {
-            super(URI.create(name), Kind.CLASS);
-        }
-
-        @Override
-        public OutputStream openOutputStream() throws IOException {
-            return bout;
-        }
-    }
-
-    static class MemoryJavaFileManager extends ForwardingJavaFileManager<StandardJavaFileManager>{
-
-        /**
-         * Creates a new instance of ForwardingJavaFileManager.
-         *
-         * @param fileManager delegate to this file manager
-         */
-        protected MemoryJavaFileManager(StandardJavaFileManager fileManager) {
-            super(fileManager);
-        }
-
-        public JavaFileObject getJavaFileForOutput(Location location,
-                                            String className,
-                                            JavaFileObject.Kind kind,
-                                            FileObject sibling) throws IOException{
-            if(kind== JavaFileObject.Kind.CLASS)
-                return new MemoryJavaContent(className);
-            else return super.getJavaFileForOutput(location,className,kind,sibling);
-        }
-
-        @Override
-        public FileObject getFileForOutput(Location location, String packageName, String relativeName, FileObject sibling) throws IOException {
-            return super.getFileForOutput(location, packageName, relativeName, sibling);
-        }
-    }
-
-    public DexFile generateDexFile(List<byte[]> classByteCodes){
-        DxContext dxContext=new DxContext();
-        DexOptions dexOptions=new DexOptions();
-        CfOptions cfOptions=new CfOptions();
-        DexFile dexFile=new DexFile(dexOptions);
-        for (byte[] cls:classByteCodes){
-            DirectClassFile directClassFile=new DirectClassFile(cls,"",false);
-            directClassFile.setAttributeFactory(StdAttributeFactory.THE_ONE);
-            directClassFile.getMagic();
-            dexFile.add(CfTranslator.translate(dxContext,directClassFile,cls,cfOptions,dexOptions,dexFile));
-        }
-        return dexFile;
-    }
-
-    public void compilerTest(){
-        JavaCompiler compiler= ToolProvider.getSystemJavaCompiler();
-        StandardJavaFileManager fileManager = compiler.getStandardFileManager(null,                 null, null);
-        DiagnosticListener<JavaFileObject> diagnosticListener=new DiagnosticListener<JavaFileObject>() {
-            @Override
-            public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
-                System.err.println(diagnostic);
-            }
-        };
-        Writer writer=new PrintWriter(System.err){
-            @Override
-            public void write(int c) {
-                super.write(c);
-            }
-        };
-
-        StringJavaFileObject testScript=new StringJavaFileObject("Main.java",
-                "package test;\n" +
-                        "import java.util.*;\n" +
-                        "public final class Main {\n" +
-                        "private Main(List<String> arg){Runnable v=()->System.out.println(arg);v.run();}\n" +
-                        "public static String greeting(String name) {\n" +
-                        "\treturn \"Hello \" + name;\n" + "}\n}\n");
-        List<String> options= Arrays.asList(
-                //"-source","1.8"
-        );
-
-        JavacTask task= (JavacTask) compiler.getTask(writer,new MemoryJavaFileManager(fileManager),diagnosticListener,options,null, Collections.singletonList(testScript));
-        try {
-            java.util.List<byte[]> bytes= new ArrayList<>();
-            for (JavaFileObject javaContent:task.generate()) {
-                bytes.add(((ByteArrayOutputStream)javaContent.openOutputStream()).toByteArray());
-            }
-            DexFile dexFile= generateDexFile(bytes);
-            File path = File.createTempFile("dk_", ".dex");
-            RandomAccessFile file=new RandomAccessFile(path,"rw");
-            byte[] dex=dexFile.toDex(null,false);
-            file.setLength(dex.length);
-            FileChannel channel=file.getChannel();
-            channel.map(FileChannel.MapMode.READ_WRITE,0,dex.length).put(ByteBuffer.wrap(dex));
-            channel.close();
-            file.close();
-            DexClassLoader loader=new DexClassLoader(path.getPath(),null,null,getClass().getClassLoader());
-            Class c=loader.loadClass("test.Main");
-            System.out.println(c);
-            for (Constructor constructor:c.getDeclaredConstructors()){
-                System.out.println(constructor);
-                constructor.setAccessible(true);
-                constructor.newInstance(Arrays.asList("gdfgdf","gdghdfh","juyujg"));
-            }
-            for (Method method:c.getDeclaredMethods()){
-                System.out.println(method);
-            }
-        } catch (Exception e) {
-            e.printStackTrace();
-        }
-    }
-
-
-    public void ffitest() {
-        // Context of the app under test.
-        ScriptContext context=new ScriptContext();
-        AssetManager manager=getAssets();
-        try(InputStream stream=manager.open("luaffitest.lua")) {
-            context.run(readAll(stream));
-        }catch (Exception e){
-            context.flushLog();
-            Log.e("ffi","Test failed",e);
-        }
-        context.flushLog();
-        Log.d("ffi","Test passed");
-    }
-}
+package com.oslorde.luadroidtest;
+
+import android.content.res.AssetManager;
+import android.os.Bundle;
+import android.util.Log;
+
+import androidx.appcompat.app.AppCompatActivity;
+
+import com.android.dx.cf.direct.DirectClassFile;
+import com.android.dx.cf.direct.StdAttributeFactory;
+import com.android.dx.command.dexer.DxContext;
+import com.android.dx.dex.DexOptions;
+import com.android.dx.dex.cf.CfOptions;
+import com.android.dx.dex.cf.CfTranslator;
+import com.android.dx.dex.file.DexFile;
+import com.oslorde.luadroid.ScriptContext;
+import com.sun.source.util.JavacTask;
+
+import java.io.ByteArrayOutputStream;
+import java.io.File;
+import java.io.IOException;
+import java.io.InputStream;
+import java.io.OutputStream;
+import java.io.PrintWriter;
+import java.io.RandomAccessFile;
+import java.io.Writer;
+import java.lang.reflect.Constructor;
+import java.lang.reflect.Method;
+import java.net.URI;
+import java.nio.ByteBuffer;
+import java.nio.channels.FileChannel;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.util.Collections;
+import java.util.List;
+
+import javax.tools.Diagnostic;
+import javax.tools.DiagnosticListener;
+import javax.tools.FileObject;
+import javax.tools.ForwardingJavaFileManager;
+import javax.tools.JavaCompiler;
+import javax.tools.JavaFileObject;
+import javax.tools.SimpleJavaFileObject;
+import javax.tools.StandardJavaFileManager;
+import javax.tools.ToolProvider;
+
+import dalvik.system.DexClassLoader;
+
+
+public class MainActivity extends AppCompatActivity {
+
+    @Override
+    protected void onCreate(Bundle savedInstanceState) {
+        super.onCreate(savedInstanceState);
+        setContentView(R.layout.activity_main);
+        findViewById(R.id.test).setOnClickListener((v)->{
+            test();
+        });
+        test();
+    }
+    static {
+        System.loadLibrary("luadroid");
+    }
+
+    void test(){
+        compilerTest();
+        deductTest();
+    }
+
+    private static byte[] readAllBytes(InputStream in) throws IOException {
+        byte[] buf=new byte[1024];
+        int read;
+        ByteArrayOutputStream outputStream=new ByteArrayOutputStream();
+        while ((read=in.read(buf))>0){
+            outputStream.write(buf,0,read);
+        }
+        return outputStream.toByteArray();
+    }
+
+    private static String readAll(InputStream in) throws IOException{
+        byte[] buf=new byte[1024];
+        int read;
+        ByteArrayOutputStream outputStream=new ByteArrayOutputStream();
+        while ((read=in.read(buf))>0){
+            outputStream.write(buf,0,read);
+        }
+        return outputStream.toString();
+    }
+
+    static class MemoryJavaContent extends SimpleJavaFileObject
+    {
+        ByteArrayOutputStream bout=new ByteArrayOutputStream();
+
+        protected MemoryJavaContent(String name) {
+            super(URI.create(name), Kind.CLASS);
+        }
+
+        @Override
+        public OutputStream openOutputStream() throws IOException {
+            return bout;
+        }
+    }
+
+    static class MemoryJavaFileManager extends ForwardingJavaFileManager<StandardJavaFileManager>{
+
+        /**
+         * Creates a new instance of ForwardingJavaFileManager.
+         *
+         * @param fileManager delegate to this file manager
+         */
+        protected MemoryJavaFileManager(StandardJavaFileManager fileManager) {
+            super(fileManager);
+        }
+
+        public JavaFileObject getJavaFileForOutput(Location location,
+                                            String className,
+                                            JavaFileObject.Kind kind,
+                                            FileObject sibling) throws IOException{
+            if(kind== JavaFileObject.Kind.CLASS)
+                return new MemoryJavaContent(className);
+            else return super.getJavaFileForOutput(location,className,kind,sibling);
+        }
+
+        @Override
+        public FileObject getFileForOutput(Location location, String packageName, String relativeName, FileObject sibling) throws IOException {
+            return super.getFileForOutput(location, packageName, relativeName, sibling);
+        }
+    }
+
+    public DexFile generateDexFile(List<byte[]> classByteCodes){
+        DxContext dxContext=new DxContext();
+        DexOptions dexOptions=new DexOptions();
+        CfOptions cfOptions=new CfOptions();
+        DexFile dexFile=new DexFile(dexOptions);
+        for (byte[] cls:classByteCodes){
+            DirectClassFile directClassFile=new DirectClassFile(cls,"",false);
+            directClassFile.setAttributeFactory(StdAttributeFactory.THE_ONE);
+            directClassFile.getMagic();
+            dexFile.add(CfTranslator.translate(dxContext,directClassFile,cls,cfOptions,dexOptions,dexFile));
+        }
+        return dexFile;
+    }
+
+    public void compilerTest(){
+        JavaCompiler compiler= ToolProvider.getSystemJavaCompiler();
+        StandardJavaFileManager fileManager = compiler.getStandardFileManager(null,                 null, null);
+        DiagnosticListener<JavaFileObject> diagnosticListener=new DiagnosticListener<JavaFileObject>() {
+            @Override
+            public void report(Diagnostic<? extends JavaFileObject> diagnostic) {
+                System.err.println(diagnostic);
+            }
+        };
+        Writer writer=new PrintWriter(System.err){
+            @Override
+            public void write(int c) {
+                super.write(c);
+            }
+        };
+
+        StringJavaFileObject testScript=new StringJavaFileObject("Main.java",
+                "package test;\n" +
+                        "import java.util.*;\n" +
+                        "public final class Main {\n" +
+                        "private Main(List<String> arg){Runnable v=()->System.out.println(arg);v.run();}\n" +
+                        "public static String greeting(String name) {\n" +
+                        "\treturn \"Hello \" + name;\n" + "}\n}\n");
+        List<String> options= Arrays.asList(
+                //"-source","1.8"
+        );
+
+        JavacTask task= (JavacTask) compiler.getTask(writer,new MemoryJavaFileManager(fileManager),diagnosticListener,options,null, Collections.singletonList(testScript));
+        try {
+            java.util.List<byte[]> bytes= new ArrayList<>();
+            for (JavaFileObject javaContent:task.generate()) {
+                bytes.add(((ByteArrayOutputStream)javaContent.openOutputStream()).toByteArray());
+            }
+            DexFile dexFile= generateDexFile(bytes);
+            File path = File.createTempFile("dk_", ".dex");
+            RandomAccessFile file=new RandomAccessFile(path,"rw");
+            byte[] dex=dexFile.toDex(null,false);
+            file.setLength(dex.length);
+            FileChannel channel=file.getChannel();
+            channel.map(FileChannel.MapMode.READ_WRITE,0,dex.length).put(ByteBuffer.wrap(dex));
+            channel.close();
+            file.close();
+            DexClassLoader loader=new DexClassLoader(path.getPath(),null,null,getClass().getClassLoader());
+            Class c=loader.loadClass("test.Main");
+            System.out.println(c);
+            for (Constructor constructor:c.getDeclaredConstructors()){
+                System.out.println(constructor);
+                constructor.setAccessible(true);
+                constructor.newInstance(Arrays.asList("gdfgdf","gdghdfh","juyujg"));
+            }
+            for (Method method:c.getDeclaredMethods()){
+                System.out.println(method);
+            }
+        } catch (Exception e) {
+            e.printStackTrace();
+        }
+    }
+
+    public void deductTest() {
+        ScriptContext context=new ScriptContext();
+        AssetManager manager=getAssets();
+        try(InputStream stream=manager.open("deduct.lua")) {
+            context.run(readAll(stream));
+        }catch (Exception e){
+            context.flushLog();
+            Log.e("deduct","Test failed",e);
+        }
+        context.flushLog();
+        Log.d("deduct","Test passed");
+    }
+
+    public void ffitest() {
+        // Context of the app under test.
+        ScriptContext context=new ScriptContext();
+        AssetManager manager=getAssets();
+        try(InputStream stream=manager.open("luaffitest.lua")) {
+            context.run(readAll(stream));
+        }catch (Exception e){
+            context.flushLog();
+            Log.e("ffi","Test failed",e);
+        }
+        context.flushLog();
+        Log.d("ffi","Test passed");
+    }
+}