// Copyright (c) Ivan Bondarev, Stanislav Mikhalkovich (for details please see \doc\copyright.txt) // This code is distributed under the GNU LGPL (for details please see \doc\license.txt) using System; using System.Linq; using System.Collections.Generic; using System.Text; using PascalABCCompiler.SyntaxTree; using System.Reflection; using PascalABCCompiler; using PascalABCCompiler.TreeConverter; //using PascalABCCompiler.TreeRealization; using SymbolTable; using PascalABCCompiler.Parsers; namespace CodeCompletion { ///

/// Парсит выражение до точки, скобки и проч. ///

public class ExpressionVisitor : PascalABCCompiler.SyntaxTree.AbstractVisitor { private expression expr; public SymScope returned_scope; private List returned_scopes = new List(); private bool search_all = false; public SymScope entry_scope; private bool by_dot = false; private bool on_bracket; internal bool mouse_hover = false; private DomSyntaxTreeVisitor stv = null; private SymScope[] selected_methods = null; private Dictionary method_call_cache = new Dictionary(); public ExpressionVisitor(SymScope entry_scope, DomSyntaxTreeVisitor stv) { this.entry_scope = entry_scope; this.stv = stv; } public ExpressionVisitor(expression expr, SymScope entry_scope, DomSyntaxTreeVisitor stv) { this.expr = expr; this.entry_scope = entry_scope; this.stv = stv; } public SymScope GetScopeOfExpression() { if (expr is const_node && !(expr is string_const) && !(expr is char_const) && !(expr is bool_const)) return null; if (mouse_hover && (expr is typeof_operator || expr is sizeof_operator)) return null; try { expr.visit(this); } catch (Exception e) { returned_scope = null; } if (returned_scope is ProcScope && (expr is ident || expr is dot_node)) { try { expr = new method_call(expr as addressed_value, new expression_list()); expr.visit(this); } catch (Exception e) { } } if (returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is ProcScope) { if ((returned_scope as ElementScope).si.kind == SymbolKind.Delegate) returned_scope = (returned_scope as ElementScope).sc; } //else ret_scope = (ret_scope as ElementScope).sc as ProcScope; return returned_scope; } public SymScope GetScopeOfExpression(bool by_dot, bool on_bracket) { if (expr is const_node && !(expr is string_const) && !(expr is char_const) && !(expr is bool_const)) return null; this.on_bracket = on_bracket; try { expr.visit(this); } catch (Exception) { returned_scope = null; } if (returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is ProcType && expr is method_call) { if (by_dot) if (((returned_scope as ElementScope).sc as ProcType).target.return_type != null) returned_scope = new ElementScope(((returned_scope as ElementScope).sc as ProcType).target.return_type); else returned_scope = null; } else if (returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is ProcScope) { ProcScope ps = (returned_scope as ElementScope).sc as ProcScope; TypeScope return_type = ps.return_type; if (ps.is_constructor) return_type = ps.declaringType; if (by_dot) if (return_type != null) returned_scope = new ElementScope(return_type); else returned_scope = null; } else if (returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is CompiledScope && ((returned_scope as ElementScope).sc as CompiledScope).CompiledType.BaseType == typeof(MulticastDelegate) && expr is method_call) { ProcScope invoke_meth = ((returned_scope as ElementScope).sc as CompiledScope).FindNameOnlyInThisType("Invoke") as ProcScope; if (invoke_meth != null) returned_scope = new ElementScope(invoke_meth.return_type); } else if (returned_scope != null && returned_scope is ProcScope) { ProcScope ps = returned_scope as ProcScope; TypeScope return_type = ps.return_type; if (ps.is_constructor) return_type = ps.declaringType; if (return_type == null) { if (by_dot) returned_scope = null; } else if (by_dot) returned_scope = new ElementScope(return_type); } return returned_scope; } public List GetOverloadScopes() { if (expr is const_node && !(expr is string_const) && !(expr is char_const) && !(expr is bool_const)) return null; this.search_all = true; this.on_bracket = true; List proces = new List(); try { expr.visit(this); } catch (Exception e) { returned_scope = null; } if (returned_scopes != null) for (int i = 0; i < returned_scopes.Count; i++) { if (returned_scopes[i] is ElementScope && (returned_scopes[i] as ElementScope).sc is ProcScope) { ProcScope tmp = (returned_scopes[i] as ElementScope).sc as ProcScope; if (tmp != null) proces.Add(tmp); } else if (returned_scopes[i] is ElementScope && (returned_scopes[i] as ElementScope).sc is ProcType) { ProcScope tmp = ((returned_scopes[i] as ElementScope).sc as ProcType).target; if (tmp != null) proces.Add(tmp); } else if (returned_scopes[i] is ProcScope) { if (!((returned_scopes[i] as ProcScope).is_constructor && returned_scopes[i].is_static)) proces.Add(returned_scopes[i] as ProcScope); } else if (returned_scopes[i] is ElementScope && (returned_scopes[i] as ElementScope).sc is CompiledScope) { //ProcType pt = new ProcType(); CompiledScope cs = (returned_scopes[i] as ElementScope).sc as CompiledScope; ProcScope ps = cs.FindNameOnlyInThisType("Invoke") as ProcScope; if (ps != null) proces.Add(ps); } else if (returned_scopes[i] is ElementScope && (returned_scopes[i] as ElementScope).sc is TypeSynonim) { TypeSynonim ts = (returned_scopes[i] as ElementScope).sc as TypeSynonim; TypeScope act_ts = ts.GetLeafActType(); ProcType procType = act_ts as ProcType; if (procType != null) { ProcScope tmp = procType.target; if (tmp != null) proces.Add(tmp); } else { CompiledScope cs = act_ts as CompiledScope; if (cs != null) { ProcScope ps = cs.FindNameOnlyInThisType("Invoke") as ProcScope; if (ps != null) proces.Add(ps); } } } else if (returned_scopes[i] is TypeScope) { // операция преобразования типа не поддерживается здесь EVA continue; } else if (i == 0) return proces; } return proces; } public override void visit(default_operator node) { returned_scope = null; } public override void visit(template_type_name node) { throw new NotImplementedException(); } public override void visit(syntax_tree_node _syntax_tree_node) { throw new NotImplementedException(); } public override void visit(statement_list _statement_list) { foreach (statement stmt in _statement_list.subnodes) stmt.visit(this); } public override void visit(expression _expression) { throw new NotImplementedException(); } public override void visit(assign _assign) { if (_assign.to is ident && (_assign.to as ident).name == "result") _assign.from.visit(this); } public override void visit(bin_expr _bin_expr) { //throw new NotImplementedException(); //_bin_expr.left.visit(this); if (_bin_expr.operation_type == Operators.As) { _bin_expr.right.visit(this); if (returned_scope != null) returned_scope = new ElementScope(returned_scope); } else if (_bin_expr.operation_type == Operators.Is) returned_scope = new ElementScope(TypeTable.bool_type); else { _bin_expr.left.visit(this); TypeScope tleft = returned_scope as TypeScope; if (tleft == null && returned_scope is ElementScope) tleft = (returned_scope as ElementScope).sc as TypeScope; _bin_expr.right.visit(this); TypeScope tright = returned_scope as TypeScope; if (tright == null && returned_scope is ElementScope) tright = (returned_scope as ElementScope).sc as TypeScope; if (tleft != null && tright != null) { string name = PascalABCCompiler.TreeConverter.name_reflector.get_name(_bin_expr.operation_type); List lst = tleft.FindOverloadNamesOnlyInType(name); List lst_right = tright.FindOverloadNamesOnlyInType(name); if (lst.Count == 0 && !char.IsLetter(name[0])) lst = tleft.FindOverloadNamesOnlyInType("operator" + name); if (lst_right.Count == 0 && !char.IsLetter(name[0])) lst_right = tright.FindOverloadNamesOnlyInType("operator" + name); if (!char.IsLetter(name[0])) name = "operator" + name; else name = "operator " + name; List meths = entry_scope.GetExtensionMethods(name, tleft); foreach (ProcScope meth in meths) lst.Add(meth); lst.AddRange(lst_right); meths = entry_scope.GetExtensionMethods(name, tright); foreach (ProcScope meth in meths) lst.Add(meth); ProcScope ps = select_method(lst.ToArray(), tleft, tright, null, _bin_expr.left, _bin_expr.right); if (ps != null) returned_scope = new ElementScope(ps.return_type); else returned_scope = new ElementScope(tleft); } else if (tleft != null) returned_scope = new ElementScope(tleft); else returned_scope = new ElementScope(tright); } } public override void visit(un_expr _un_expr) { //throw new NotImplementedException(); if (_un_expr.operation_type == Operators.LogicalNOT) returned_scope = TypeTable.bool_type; else { _un_expr.subnode.visit(this); if (returned_scope != null && returned_scope is TypeScope) returned_scope = new ElementScope(returned_scope); } } public override void visit(const_node _const_node) { throw new NotImplementedException(); } public override void visit(bool_const _bool_const) { returned_scope = new ElementScope(TypeTable.bool_type); } public override void visit(int32_const _int32_const) { returned_scope = new ElementScope(TypeTable.int_type); } public override void visit(double_const _double_const) { returned_scope = new ElementScope(TypeTable.real_type); } public override void visit(statement _statement) { throw new NotImplementedException(); } public override void visit(subprogram_body _subprogram_body) { throw new NotImplementedException(); } public override void visit(ident _ident) { if (!search_all) { returned_scope = null; //if (any_order) ret_scope = entry_scope.FindNameInAnyOrder(_ident.name); returned_scope = entry_scope.FindName(_ident.name); if (returned_scope == null && string.Compare(entry_scope.Name, _ident.name, true) == 0 && entry_scope is ProcScope) { returned_scope = entry_scope; return; } if (returned_scope is ProcScope && (returned_scope as ProcScope).parameters.Count != 0) { returned_scopes = entry_scope.FindOverloadNames(_ident.name); returned_scope = returned_scopes.Find(x => x is ProcScope && (x as ProcScope).parameters.Count == 0); if (returned_scope == null) returned_scope = returned_scopes[0]; } /*if (returned_scope == null && entry_scope.topScope == null) { try { returned_scope = entry_scope.FindNameInAnyOrder(_ident.name); } catch (Exception e) { } } else if (returned_scope == null && entry_scope.topScope != null) { try { returned_scope = entry_scope.topScope.FindNameInAnyOrder(_ident.name); } catch (Exception e) { } }*/ if (returned_scope != null) { if (returned_scope is ProcScope) { returned_scope = new ElementScope(returned_scope); } else if (returned_scope is ElementScope && (returned_scope as ElementScope).sc is ProcType && by_dot) { //TypeScope ts = ((returned_scope as ElementScope).sc as ProcType).target.return_type; //if (ts != null) // returned_scope = new ElementScope(ts); } if (returned_scope is ElementScope) returned_scope = CheckForAccess(entry_scope, returned_scope as ElementScope); } } else { returned_scopes = null; returned_scopes = entry_scope.FindOverloadNames(_ident.name); for (int i = 0; i < returned_scopes.Count; i++) { if (returned_scopes[i] is ElementScope && ((returned_scopes[i] as ElementScope).sc is ProcType)) { returned_scopes[i] = CheckForAccess(entry_scope, returned_scopes[i] as ElementScope); //if (ret_names[i] != null) //ret_names[i] = ((ret_names[i] as ElementScope).sc as ProcType).target; } } search_all = false; } } public override void visit(addressed_value _addressed_value) { throw new NotImplementedException(); } public override void visit(type_definition _type_definition) { throw new NotImplementedException(); } public override void visit(named_type_reference _named_type_reference) { //throw new NotImplementedException(); returned_scope = entry_scope; for (int i = 0; i < _named_type_reference.names.Count; i++) { returned_scope = returned_scope.FindName(_named_type_reference.names[i].name); if (returned_scope == null) return; } } public override void visit(variable_definitions _variable_definitions) { throw new NotImplementedException(); } public override void visit(ident_list _ident_list) { throw new NotImplementedException(); } public override void visit(var_def_statement _var_def_statement) { throw new NotImplementedException(); } public override void visit(declaration _declaration) { throw new NotImplementedException(); } public override void visit(declarations _declarations) { throw new NotImplementedException(); } public override void visit(program_tree _program_tree) { throw new NotImplementedException(); } public override void visit(program_name _program_name) { throw new NotImplementedException(); } public override void visit(string_const _string_const) { returned_scope = new ElementScope(entry_scope.FindName(StringConstants.string_type_name)); } public override void visit(expression_list _expression_list) { throw new NotImplementedException(); } public override void visit(dereference _dereference) { //throw new NotImplementedException(); } public override void visit(roof_dereference _roof_dereference) { //throw new NotImplementedException(); _roof_dereference.dereferencing_value.visit(this); ElementScope es = returned_scope as ElementScope; if (es == null) { returned_scope = null; return; } if (es.sc != null && es.sc is PointerScope) { returned_scope = new ElementScope((es.sc as PointerScope).ref_type); } else returned_scope = null; } public override void visit(indexer _indexer) { //throw new NotImplementedException(); _indexer.dereferencing_value.visit(this); if (returned_scope != null) { ElementScope es = returned_scope as ElementScope; if (returned_scope != null) if (es != null && es.sc is ProcScope && (es.sc as ProcScope).return_type != null) returned_scope = new ElementScope((es.sc as ProcScope).return_type.GetElementType()); else if (returned_scope is ProcScope && (returned_scope as ProcScope).is_constructor) returned_scope = new ElementScope((returned_scope as ProcScope).declaringType.GetElementType()); else if (es != null && es.sc is TypeScope) { TypeScope ts = es.sc as TypeScope; if (es.IsIndexedProperty) returned_scope = new ElementScope(ts); else if (ts.GetFullName() != null && (ts.GetFullName().IndexOf("System.Tuple") == 0 || ts.original_type != null && ts.original_type.GetFullName() != null && ts.original_type.GetFullName().IndexOf("(T1,") == 0)) { if (_indexer.indexes.expressions[0] is int32_const) { if ((_indexer.indexes.expressions[0] as int32_const).val >= 0) { dot_node dn = new dot_node(_indexer.dereferencing_value, new ident("Item" + ((_indexer.indexes.expressions[0] as int32_const).val + 1))); dn.visit(this); } else returned_scope = null; } else returned_scope = null; } else returned_scope = new ElementScope(returned_scope.GetElementType()); } else if (returned_scope is ProcScope && (returned_scope as ProcScope).return_type != null) returned_scope = new ElementScope((returned_scope as ProcScope).return_type.GetElementType()); else returned_scope = new ElementScope(returned_scope.GetElementType()); } else { for (int i = 0; i < returned_scopes.Count; i++) { if (returned_scopes[i] is ElementScope && (returned_scopes[i] as ElementScope).sc is ProcScope && ((returned_scopes[i] as ElementScope).sc as ProcScope).return_type != null) returned_scopes[i] = new ElementScope(((returned_scopes[i] as ElementScope).sc as ProcScope).return_type.GetElementType()); else if (returned_scopes[i] is ProcScope && (returned_scopes[i] as ProcScope).is_constructor) returned_scopes[i] = new ElementScope((returned_scopes[i] as ProcScope).declaringType.GetElementType()); else returned_scopes[i] = new ElementScope(returned_scopes[i].GetElementType()); } search_all = false; } } public override void visit(for_node _for_node) { throw new NotImplementedException(); } public override void visit(repeat_node _repeat_node) { throw new NotImplementedException(); } public override void visit(while_node _while_node) { throw new NotImplementedException(); } public override void visit(if_node _if_node) { _if_node.then_body.visit(this); } public override void visit(ref_type _ref_type) { throw new NotImplementedException(); } public override void visit(diapason _diapason) { throw new NotImplementedException(); } public override void visit(indexers_types _indexers_types) { throw new NotImplementedException(); } public override void visit(array_type _array_type) { throw new NotImplementedException(); } public override void visit(label_definitions _label_definitions) { throw new NotImplementedException(); } public override void visit(procedure_attribute _procedure_attribute) { throw new NotImplementedException(); } public override void visit(typed_parameters _typed_parametres) { throw new NotImplementedException(); } public override void visit(formal_parameters _formal_parametres) { throw new NotImplementedException(); } public override void visit(procedure_attributes_list _procedure_attributes_list) { throw new NotImplementedException(); } public override void visit(procedure_header _procedure_header) { throw new NotImplementedException(); } public override void visit(function_header _function_header) { throw new NotImplementedException(); } public override void visit(procedure_definition _procedure_definition) { throw new NotImplementedException(); } public override void visit(type_declaration _type_declaration) { throw new NotImplementedException(); } public override void visit(type_declarations _type_declarations) { throw new NotImplementedException(); } public override void visit(simple_const_definition _simple_const_definition) { throw new NotImplementedException(); } public override void visit(typed_const_definition _typed_const_definition) { throw new NotImplementedException(); } public override void visit(const_definition _const_definition) { throw new NotImplementedException(); } public override void visit(consts_definitions_list _consts_definitions_list) { throw new NotImplementedException(); } public override void visit(unit_name _unit_name) { throw new NotImplementedException(); } public override void visit(unit_or_namespace _unit_or_namespace) { throw new NotImplementedException(); } public override void visit(uses_unit_in _uses_unit_in) { throw new NotImplementedException(); } public override void visit(uses_list _uses_list) { throw new NotImplementedException(); } public override void visit(program_body _program_body) { throw new NotImplementedException(); } public override void visit(compilation_unit _compilation_unit) { throw new NotImplementedException(); } public override void visit(unit_module _unit_module) { throw new NotImplementedException(); } public override void visit(program_module _program_module) { throw new NotImplementedException(); } public override void visit(hex_constant _hex_constant) { throw new NotImplementedException(); } public override void visit(get_address _get_address) { //throw new NotImplementedException(); returned_scope = null; } public override void visit(case_variant _case_variant) { } public override void visit(case_node _case_node) { } public override void visit(method_name _method_name) { } public bool CheckForBaseAccess(SymScope cur, SymScope sc) { if (IsInOneModule(cur, sc)) return true; if (cur == sc) return true; if (cur is CompiledScope && sc is CompiledScope && (cur as CompiledScope).ctn == (sc as CompiledScope).ctn) return true; if (cur == null) return false; if (cur is TypeScope) { return CheckForBaseAccess((cur as TypeScope).baseScope, sc); } else return CheckForBaseAccess(cur.topScope, sc); } public bool CheckPrivateInSameUnit(SymScope cur, SymScope sc) { return true; } public bool IsInOneModule(SymScope cur, SymScope sc) { if (cur == sc) return true; if (cur == null) return false; SymScope tmp = cur.topScope; if (tmp == null) tmp = cur; if (sc.topScope == null) return false; while (tmp != null) { if (tmp == sc.topScope || sc.topScope != null && sc.topScope.topScope == tmp) return true; tmp = tmp.topScope; } return false; } public bool CheckPrivateForBaseAccess(SymScope cur, SymScope sc) { //if (CheckPrivateInSameUnit(cur, sc)) return true; if (IsInOneModule(cur, sc)) return true; if (cur == sc) return true; if (cur == null) return false; return CheckPrivateForBaseAccess(cur.topScope, sc); } public SymScope CheckForAccess(ElementScope ss, ElementScope es) { if (es.is_static) return null; if (es.acc_mod == access_modifer.none || es.acc_mod == access_modifer.public_modifer || es.acc_mod == access_modifer.published_modifer || es.acc_mod == access_modifer.internal_modifer) return es; if (es.acc_mod == access_modifer.private_modifer) //if (entry_scope == ss.sc) return es; else if (es.topScope is TypeScope && CheckPrivateForBaseAccess(entry_scope, es.topScope)) return es; if (es.acc_mod == access_modifer.protected_modifer) //if (entry_scope == ss.sc || CheckForBaseAccess(entry_scope,ss.sc)) if (es.topScope is TypeScope && CheckForBaseAccess(entry_scope, es.topScope)) return es; //return es; return null; } public SymScope CheckForAccess(ElementScope ss, ProcScope es) { if (es.acc_mod == access_modifer.protected_modifer) if (es.topScope is TypeScope && CheckForBaseAccess(entry_scope, es.topScope)) return es; return null; } public SymScope CheckForAccess(TypeScope ss, ElementScope es) { if (es.acc_mod == access_modifer.none || es.acc_mod == access_modifer.public_modifer || es.acc_mod == access_modifer.published_modifer || es.acc_mod == access_modifer.internal_modifer) return es; if (es.acc_mod == access_modifer.private_modifer) if (entry_scope == ss) return es; else if (CheckPrivateForBaseAccess(entry_scope, ss)) return es; if (es.acc_mod == access_modifer.protected_modifer) if (entry_scope == ss || CheckForBaseAccess(entry_scope, ss)) return es; return null; } public SymScope CheckForAccess(SymScope ss, ElementScope es) { if (ss == null) return null; if (ss is ProcScope) return CheckForAccess(ss.topScope, es); if (ss is TypeScope) if (es.topScope is TypeScope) return CheckForAccess(es.topScope as TypeScope, es); return es; } public override void visit(dot_question_node _dot_question_node) { dot_node dn = new dot_node(_dot_question_node.left, _dot_question_node.right, _dot_question_node.source_context); dn.visit(this); } public override void visit(dot_node _dot_node) { bool tmp = by_dot; by_dot = true; bool tmp2 = search_all; search_all = false; _dot_node.left.visit(this); search_all = tmp2; by_dot = tmp; if (returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is ProcScope) { if (((returned_scope as ElementScope).sc as ProcScope).return_type != null) returned_scope = new ElementScope(((returned_scope as ElementScope).sc as ProcScope).return_type); else returned_scope = null; } else if (returned_scope != null && returned_scope is ProcScope) { ProcScope ps = returned_scope as ProcScope; if (ps.return_type == null) { if (ps.is_constructor) returned_scope = new ElementScope(ps.declaringType); else returned_scope = null; } else returned_scope = new ElementScope((returned_scope as ProcScope).return_type); } else if (returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is ProcType && _dot_node.left is method_call) { TypeScope ts = ((returned_scope as ElementScope).sc as ProcType).target.return_type; if (ts != null) returned_scope = new ElementScope(ts); } else if ((returned_scope != null && returned_scope is ElementScope && (returned_scope as ElementScope).sc is CompiledScope && ((returned_scope as ElementScope).sc as CompiledScope).IsDelegate) && _dot_node.left is method_call) { ProcScope invoke_meth = ((returned_scope as ElementScope).sc as CompiledScope).FindNameOnlyInThisType("Invoke") as ProcScope; if (invoke_meth != null) returned_scope = new ElementScope(invoke_meth.return_type); } if (returned_scope != null) { if (!search_all) { SymScope left_scope = returned_scope; if (_dot_node.right is ident) { SymScope tmp_tn = returned_scope; returned_scope = returned_scope.FindNameOnlyInType((_dot_node.right as ident).name); if (returned_scope != null && returned_scope is ElementScope) { if (left_scope is ElementScope) returned_scope = CheckForAccess(left_scope as ElementScope, returned_scope as ElementScope); else if (left_scope is TypeScope) returned_scope = CheckForAccess(left_scope as TypeScope, returned_scope as ElementScope); return; } ProcScope ps = returned_scope as ProcScope; if (ps != null && !(ps.IsStatic && tmp_tn is ElementScope)) { if (ps.return_type == null || ps.parameters != null && ps.parameters.Count > 0) { method_call mc = new method_call(_dot_node, new expression_list()); mc.visit(this); return; } if (ps.return_type != null) { CompiledMethodScope tmp_sc = returned_scope as CompiledMethodScope; returned_scope = new ElementScope(ps); if (tmp_sc != null) returned_scope.topScope = tmp_sc.topScope; if (left_scope is ElementScope) returned_scope = CheckForAccess(left_scope as ElementScope, returned_scope as ElementScope); else if (left_scope is TypeScope) returned_scope = CheckForAccess(left_scope as TypeScope, returned_scope as ElementScope); return; } } else if (ps != null) { method_call mc = new method_call(_dot_node, new expression_list()); mc.visit(this); return; } if (tmp_tn is ElementScope && stv != null) { List procs = stv.entry_scope.GetExtensionMethods((_dot_node.right as ident).name, (tmp_tn as ElementScope).sc as TypeScope); if (procs.Count > 0) { foreach (ProcScope proc in procs) { if (proc.parameters.Count == 0 || proc.parameters.Count == 1 && proc.is_extension && string.Compare(proc.parameters[0].Name, "self", true) == 0) { returned_scope = proc; return; } } returned_scope = procs[0]; return; } } } } else { SymScope left_scope = returned_scope; returned_scopes = returned_scope.FindOverloadNamesOnlyInType((_dot_node.right as ident).name); List to_remove = new List(); for (int i = 0; i < returned_scopes.Count; i++) { if (returned_scopes[i] is ElementScope && (returned_scopes[i] as ElementScope).sc is ProcType) { if (left_scope is ElementScope) returned_scopes[i] = CheckForAccess(left_scope as ElementScope, returned_scopes[i] as ElementScope); //if (ret_names[i] != null) //ret_names[i] = ((ret_names[i] as ElementScope).sc as ProcType).target; } else if (returned_scopes[i] is ProcScope && (returned_scopes[i] as ProcScope).acc_mod == access_modifer.protected_modifer) { returned_scopes[i] = CheckForAccess(left_scope as ElementScope, returned_scopes[i] as ProcScope); //if (ret_names[i] != null) //ret_names[i] = ((ret_names[i] as ElementScope).sc as ProcType).target; } else if (left_scope is ElementScope && returned_scopes[i] is ProcScope && (returned_scopes[i] as ProcScope).IsStatic) { returned_scopes[i] = null; } else if (left_scope is TypeScope && returned_scopes[i] is ProcScope && !(returned_scopes[i] as ProcScope).IsStatic && !(returned_scopes[i] as ProcScope).IsConstructor() && !(returned_scope is TypeScope && (returned_scopes[i] as ProcScope).is_extension)) { returned_scopes[i] = null; } } returned_scopes.RemoveAll(x => x == null); if (returned_scope is ElementScope && stv != null) { List procs = stv.entry_scope.GetExtensionMethods((_dot_node.right as ident).name, (returned_scope as ElementScope).sc as TypeScope); for (int i = 0; i < procs.Count; i++) if (!returned_scopes.Contains(procs[i])) returned_scopes.Add(procs[i]); } search_all = false; } } } public override void visit(empty_statement _empty_statement) { } public override void visit(goto_statement _goto_statement) { throw new NotImplementedException(); } public override void visit(labeled_statement _labeled_statement) { throw new NotImplementedException(); } public override void visit(with_statement _with_statement) { throw new NotImplementedException(); } private ProcScope select_method(SymScope[] meths, TypeScope tleft, TypeScope tright, TypeScope obj, params expression[] args) { List arg_types = new List(); List arg_types2 = new List(); SymScope[] saved_selected_methods = selected_methods; selected_methods = meths; if (tleft != null || tright != null) { if (tleft != null) { arg_types.Add(tleft); arg_types2.Add(tleft); } if (tright != null) { arg_types.Add(tright); arg_types2.Add(tright); } } else if (args != null) { foreach (expression e in args) { e.visit(this); returned_scopes.Clear(); if (returned_scope is ElementScope) returned_scope = (returned_scope as ElementScope).sc; if (returned_scope is ProcScope) returned_scope = (returned_scope as ProcScope).return_type; arg_types.Add(returned_scope); arg_types2.Add(returned_scope as TypeScope); } } selected_methods = saved_selected_methods; List good_procs = new List(); for (int i = 0; i < meths.Length; i++) { if (meths[i] is ProcScope) { if (DomSyntaxTreeVisitor.is_good_overload(meths[i] as ProcScope, arg_types)) if (!meths[i].si.not_include || by_dot || mouse_hover && meths[i].loc == null) good_procs.Add(meths[i] as ProcScope); } else if (meths[i] is ProcType) { if (DomSyntaxTreeVisitor.is_good_overload((meths[i] as ProcType).target, arg_types)) if (!meths[i].si.not_include || by_dot || mouse_hover && meths[i].loc == null) good_procs.Add((meths[i] as ProcType).target); } } if (good_procs.Count > 1) for (int i = 0; i < good_procs.Count; i++) if (DomSyntaxTreeVisitor.is_good_exact_overload(good_procs[i] as ProcScope, arg_types)) return good_procs[i].GetInstance(arg_types2); if (good_procs.Count == 0) { for (int i = 0; i < meths.Length; i++) { if (meths[i] is ProcScope) { if (obj != null && !(meths[i] as ProcScope).IsStatic) { good_procs.Add(meths[i] as ProcScope); } } } } if (good_procs.Count > 0) { int ind = 0; if (obj != null) { for (int i = 0; i < good_procs.Count; i++) { if (good_procs[i].parameters.Count == 0) { ind = i; break; } TypeScope param_type = good_procs[i].parameters[0].sc as TypeScope; if (param_type.original_type != null) param_type = param_type.original_type; if (good_procs[i].IsExtension && param_type.IsEqual(obj)) { ind = i; break; } } if (obj.GetElementType() != null && good_procs[0].IsExtension && !(good_procs[0].parameters[0].sc is TemplateParameterScope)) obj = obj.GetElementType(); arg_types2.Insert(0, obj); arg_types.Insert(0, obj); for (int i = 0; i < good_procs.Count; i++) if (DomSyntaxTreeVisitor.is_good_exact_overload(good_procs[i] as ProcScope, arg_types)) return good_procs[i].GetInstance(arg_types2); } return good_procs[ind].GetInstance(arg_types2); } return null; } /*private ProcScope select_method(SymScope[] procs, params expression[] args) { List arg_types = new List(); if (args != null) foreach (expression e in args) { bool tmp = by_dot; e.visit(this); returned_scopes.Clear(); if (returned_scope != null) { if (returned_scope is ElementScope) { returned_scope = (returned_scope as ElementScope).sc; if (returned_scope is ProcScope) returned_scope = (returned_scope as ProcScope).return_type; } else if (returned_scope is ProcScope) returned_scope = (returned_scope as ProcScope).return_type; } arg_types.Add(returned_scope); } List good_procs = new List(); for (int i = 0; i < procs.Length; i++) { if (procs[i] is ProcScope) { if (DomSyntaxTreeVisitor.is_good_overload(procs[i] as ProcScope, arg_types)) if (!procs[i].si.not_include || by_dot) good_procs.Add(procs[i] as ProcScope); } } if (good_procs.Count > 1) for (int i = 0; i < good_procs.Count; i++) if (DomSyntaxTreeVisitor.is_good_exact_overload(good_procs[i] as ProcScope, arg_types)) return good_procs[i]; if (good_procs.Count > 0) return good_procs[0]; return null; }*/ public override void visit(method_call _method_call) { returned_scopes.Clear(); if (method_call_cache.ContainsKey(_method_call)) { returned_scope = method_call_cache[_method_call]; return; } search_all = true; _method_call.dereferencing_value.visit(this); search_all = false; SymScope[] names = returned_scopes.ToArray(); // Не нашли кандидатов - возврат if (names.Length == 0) { returned_scope = null; method_call_cache[_method_call] = null; return; } if (names[0] is ElementScope && (names[0] as ElementScope).sc is TypeScope && ((names[0] as ElementScope).sc as TypeScope).IsDelegate) { returned_scope = names[0]; method_call_cache[_method_call] = returned_scope; return; } // Срабатывает на операции преобразования типа if (names.All(name => name is TypeScope)) { returned_scope = new ElementScope(names[0]); method_call_cache[_method_call] = returned_scope; return; } TypeScope obj = null; foreach (SymScope ss in names) { if (ss is ProcScope && (ss as ProcScope).is_extension) { ProcScope proc = ss as ProcScope; if (_method_call.dereferencing_value is dot_node) { bool tmp = by_dot; by_dot = true; (_method_call.dereferencing_value as dot_node).left.visit(this); if (returned_scope is ElementScope) returned_scope = (returned_scope as ElementScope).sc; else if (returned_scope is ProcScope) returned_scope = (returned_scope as ProcScope).return_type; obj = returned_scope as TypeScope; by_dot = tmp; if (obj != null && proc.parameters != null && proc.parameters.Count > 0 && !(proc.parameters[0].sc is TemplateParameterScope || proc.parameters[0].sc is UnknownScope)) { TypeScope param_type = proc.parameters[0].sc as TypeScope; if (obj.implemented_interfaces != null) { foreach (TypeScope interf in obj.implemented_interfaces) { if (interf.original_type != null && param_type.original_type != null && interf.original_type == param_type.original_type) { List generic_args = interf.GetInstances(); if (generic_args != null && generic_args.Count > 0) obj = generic_args[0]; } } } } } } } ProcScope ps = select_method(names, null, null, obj, _method_call.parameters != null ? _method_call.parameters.expressions.ToArray() : null); returned_scope = ps; if (ps == null) { returned_scope = null; // Если есть ProcScope, то приоритет отдаем ему. // Неверно в случае, когда есть подходящая операция преобразования типа у TypeScope, // но операция преобразования типа по хорошему должна обрабатываться в select_method EVA if (names[0] is TypeScope && names.Length > 1) { var p = names.FirstOrDefault(s => s is ProcScope); if (p != null) returned_scope = p; else { returned_scope = new ElementScope(names[0]); return; } } else { foreach (SymScope ss in names) { if (ss is ProcScope) { returned_scope = ss; break; } else if (ss is TypeScope) { returned_scope = new ElementScope(ss); return; } } } } if (returned_scope != null) { if (returned_scope is ProcScope) { ps = returned_scope as ProcScope; if (by_dot) { if (ps.return_type != null) returned_scope = new ElementScope(ps.return_type); else if (ps.is_constructor) returned_scope = new ElementScope(ps.declaringType); else returned_scope = null; } else returned_scope = new ElementScope(ps); } // ниже мертый код, поскольку эти типы наследники ProcScope EVA /*else if (returned_scope is ProcRealization) { if ((returned_scope as ProcRealization).def_proc != null && (returned_scope as ProcRealization).def_proc.return_type != null) returned_scope = new ElementScope((returned_scope as ProcRealization).def_proc.return_type); else returned_scope = null; } else if (returned_scope is CompiledMethodScope) { if ((returned_scope as CompiledMethodScope).return_type != null) returned_scope = new ElementScope((returned_scope as CompiledMethodScope).return_type); else returned_scope = null; }*/ /*else if (ret_tn is ElementScope && (ret_tn as ElementScope).sc is ProcScope) { ret_tn = new ElementScope(((ret_tn as ElementScope).sc as ProcScope).return_type); } else if (ret_tn is ElementScope && (ret_tn as ElementScope).sc is ProcType) { TypeScope ts = ((ret_tn as ElementScope).sc as ProcType).target.return_type; if (ts != null) ret_tn = new ElementScope(ts); } else ret_tn = null;*/ } method_call_cache[_method_call] = returned_scope; } public override void visit(pascal_set_constant psc) { //throw new NotImplementedException(); // returned_scope = null; var dn = new dot_node(new ident(StringConstants.pascalSystemUnitName), new ident("Arr"), psc.source_context); var el = new expression_list(psc.values.expressions[0], psc.source_context); var nn = new method_call(dn, el, psc.source_context); var dn1 = new dot_node(new ident(StringConstants.pascalSystemUnitName), new ident("__NewSetCreatorInternal"), psc.source_context); var el1 = new expression_list(nn, psc.source_context); var nn1 = new method_call(dn1, el1, psc.source_context); visit(nn1); } public override void visit(array_const _array_const) { throw new NotImplementedException(); } public override void visit(write_accessor_name _write_accessor_name) { throw new NotImplementedException(); } public override void visit(read_accessor_name _read_accessor_name) { throw new NotImplementedException(); } public override void visit(property_accessors _property_accessors) { throw new NotImplementedException(); } public override void visit(simple_property _simple_property) { throw new NotImplementedException(); } public override void visit(index_property _index_property) { throw new NotImplementedException(); } public override void visit(class_members _class_members) { throw new NotImplementedException(); } public override void visit(access_modifer_node _access_modifer_node) { throw new NotImplementedException(); } public override void visit(class_body_list _class_body) { throw new NotImplementedException(); } public override void visit(class_definition _class_definition) { throw new NotImplementedException(); } public override void visit(default_indexer_property_node _default_indexer_property_node) { throw new NotImplementedException(); } public override void visit(known_type_definition _known_type_definition) { throw new NotImplementedException(); } public override void visit(set_type_definition _set_type_definition) { throw new NotImplementedException(); } public override void visit(record_const_definition _record_const_definition) { throw new NotImplementedException(); } public override void visit(record_const _record_const) { throw new NotImplementedException(); } public override void visit(record_type _record_type) { throw new NotImplementedException(); } public override void visit(enum_type_definition _enum_type_definition) { throw new NotImplementedException(); } public override void visit(char_const _char_const) { //throw new NotImplementedException(); returned_scope = new ElementScope(TypeTable.char_type); } public override void visit(raise_statement _raise_statement) { throw new NotImplementedException(); } public override void visit(sharp_char_const _sharp_char_const) { returned_scope = new ElementScope(TypeTable.char_type); } public override void visit(literal_const_line _literal_const_line) { returned_scope = new ElementScope(TypeTable.string_type); } public override void visit(string_num_definition _string_num_definition) { throw new NotImplementedException(); } public override void visit(variant _variant) { throw new NotImplementedException(); } public override void visit(variant_list _variant_list) { throw new NotImplementedException(); } public override void visit(variant_type _variant_type) { throw new NotImplementedException(); } public override void visit(variant_types _variant_types) { throw new NotImplementedException(); } public override void visit(variant_record_type _variant_record_type) { throw new NotImplementedException(); } public override void visit(procedure_call _procedure_call) { _procedure_call.func_name.visit(this); } public override void visit(class_predefinition _class_predefinition) { throw new NotImplementedException(); } public override void visit(nil_const _nil_const) { //throw new NotImplementedException(); returned_scope = new NullTypeScope(); } public override void visit(file_type_definition _file_type_definition) { throw new NotImplementedException(); } public override void visit(constructor _constructor) { throw new NotImplementedException(); } public override void visit(destructor _destructor) { throw new NotImplementedException(); } public override void visit(inherited_method_call _inherited_method_call) { throw new NotImplementedException(); } public override void visit(typecast_node _typecast_node) { if (_typecast_node.cast_op == op_typecast.as_op || _typecast_node.cast_op == op_typecast.typecast) { _typecast_node.type_def.visit(this); if (returned_scope != null) returned_scope = new ElementScope(returned_scope); } else if (_typecast_node.cast_op == op_typecast.is_op) returned_scope = new ElementScope(entry_scope.FindName(StringConstants.bool_type_name)); } public override void visit(interface_node _interface_node) { throw new NotImplementedException(); } public override void visit(implementation_node _implementation_node) { throw new NotImplementedException(); } public override void visit(diap_expr _diap_expr) { returned_scope = null; } public override void visit(block _block) { throw new NotImplementedException(); } public override void visit(proc_block _proc_block) { throw new NotImplementedException(); } public override void visit(array_of_named_type_definition _array_of_named_type_definition) { throw new NotImplementedException(); } public override void visit(array_of_const_type_definition _array_of_const_type_definition) { throw new NotImplementedException(); } public override void visit(literal _literal) { throw new NotImplementedException(); } public override void visit(case_variants _case_variants) { throw new NotImplementedException(); } public override void visit(diapason_expr _diapason_expr) { throw new NotImplementedException(); } public override void visit(var_def_list_for_record _var_def_list) { throw new NotImplementedException(); } public override void visit(record_type_parts _record_type_parts) { throw new NotImplementedException(); } public override void visit(property_array_default _property_array_default) { throw new NotImplementedException(); } public override void visit(property_interface _property_interface) { throw new NotImplementedException(); } public override void visit(property_parameter _property_parameter) { throw new NotImplementedException(); } public override void visit(property_parameter_list _property_parameter_list) { throw new NotImplementedException(); } public override void visit(inherited_ident _inherited_ident) { var tmp_scope = entry_scope; if (entry_scope.topScope is TypeScope) { entry_scope = (entry_scope.topScope as TypeScope).baseScope; } new ident(_inherited_ident.name).visit(this); entry_scope = tmp_scope; } public override void visit(format_expr _format_expr) { returned_scope = entry_scope.FindName(StringConstants.string_type_name); } public override void visit(initfinal_part _initfinal_part) { throw new NotImplementedException(); } public override void visit(token_info _token_info) { throw new NotImplementedException(); } public override void visit(compiler_directive_if _compiler_directive_if) { } public override void visit(compiler_directive_list _compiler_directive_list) { } public override void visit(raise_stmt _raise_stmt) { throw new NotImplementedException(); } public override void visit(op_type_node _op_type_node) { throw new NotImplementedException(); } public override void visit(file_type _file_type) { throw new NotImplementedException(); } public override void visit(known_type_ident _known_type_ident) { throw new NotImplementedException(); } public override void visit(exception_handler _exception_handler) { throw new NotImplementedException(); } public override void visit(exception_ident _exception_ident) { throw new NotImplementedException(); } public override void visit(exception_handler_list _exception_handler_list) { throw new NotImplementedException(); } public override void visit(exception_block _exception_block) { throw new NotImplementedException(); } public override void visit(try_handler _try_handler) { throw new NotImplementedException(); } public override void visit(try_handler_finally _try_handler_finally) { throw new NotImplementedException(); } public override void visit(try_handler_except _try_handler_except) { throw new NotImplementedException(); } public override void visit(try_stmt _try_stmt) { throw new NotImplementedException(); } public override void visit(inherited_message _inherited_message) { throw new NotImplementedException(); } public override void visit(external_directive _external_directive) { throw new NotImplementedException(); } public override void visit(using_list _using_list) { throw new NotImplementedException(); } public override void visit(jump_stmt _jump_stmt) { throw new NotImplementedException(); } public override void visit(loop_stmt _loop_stmt) { throw new NotImplementedException(); } public override void visit(foreach_stmt _foreach_stmt) { throw new NotImplementedException(); } public override void visit(addressed_value_funcname _addressed_value_funcname) { throw new NotImplementedException(); } public override void visit(named_type_reference_list _named_type_reference_list) { throw new NotImplementedException(); } public override void visit(template_param_list _template_param_list) { throw new NotImplementedException(); } public override void visit(template_type_reference _template_type_reference) { returned_scope = entry_scope; for (int i = 0; i < _template_type_reference.name.names.Count; i++) { string suffix = ""; if (i == _template_type_reference.name.names.Count - 1) suffix = "`" + _template_type_reference.params_list.params_list.Count; else suffix = ""; if (i > 0) { returned_scope = returned_scope.FindNameOnlyInType(_template_type_reference.name.names[i].name + suffix); if (returned_scope == null) returned_scope = entry_scope.FindNameOnlyInType(_template_type_reference.name.names[i].name + suffix); } else { returned_scope = returned_scope.FindName(_template_type_reference.name.names[i].name + suffix); if (returned_scope == null) returned_scope = entry_scope.FindName(_template_type_reference.name.names[i].name); } if (returned_scope == null) return; } if (returned_scope is TypeScope) { TypeScope ts = returned_scope as TypeScope; List gen_args = new List(); foreach (type_definition td in _template_type_reference.params_list.params_list) { td.visit(this); gen_args.Add(returned_scope as TypeScope); } returned_scope = ts.GetInstance(gen_args); } else returned_scope = null; } public override void visit(int64_const _int64_const) { returned_scope = new ElementScope(TypeTable.int64_type); } public override void visit(uint64_const _uint64_const) { returned_scope = new ElementScope(TypeTable.uint64_type); } public override void visit(new_expr _new_expr) { _new_expr.type.visit(this); if (returned_scope != null && returned_scope is TypeScope) { TypeScope ts = returned_scope as TypeScope; if (_new_expr.new_array) { ts = new ArrayScope(ts, new TypeScope[1] { TypeTable.int_type }); (ts as ArrayScope).is_dynamic_arr = true; returned_scope = ts; return; } ProcScope tmp = ts.GetConstructor(); List cnstrs = ts.GetConstructors(false); cnstrs.RemoveAll(x => (x.si.acc_mod == access_modifer.private_modifer || x.si.acc_mod == access_modifer.protected_modifer) && !this.CheckPrivateForBaseAccess(entry_scope, x)); if (search_all) returned_scopes.AddRange(cnstrs.ToArray()); if (!on_bracket) { ProcScope[] constrs = cnstrs.ToArray(); ProcScope ps = select_method(constrs, null, null, null, _new_expr.params_list != null ? _new_expr.params_list.expressions.ToArray() : null); if (ps != null) returned_scope = ps; else if (cnstrs.Count > 0) returned_scope = cnstrs[0]; else returned_scope = tmp; } else returned_scope = tmp; } } public override void visit(where_type_specificator_list _type_definition_list) { throw new NotImplementedException(); } public override void visit(where_definition _where_definition) { throw new NotImplementedException(); } public override void visit(where_definition_list _where_definition_list) { throw new NotImplementedException(); } public override void visit(sizeof_operator _sizeof_operator) { returned_scope = new ElementScope(entry_scope.FindName(StringConstants.integer_type_name)); } public override void visit(typeof_operator _typeof_operator) { returned_scope = new ElementScope(TypeTable.get_compiled_type(new SymInfo("Type", SymbolKind.Type, "System.Type"), typeof(Type))); } public override void visit(compiler_directive _compiler_directive) { throw new NotImplementedException(); } public override void visit(operator_name_ident _operator_name_ident) { throw new NotImplementedException(); } public override void visit(var_statement _var_statement) { } public override void visit(question_colon_expression _question_colon_expression) { _question_colon_expression.ret_if_true.visit(this); } public override void visit(expression_as_statement _expression_as_statement) { throw new NotImplementedException(); } public override void visit(c_scalar_type _c_scalar_type) { throw new NotImplementedException(); } public override void visit(c_module _c_module) { throw new NotImplementedException(); } public override void visit(declarations_as_statement _declarations_as_statement) { throw new NotImplementedException(); } public override void visit(array_size _array_size) { throw new NotImplementedException(); } public override void visit(enumerator _enumerator) { throw new NotImplementedException(); } public override void visit(enumerator_list _enumerator_list) { throw new NotImplementedException(); } public override void visit(c_for_cycle _c_for_cycle) { throw new NotImplementedException(); } public override void visit(switch_stmt _switch_stmt) { throw new NotImplementedException(); } public override void visit(type_definition_attr_list _type_definition_attr_list) { throw new NotImplementedException(); } public override void visit(type_definition_attr _type_definition_attr) { throw new NotImplementedException(); } public override void visit(lock_stmt _lock_stmt) { throw new NotImplementedException(); } public override void visit(documentation_comment_list node) { throw new NotImplementedException(); } public override void visit(documentation_comment_section node) { throw new NotImplementedException(); } public override void visit(documentation_comment_tag node) { throw new NotImplementedException(); } public override void visit(documentation_comment_tag_param node) { throw new NotImplementedException(); } public override void visit(token_taginfo node) { throw new NotImplementedException(); } public override void visit(declaration_specificator node) { throw new NotImplementedException(); } public override void visit(ident_with_templateparams node) { node.name.visit(this); if (returned_scopes.Count > 0 && returned_scopes[0] is ProcScope) { ProcScope ps = returned_scopes[0] as ProcScope; List template_params = new List(); foreach (type_definition td in node.template_params.params_list) { td.visit(this); if (returned_scope is TypeScope) template_params.Add(returned_scope as TypeScope); else { return; } } returned_scopes[0] = ps.GetInstance(template_params); returned_scope = returned_scopes[0]; } else if (returned_scope is ProcScope) { ProcScope ps = returned_scope as ProcScope; List template_params = new List(); foreach (type_definition td in node.template_params.params_list) { td.visit(this); if (returned_scope is TypeScope) template_params.Add(returned_scope as TypeScope); else { returned_scope = ps; return; } } returned_scope = ps.GetInstance(template_params); } else if (returned_scope is TypeScope && !(returned_scope as TypeScope).IsGeneric) { SymScope ts = returned_scope; if (node.name is ident) (node.name as ident).name += "`" + node.template_params.params_list.Count; else if (node.name is dot_node && (node.name as dot_node).right is ident) ((node.name as dot_node).right as ident).name += "`" + node.template_params.params_list.Count; node.name.visit(this); if (returned_scope == null) returned_scope = ts; } /*else if (this.returned_scope != null) { if (this.returned_scope is TypeScope) { TypeScope ts = returned_scope as TypeScope; List instances = new List(); foreach (type_definition td in node.template_params.params_list) { td.visit(this); if (returned_scope != null && returned_scope is TypeScope) instances.Add(returned_scope as TypeScope); } returned_scope = ts.GetInstance(instances); } }*/ } public override void visit(bracket_expr _bracket_expr) { _bracket_expr.expr.visit(this); } public override void visit(attribute _attribute) { } public override void visit(attribute_list _attribute_list) { } public override void visit(simple_attribute_list _simple_attribute_list) { } public override void visit(function_lambda_definition _function_lambda_definition) { ProcScope ps = new ProcScope(_function_lambda_definition.lambda_name, null); if (_function_lambda_definition.ident_list != null) foreach (ident id in _function_lambda_definition.ident_list.idents) ps.AddParameter(new ElementScope(new SymInfo(id.name, SymbolKind.Parameter, ""), new UnknownScope(new SymInfo("", SymbolKind.Type, "")), ps)); _function_lambda_definition.proc_body.visit(this); if (returned_scope is ElementScope) returned_scope = (returned_scope as ElementScope).sc; ps.return_type = new UnknownScope(new SymInfo("", SymbolKind.Class, ""));// returned_scope as TypeScope; returned_scope = new ProcType(ps); } public override void visit(function_lambda_call _function_lambda_call) { // } public override void visit(semantic_check _semantic_check) { } public override void visit(lambda_inferred_type lit) //lroman// { } public override void visit(same_type_node stn) //SS 22/06/13// { } public override void visit(name_assign_expr _name_assign_expr) // SSM 27.06.13 { } public override void visit(name_assign_expr_list _name_assign_expr_list) // SSM 27.06.13 { } public override void visit(unnamed_type_object _unnamed_type_object) // SSM 27.06.13 { } public override void visit(semantic_type_node stn) // SSM { } public override void visit(slice_expr _slice_expr) { _slice_expr.v.visit(this); } public override void visit(slice_expr_question _slice_expr_question) { _slice_expr_question.v.visit(this); } public override void visit(tuple_node _tuple_node) { method_call mc = new method_call(); mc.parameters = _tuple_node.el; mc.dereferencing_value = new dot_node(new ident("Tuple"), new ident(StringConstants.default_constructor_name)); mc.visit(this); } public override void visit(diapason_expr_new _diapason_expr_new) { /*_diapason_expr_new.left.visit(this); TypeScope ts = TypeTable.get_compiled_type(new SymInfo("IEnumerable`1", SymbolKind.Type, "System.Collections.Generic.IEnumerable`1"), typeof(IEnumerable<>)); TypeScope elem_ts = null; if (returned_scope is ElementScope) elem_ts = (returned_scope as ElementScope).sc as TypeScope; if (elem_ts != null) ts = ts.GetInstance(new List() { elem_ts }); returned_scope = new ElementScope(ts);*/ method_call mc = new method_call(); mc.parameters = new expression_list(new List { _diapason_expr_new.left, _diapason_expr_new.right }); mc.dereferencing_value = new dot_node(new ident(StringConstants.pascalSystemUnitName), new ident("InternalRange")); mc.visit(this); } public override void visit(array_const_new acn) { acn.elements.expressions[0].visit(this); //var rr = this.returned_scope; //var nn = new new_expr((syntax_type, plist, true, new SyntaxTree.array_const(acn.elements, acn.elements.source_context), acn.source_context); //var nn = new new_expr($2, el, true, $6 as array_const, @$); var dn = new dot_node(new ident(StringConstants.pascalSystemUnitName), new ident("Arr"), acn.source_context); var el = new expression_list(acn.elements.expressions[0], acn.source_context); var nn = new method_call(dn, el, acn.source_context); visit(nn); } } }