Merge branch 'tc3-symtab' into 'dev'

Add symtab-completion for typecheck 3 See merge request monticore/monticore!1055
MontiCore · Oct 31, 2024 · d113eb0 · d113eb0
2 parents d8e74c2 + 6bf4de0
commit d113eb0
Show file tree

Hide file tree

Showing 4 changed files with 42 additions and 0 deletions.
diff --git a/...nticore/statements/mccommonstatements/_symboltable/MCCommonStatementsSTCompleteTypes.java b/...nticore/statements/mccommonstatements/_symboltable/MCCommonStatementsSTCompleteTypes.java
@@ -10,6 +10,10 @@
 import de.monticore.types.check.TypeCheckResult;
 import de.monticore.types.mcbasictypes._ast.ASTMCType;
 
+/**
+ * @deprecated Use {@link MCCommonStatementsSymTabCompletion} instead
+ */
+@Deprecated
 public class MCCommonStatementsSTCompleteTypes implements MCCommonStatementsVisitor2 {
 
   @Override

diff --git a/...ticore/statements/mccommonstatements/_symboltable/MCCommonStatementsSymTabCompletion.java b/...ticore/statements/mccommonstatements/_symboltable/MCCommonStatementsSymTabCompletion.java
@@ -0,0 +1,16 @@
+/*(c) https://github.com/MontiCore/monticore*/
+package de.monticore.statements.mccommonstatements._symboltable;
+
+import de.monticore.statements.mccommonstatements._ast.ASTFormalParameter;
+import de.monticore.statements.mccommonstatements._visitor.MCCommonStatementsVisitor2;
+import de.monticore.symbols.oosymbols._symboltable.FieldSymbol;
+import de.monticore.types3.TypeCheck3;
+
+public class MCCommonStatementsSymTabCompletion implements MCCommonStatementsVisitor2 {
+
+  @Override
+  public void endVisit(ASTFormalParameter ast) {
+    FieldSymbol symbol = ast.getDeclarator().getSymbol();
+    symbol.setType(TypeCheck3.symTypeFromAST(ast.getMCType()));
+  }
+}
diff --git a/...ts/mcvardeclarationstatements/_symboltable/MCVarDeclarationStatementsSTCompleteTypes.java b/...ts/mcvardeclarationstatements/_symboltable/MCVarDeclarationStatementsSTCompleteTypes.java
@@ -12,6 +12,10 @@
 
 import java.util.List;
 
+/**
+ * @deprecated Use {@link MCVarDeclarationStatementsSymTabCompletion} instead
+ */
+@Deprecated
 public class MCVarDeclarationStatementsSTCompleteTypes implements MCVarDeclarationStatementsVisitor2 {
 
   protected ISynthesize typeSynthesizer;

diff --git a/...s/mcvardeclarationstatements/_symboltable/MCVarDeclarationStatementsSymTabCompletion.java b/...s/mcvardeclarationstatements/_symboltable/MCVarDeclarationStatementsSymTabCompletion.java
@@ -0,0 +1,18 @@
+/*(c) https://github.com/MontiCore/monticore*/
+package de.monticore.statements.mcvardeclarationstatements._symboltable;
+
+import de.monticore.statements.mcvardeclarationstatements._ast.ASTLocalVariableDeclaration;
+import de.monticore.statements.mcvardeclarationstatements._ast.ASTVariableDeclarator;
+import de.monticore.statements.mcvardeclarationstatements._visitor.MCVarDeclarationStatementsVisitor2;
+import de.monticore.types3.TypeCheck3;
+
+public class MCVarDeclarationStatementsSymTabCompletion implements MCVarDeclarationStatementsVisitor2 {
+
+  public MCVarDeclarationStatementsSymTabCompletion() { }
+
+  public void endVisit(ASTLocalVariableDeclaration ast) {
+    for (ASTVariableDeclarator v : ast.getVariableDeclaratorList()) {
+      v.getDeclarator().getSymbol().setType(TypeCheck3.symTypeFromAST(ast.getMCType()));
+    }
+  }
+}