public SymbolInfo(local_variable value) { //_name_information_type=name_information_type.nit_local_variable; _sym_info = value; _access_level = access_level.al_public; _symbol_kind = symbol_kind.sk_none; }
/// <summary> /// Исправление VariableDefinitionNode для переменной Result функций. /// В семантике эта переменная называется $rv_{FuncName}, а нам нужно имя result /// Создается новый фиктивный экземпляр local_variable с тем же типом и именем result и возвращается вместо старого. /// </summary> private void FixResultVar() { for (int i = 0; i < Variables.Count; ++i) { if (Variables[i].name.StartsWith("$rv_")) { local_variable OldResult = Variables[i] as local_variable; local_variable NewResult = new local_variable("result", OldResult.type, OldResult.function, OldResult.loc); Variables[i] = NewResult; } } }
private void VisitNestedFunction(common_in_function_function_node cnfn) { if (extended_mode) { VisitVariables(cnfn.var_definition_nodes_list); } foreach (var_definition_node vdn in cnfn.var_definition_nodes_list) { helper.AddVariable(vdn); } foreach (common_parameter prm in cnfn.parameters) { helper.AddParameter(prm); } foreach (common_in_function_function_node nested in cnfn.functions_nodes_list) { VisitNestedFunction(nested); } cur_func = cnfn; VisitStatement(cnfn.function_code); foreach (var_definition_node vdn2 in cnfn.var_definition_nodes_list) { if (vdn2 is local_variable) { local_variable vdn = vdn2 as local_variable; VarInfo vi = helper.GetVariable(vdn); if (vi.num_use == 0 && !vdn.is_special_name) { warns.Add(new UnusedVariable(vdn.name, vdn.loc)); } else if (vi.num_ass == 0 && vdn.is_ret_value && !cnfn.name.StartsWith("<") && cnfn.return_value_type.type_special_kind != SemanticTree.type_special_kind.record && !cnfn.return_value_type.IsPointer && cnfn.return_value_type.type_special_kind != SemanticTree.type_special_kind.array_wrapper && !helper.IsExternal(cnfn)) { warns.Add(new UndefinedReturnValue(cnfn.name, cnfn.function_code.location)); } if (vi.num_ass > 0 && vi.act_num_use == 0 && !vdn.is_special_name) { warns.Add(new AssignWithoutUsing(vdn.name, vi.last_ass_loc)); } } else if (vdn2 is local_block_variable) { local_block_variable vdn = vdn2 as local_block_variable; VarInfo vi = helper.GetVariable(vdn); if (vi.num_use == 0 && !vdn.is_special_name) { warns.Add(new UnusedVariable(vdn.name, vdn.loc)); } else if (vi.num_ass == 0 && vdn.is_ret_value && !cnfn.name.StartsWith("<") && cnfn.return_value_type.type_special_kind != SemanticTree.type_special_kind.record && !cnfn.return_value_type.IsPointer && cnfn.return_value_type.type_special_kind != SemanticTree.type_special_kind.array_wrapper && !helper.IsExternal(cnfn)) { warns.Add(new UndefinedReturnValue(cnfn.name, cnfn.function_code.location)); } if (vi.num_ass > 0 && vi.act_num_use == 0 && !vdn.is_special_name) { warns.Add(new AssignWithoutUsing(vdn.name, vi.last_ass_loc)); } } if (vdn2.inital_value != null) { VisitExpression(vdn2.inital_value); } } foreach (common_parameter prm in cnfn.parameters) { ParamInfo vi = helper.GetParameter(prm); if (prm.inital_value != null) { VisitExpression(prm.inital_value); } //if (vi.num_use == 0 && !prm.name.Contains("$")) warns.Add(new UnusedParameter(prm.name, prm.loc)); } foreach (var_definition_node vdn in cnfn.var_definition_nodes_list) { VarInfo vi = helper.GetVariable(vdn); if (vdn.inital_value != null) { VisitExpression(vdn.inital_value); } } }
private void VisitMethod(common_method_node cmn) { if (extended_mode) { VisitVariables(cmn.var_definition_nodes_list); } foreach (var_definition_node vdn in cmn.var_definition_nodes_list) { helper.AddVariable(vdn); } foreach (common_parameter prm in cmn.parameters) { helper.AddParameter(prm); } foreach (common_in_function_function_node nested in cmn.functions_nodes_list) { VisitNestedFunction(nested); } cur_func = cmn; VisitStatement(cmn.function_code); foreach (var_definition_node vdn2 in cmn.var_definition_nodes_list) { if (vdn2 is local_variable) { local_variable vdn = vdn2 as local_variable; VarInfo vi = helper.GetVariable(vdn); if (vi.num_use == 0 && !vdn.is_special_name) { warns.Add(new UnusedVariable(vdn.name, vdn.loc)); } else if (vi.num_ass == 0 && vdn.is_ret_value && !cmn.name.StartsWith("<") && !cmn.cont_type.IsInterface && cmn.polymorphic_state != SemanticTree.polymorphic_state.ps_virtual_abstract && cmn.return_value_type != null && !cmn.return_value_type.IsPointer && !cmn.is_constructor && cmn.return_value_type.type_special_kind != SemanticTree.type_special_kind.record && cmn.return_value_type.type_special_kind != SemanticTree.type_special_kind.array_wrapper && !helper.IsExternal(cmn)) { warns.Add(new UndefinedReturnValue(cmn.name, cmn.function_code.location)); } } else if (vdn2 is local_block_variable) { local_block_variable vdn = vdn2 as local_block_variable; VarInfo vi = helper.GetVariable(vdn); if (vi.num_use == 0 && !vdn.is_special_name) { warns.Add(new UnusedVariable(vdn.name, vdn.loc)); } else if (vi.num_ass == 0 && vdn.is_ret_value && !cmn.name.StartsWith("<") && !cmn.cont_type.IsInterface && cmn.polymorphic_state != SemanticTree.polymorphic_state.ps_virtual_abstract && cmn.return_value_type != null && !cmn.return_value_type.IsPointer && !cmn.is_constructor && cmn.return_value_type.type_special_kind != SemanticTree.type_special_kind.record && cmn.return_value_type.type_special_kind != SemanticTree.type_special_kind.array_wrapper && !helper.IsExternal(cmn)) { warns.Add(new UndefinedReturnValue(cmn.name, cmn.function_code.location)); } } if (vdn2.inital_value != null) { VisitExpression(vdn2.inital_value); } } foreach (common_parameter prm in cmn.parameters) { ParamInfo vi = helper.GetParameter(prm); if (prm.inital_value != null) { VisitExpression(prm.inital_value); } //if (vi.num_use == 0 && !prm.name.Contains("$")) warns.Add(new UnusedParameter(prm.name, prm.loc)); } foreach (var_definition_node vdn in cmn.var_definition_nodes_list) { VarInfo vi = helper.GetVariable(vdn); if (vdn.inital_value != null) { VisitExpression(vdn.inital_value); } } }