SONARPY-1753 Introduce a new symbol model decoupled from types

Author: maksim-grebeniuk-sonarsource

python-frontend/src/main/java/org/sonar/plugins/python/api/tree/Name.java

@@ -19,6 +19,8 @@
  */
 package org.sonar.plugins.python.api.tree;
 
+import org.sonar.python.semantic.v2.SymbolV2;
+
 /**
  * See https://docs.python.org/3/reference/expressions.html#atom-identifiers
  */
@@ -28,4 +30,6 @@ public interface Name extends Expression, HasSymbol {
 
   // FIXME: we should create a separate tree for Variables
   boolean isVariable();
+
+  SymbolV2 symbolV2();
 }

python-frontend/src/main/java/org/sonar/python/semantic/SymbolUtils.java

@@ -148,7 +148,7 @@ public static List<Expression> assignmentsLhs(AssignmentStatement assignmentStat
       .toList();
   }
 
-  static List<Name> boundNamesFromExpression(@CheckForNull Tree tree) {
+  public static List<Name> boundNamesFromExpression(@CheckForNull Tree tree) {
     List<Name> names = new ArrayList<>();
     if (tree == null) {
       return names;

python-frontend/src/main/java/org/sonar/python/semantic/v2/ProjectLevelTypeTable.java

@@ -0,0 +1,2 @@
+package org.sonar.python.semantic.v2;public class ProjectLevelTypeTable {
+}

python-frontend/src/main/java/org/sonar/python/semantic/v2/ScopeV2.java

@@ -0,0 +1,108 @@
+/*
+ * SonarQube Python Plugin
+ * Copyright (C) 2011-2024 SonarSource SA
+ * mailto:info AT sonarsource DOT com
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 3 of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program; if not, write to the Free Software Foundation,
+ * Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
+ */
+package org.sonar.python.semantic.v2;
+
+import java.util.ArrayList;
+import java.util.HashMap;
+import java.util.HashSet;
+import java.util.List;
+import java.util.Map;
+import java.util.Set;
+import javax.annotation.CheckForNull;
+import javax.annotation.Nullable;
+import org.sonar.plugins.python.api.tree.Name;
+import org.sonar.plugins.python.api.tree.Parameter;
+import org.sonar.plugins.python.api.tree.Tree;
+
+public class ScopeV2 {
+  private final ScopeV2 parent;
+  private final Tree rootTree;
+
+  private final List<ScopeV2> childrenScopes;
+
+  final Map<String, SymbolV2> symbolsByName = new HashMap<>();
+  private final Set<SymbolV2> symbols = new HashSet<>();
+
+  public ScopeV2(ScopeV2 parent, Tree rootTree) {
+    this.parent = parent;
+    this.rootTree = rootTree;
+    this.childrenScopes = new ArrayList<>();
+  }
+
+  public ScopeV2 parent() {
+    return parent;
+  }
+
+  public Tree root() {
+    return rootTree;
+  }
+
+  void addBindingUsage(Name nameTree, UsageV2.Kind kind, @Nullable String fullyQualifiedName) {
+    String symbolName = nameTree.name();
+    if (!isExistingSymbol(symbolName)) {
+      SymbolV2 symbol = new SymbolV2(symbolName);
+      symbols.add(symbol);
+      symbolsByName.put(symbolName, symbol);
+    }
+    SymbolV2 symbol = resolve(symbolName);
+    if (symbol != null) {
+      symbol.addUsage(nameTree, kind);
+    }
+  }
+
+  @CheckForNull
+  SymbolV2 resolve(String symbolName) {
+    SymbolV2 symbol = symbolsByName.get(symbolName);
+    if (parent == null || symbol != null) {
+      return symbol;
+    }
+    // parent scope of a symbol inside of a class its the classes parent scope
+    if (parent.rootTree.is(Tree.Kind.CLASSDEF)) {
+      return parent.parent.resolve(symbolName);
+    }
+    return parent.resolve(symbolName);
+  }
+
+  private boolean isExistingSymbol(String symbolName) {
+    //return symbolsByName.containsKey(symbolName) || globalNames.contains(symbolName) || nonlocalNames.contains(symbolName);
+    return symbolsByName.containsKey(symbolName);
+  }
+
+  void createSelfParameter(Parameter parameter) {
+    Name nameTree = parameter.name();
+    if (nameTree == null) {
+      return;
+    }
+    String symbolName = nameTree.name();
+    //TODO: Check with SelfSymbolImpl
+    SymbolV2 symbol = new SymbolV2(symbolName);
+    symbols.add(symbol);
+    symbolsByName.put(symbolName, symbol);
+    symbol.addUsage(nameTree, UsageV2.Kind.PARAMETER);
+  }
+
+  public Map<String, SymbolV2> symbols() {
+    return symbolsByName;
+  }
+
+  public List<ScopeV2> childrenScopes() {
+    return childrenScopes;
+  }
+}