Package proguard.analysis.cpa.interfaces

Interface WrapperTransferRelation

All Superinterfaces:

TransferRelation

All Known Implementing Classes:

SingleWrapperTransferRelation

public interface WrapperTransferRelation
extends TransferRelation

This TransferRelation wraps other TransferRelations.

Method Summary

Modifier and Type	Method	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.