diff --git a/vm/vmcore/src/verifier/ver_utils.cpp b/vm/vmcore/src/verifier/ver_utils.cpp index ef96b04..a1e6135 100644 --- a/vm/vmcore/src/verifier/ver_utils.cpp +++ b/vm/vmcore/src/verifier/ver_utils.cpp @@ -1105,7 +1105,8 @@ vf_check_without_loading( vf_TypeConstra if( ( restriction->m_target[0] != '[' && restriction->m_source[0] == '[' ) || ( restriction->m_target[0] != '[' - && restriction->m_source[0] == '[' ) ) { + && restriction->m_source[0] == '[' ) ) + { vf_set_error( VF_CHECK_PARAM, ctx ); return VER_ErrorIncompatibleArgument; } @@ -1290,10 +1291,13 @@ vf_check_class_constraints( vf_Context * // check constraints for( vf_TypeConstraint *constraint = collection; - constraint; constraint = constraint->m_next ) { + constraint; + constraint = constraint->m_next ) + { // set context method - // FIXME - need set method to context? - //ctx->SetMethod( constraint->m_method ); + ctx->m_method = constraint->m_method; + ctx->m_name = constraint->m_name; + ctx->m_descriptor = constraint->m_descriptor; // check constraint vf_Result result = vf_check_constraint( constraint, ctx );