proguard.analysis.cpa.interfaces

Interface WrapperTransferRelation

All Superinterfaces:

TransferRelation

All Known Implementing Classes:

CompositeHeapTransferRelation, SingleWrapperTransferRelation

public interface WrapperTransferRelation
extends TransferRelation

This TransferRelation wraps other TransferRelations.

Method Summary

Modifier and Type	Method and Description
java.lang.Iterable<? extends TransferRelation>	getWrappedTransferRelations() Returns wrapped transfer relations.

Methods inherited from interface proguard.analysis.cpa.interfaces.TransferRelation

generateAbstractSuccessors

Method Detail

getWrappedTransferRelations

java.lang.Iterable<? extends TransferRelation> getWrappedTransferRelations()

Returns wrapped transfer relations.