proguard.analysis.cpa.jvm.domain.reference

Class CompositeHeapTransferRelation

java.lang.Object

proguard.analysis.cpa.jvm.domain.reference.CompositeHeapTransferRelation

All Implemented Interfaces:

ProgramLocationDependentForwardTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>, ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>, TransferRelation, WrapperTransferRelation

public class CompositeHeapTransferRelation
extends java.lang.Object
implements WrapperTransferRelation, ProgramLocationDependentForwardTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>

A wrapper class around multiple JvmTransferRelations applying them elementwise to CompositeHeapJvmAbstractStates. The CompositeHeapJvmAbstractState.REFERENCE_STATE_INDEXth transfer relation must be JvmReferenceTransferRelation to match the structure of CompositeHeapTransferRelation.

Constructor Summary

Constructors

Constructor and Description
CompositeHeapTransferRelation(java.util.List<JvmTransferRelation<? extends AbstractState>> jvmTransferRelations) Create a composite transfer relation from a list of transfer relations.

Method Summary

Modifier and Type	Method and Description
CompositeHeapJvmAbstractState	getEdgeAbstractSuccessor(AbstractState abstractState, JvmCfaEdge edge, Precision precision) Computes a successor state for the CFA edge.
java.lang.Iterable<? extends TransferRelation>	getWrappedTransferRelations() Returns wrapped transfer relations.

Methods inherited from class java.lang.Object

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

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

getEdges

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

getAbstractSuccessors

Constructor Detail

CompositeHeapTransferRelation

public CompositeHeapTransferRelation(java.util.List<JvmTransferRelation<? extends AbstractState>> jvmTransferRelations)

Create a composite transfer relation from a list of transfer relations.

Parameters:

jvmTransferRelations - a list of JvmTransferRelations, the CompositeHeapJvmAbstractState.REFERENCE_INDEXth transfer relation must be JvmReferenceTransferRelation

Method Detail

getWrappedTransferRelations

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

Description copied from interface: WrapperTransferRelation

Returns wrapped transfer relations.

Specified by:

getWrappedTransferRelations in interface WrapperTransferRelation

getEdgeAbstractSuccessor

public CompositeHeapJvmAbstractState getEdgeAbstractSuccessor(AbstractState abstractState,
                                                              JvmCfaEdge edge,
                                                              Precision precision)

Description copied from interface: ProgramLocationDependentTransferRelation

Computes a successor state for the CFA edge.

Specified by:

getEdgeAbstractSuccessor in interface ProgramLocationDependentTransferRelation<JvmCfaNode,JvmCfaEdge,MethodSignature>