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);
}
}
}
