proguard.analysis.cpa.jvm.domain.value

Interface JvmValueBamCpaRun.TransferRelationFactory

Enclosing class:

JvmValueBamCpaRun

public static interface JvmValueBamCpaRun.TransferRelationFactory

Method Summary

Modifier and Type	Method and Description
TransferRelation	newTransferRelation(ValueFactory vf, ExecutingInvocationUnit eiu)

Method Detail

newTransferRelation

TransferRelation newTransferRelation(ValueFactory vf,
                                     ExecutingInvocationUnit eiu)