proguard.analysis.cpa.defaults

Class SingleWrapperTransferRelation

java.lang.Object

proguard.analysis.cpa.defaults.SingleWrapperTransferRelation

All Implemented Interfaces:

TransferRelation, WrapperTransferRelation

public class SingleWrapperTransferRelation
extends java.lang.Object
implements WrapperTransferRelation

This WrapperTransferRelation applies its (only) inner TransferRelation to the input.

Field Summary

Fields

Modifier and Type	Field and Description
protected TransferRelation	wrappedTransferRelation

Constructor Summary

Constructors

Constructor and Description
SingleWrapperTransferRelation(TransferRelation wrappedTransferRelation) Create a wrapper transfer relation around the given TransferRelation.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<? extends AbstractState>	generateAbstractSuccessors(AbstractState abstractState, Precision precision) Returns abstract successor states of the abstractState under the selected precision.
java.lang.Iterable<TransferRelation>	getWrappedTransferRelations() Returns wrapped transfer relations.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

wrappedTransferRelation

protected TransferRelation wrappedTransferRelation

Constructor Detail

SingleWrapperTransferRelation

public SingleWrapperTransferRelation(TransferRelation wrappedTransferRelation)

Create a wrapper transfer relation around the given TransferRelation.

Parameters:

wrappedTransferRelation - a transfer relation to be wrapped

Method Detail

getWrappedTransferRelations

public java.lang.Iterable<TransferRelation> getWrappedTransferRelations()

Description copied from interface: WrapperTransferRelation

Returns wrapped transfer relations.

Specified by:

getWrappedTransferRelations in interface WrapperTransferRelation

generateAbstractSuccessors

public java.util.Collection<? extends AbstractState> generateAbstractSuccessors(AbstractState abstractState,
                                                                                Precision precision)

Description copied from interface: TransferRelation

Returns abstract successor states of the abstractState under the selected precision.

Specified by:

generateAbstractSuccessors in interface TransferRelation