Skip to content

Commit 1808a65

Browse files
author
Dominik Helm
committed
Add missing dependencies for String Analysis
1 parent b364d28 commit 1808a65

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

OPAL/tac/src/main/scala/org/opalj/tac/fpcf/analyses/string/StringAnalysisScheduler.scala

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,10 +11,12 @@ import org.opalj.br.fpcf.ContextProviderKey
1111
import org.opalj.br.fpcf.FPCFAnalysis
1212
import org.opalj.br.fpcf.FPCFAnalysisScheduler
1313
import org.opalj.br.fpcf.FPCFLazyAnalysisScheduler
14+
import org.opalj.br.fpcf.properties.cg.Callers
1415
import org.opalj.br.fpcf.properties.string.StringConstancyProperty
1516
import org.opalj.fpcf.Entity
1617
import org.opalj.fpcf.PropertyBounds
1718
import org.opalj.fpcf.PropertyStore
19+
import org.opalj.tac.fpcf.properties.TACAI
1820
import org.opalj.tac.fpcf.properties.string.MethodStringFlow
1921

2022
/**
@@ -27,7 +29,8 @@ sealed trait StringAnalysisScheduler extends FPCFAnalysisScheduler {
2729

2830
final def derivedProperty: PropertyBounds = PropertyBounds.lub(StringConstancyProperty)
2931

30-
override def uses: Set[PropertyBounds] = Set(PropertyBounds.ub(MethodStringFlow))
32+
override def uses: Set[PropertyBounds] =
33+
PropertyBounds.ubs(MethodStringFlow, Callers, TACAI, StringConstancyProperty)
3134

3235
override final type InitializationData =
3336
(ContextFreeStringAnalysis, ContextStringAnalysis, MethodParameterContextStringAnalysis)

0 commit comments

Comments
 (0)