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