SingleWrapperTransferRelation (ProGuardCORE)

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 Description

protected TransferRelation wrappedTransferRelation

Constructor Summary

Constructors
Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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