Spotless fix and comment

Fraunhofer-AISEC · Nov 29, 2023 · 9626e2d · 9626e2d
1 parent 2cfd0d0
commit 9626e2d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/cpg-language-go/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/GoExtraPass.kt b/cpg-language-go/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/GoExtraPass.kt
@@ -474,5 +474,4 @@ class GoExtraPass(ctx: TranslationContext) : ComponentPass(ctx), ScopeProvider {
     override fun cleanup() {
         // Nothing to do
     }
-
 }
diff --git a/...nguage-python/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/PythonAddDeclarationsPass.kt b/...nguage-python/src/main/kotlin/de/fraunhofer/aisec/cpg/passes/PythonAddDeclarationsPass.kt
@@ -154,7 +154,10 @@ class PythonAddDeclarationsPass(ctx: TranslationContext) : ComponentPass(ctx), S
                     val decl = handleReference(it)
                     if (decl != null) {
                         // We cannot assign an initializer here because this will lead to duplicate
-                        // DFG edges, but we need to propagate the type information
+                        // DFG edges, but we need to propagate the type information from our value
+                        // to the declaration. We therefore add the declaration to the observers of
+                        // the value's type, so that it gets informed and can change its own type
+                        // accordingly.
                         assignExpression
                             .findValue(it)
                             ?.registerTypeObserver(InitializerTypePropagation(decl))
-Original file line number
+Diff line change
@@ Expand Up @@
         override fun cleanup() {
             // Nothing to do
         }
     }