//Проверка типа на наличие функции из интерфейса
private void check_implement_function(common_type_node cnode, function_node meth, type_node interf)
{
//Ищем все функции с нужным именем в типе и его предках
SymbolInfo si = cnode.find_in_type(meth.name, cnode.Scope);
SymbolInfo tmp_si = null;
if (meth is compiled_function_node)
tmp_si = cnode.find_in_type((meth as compiled_function_node).cont_type.BaseFullName + "." + meth.name, cnode.Scope);
else if (meth is common_method_node)
tmp_si = cnode.find_in_type((meth as common_method_node).cont_type.BaseFullName + "." + meth.name, cnode.Scope);
if (tmp_si != null)
{
SymbolInfo tmp_si2 = tmp_si;
while (tmp_si2.Next != null)
tmp_si2 = tmp_si2.Next;
tmp_si.Next = si;
si = tmp_si;
}
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, true) && fn.polymorphic_state != SemanticTree.polymorphic_state.ps_virtual_abstract)
{
//Нашли нужную функцию
common_method_node fn_common = fn as common_method_node;
if (fn_common != null)
{
if (fn_common.name_case_fixed)
{
if (fn_common.name != meth.name)
{
syntax_tree_visitor.AddError(fn_common.loc, "AMBIGUITY_BETWEEN_NAMES_{0}_AND_{1}", fn_common.name, meth.name);
}
}
else
{
fn_common.SetName(meth.name);
fn_common.name_case_fixed = true;
}
}
break;
}
}
//Переходим к следующей функции-кандидату
si = si.Next;
}
if (si == null)
{
//Нет функции с таким именем, набором параметров и возвращаемым значением
AddError(new InterfaceMemberNotImplemented(cnode.PrintableName, interf.PrintableName, 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)
{
pstate = commn.polymorphic_state;
if (commn.polymorphic_state == SemanticTree.polymorphic_state.ps_static ||
commn.field_access_level != SemanticTree.field_access_level.fal_public ||
commn.is_constructor)
{
bad = true;
}
}
else
{
if (compn != null)
{
pstate = compn.polymorphic_state;
if (compn.polymorphic_state == SemanticTree.polymorphic_state.ps_static ||
compn.field_access_level != SemanticTree.field_access_level.fal_public)
{
bad = true;
}
}
else
{
//Сюда заходить не должны
bad = true;
}
}
if (bad)
{
AddError(new DerivedFromInterfaceMethodMustBePublicAndNonStatic(
cnode.name, interf.name,
Tools.GetFullMethodHeaderString(meth), cnode.is_value_type, cnode.loc));
}
//Проверка пройдена!
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);
}
}
}
private string get_delegate_name(common_type_node ctn)
{
common_method_node cmn = ctn.find_in_type(compiler_string_consts.invoke_method_name).sym_info as common_method_node;
StringBuilder sb = new StringBuilder();
if (cmn.return_value_type != null)
sb.Append("@function");
else sb.Append("@procedure");
if (cmn.parameters.Count > 0)
{
sb.Append('(');
for (int i=0; i<cmn.parameters.Count; i++)
{
sb.Append(get_name(cmn.parameters[i].type));
if (cmn.parameters[i].parameter_type == SemanticTree.parameter_type.var)
sb.Append('@');
if (i<cmn.parameters.Count-1)
sb.Append(',');
}
sb.Append(')');
}
if (cmn.return_value_type != null)
sb.Append(":"+get_name(cmn.return_value_type));
return sb.ToString();
}
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);
}
}
}
