Add string constancy to requirements for reflection-related calls

maximilianruesch · maximilianruesch · commit aed23d71bb86 · 2025-09-17T14:07:18.000+02:00
diff --git a/OPAL/tac/src/main/scala/org/opalj/tac/fpcf/analyses/cg/reflection/ReflectionRelatedCallsAnalysis.scala b/OPAL/tac/src/main/scala/org/opalj/tac/fpcf/analyses/cg/reflection/ReflectionRelatedCallsAnalysis.scala
@@ -1623,7 +1623,8 @@ object ReflectionRelatedCallsAnalysisScheduler extends BasicFPCFEagerAnalysisSch
         Callees,
         LoadedClasses,
         ForNameClasses,
-        TACAI
+        TACAI,
+        StringConstancyProperty
     )
 
     override def uses(p: SomeProject, ps: PropertyStore): Set[PropertyBounds] = {

Original file line number	Diff line number	Diff line change
`@@ -1623,7 +1623,8 @@ object ReflectionRelatedCallsAnalysisScheduler extends BasicFPCFEagerAnalysisSch`
`1623`	`1623`	`Callees,`
`1624`	`1624`	`LoadedClasses,`
`1625`	`1625`	`ForNameClasses,`
`1626`		`- TACAI`
	`1626`	`+ TACAI,`
	`1627`	`+ StringConstancyProperty`
`1627`	`1628`	`)`
`1628`	`1629`
`1629`	`1630`	`override def uses(p: SomeProject, ps: PropertyStore): Set[PropertyBounds] = {`