private void check_implement_abstract_function(common_type_node cnode, function_node meth, type_node interf) { SymbolInfo si = cnode.find_in_type(meth.name, cnode.Scope); function_node fn = null; while (si != null) { if (si.sym_info.general_node_type == general_node_type.function_node) { fn = si.sym_info as function_node; //Сверяем параметры и тип возвращаемого значения if (convertion_data_and_alghoritms.function_eq_params_and_result(meth, fn)) { //Нашли нужную функцию if (meth == fn || fn is common_method_node && (fn as common_method_node).overrided_method == null) si = null; break; } } //Переходим к следующей функции-кандидату si = si.Next; } if (si == null) { cnode.SetIsAbstract(true); return; //Нет функции с таким именем, набором параметров и возвращаемым значением //AddError(new AbstractMemberNotImplemented(cnode.name, interf.name, Tools.GetFullMethodHeaderString(meth), cnode.is_value_type, cnode.loc)); } //Теперь проверяем на public и non-static bool bad = false; common_method_node commn = si.sym_info as common_method_node; compiled_function_node compn = si.sym_info as compiled_function_node; SemanticTree.polymorphic_state pstate = SemanticTree.polymorphic_state.ps_static; //Проверка пройдена! if (commn != null && commn.common_comprehensive_type == cnode) { //Найденная функция описана в самом классе. if (commn.polymorphic_state == SemanticTree.polymorphic_state.ps_common) { //Делаем её virtual final commn.is_final = true; commn.newslot_awaited = true; } } else { //Найденная функция описана в каком-то предке класса //Генерируем новую newslot virtual final функцию, вызывающую ту. if (pstate == SemanticTree.polymorphic_state.ps_common) { syntax_tree_visitor.generate_inherited_from_base_and_interface_function(cnode, fn); } } }