//Проверка типа на наличие функции из интерфейса 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); } } }