proguard.analysis.cpa.domain.arg

Class ArgRebuildOperator

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgRebuildOperator

All Implemented Interfaces:

RebuildOperator

public class ArgRebuildOperator
extends java.lang.Object
implements RebuildOperator

This wrapper rebuild operator delegates rebuilding to its inner RebuildOperator and wraps the output with an ARG node.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected RebuildOperator	wrappedRebuildOperator

Constructor Summary

Constructors

Constructor and Description
ArgRebuildOperator(RebuildOperator wrappedRebuildOperator, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper rebuild operator for a given RebuildOperator.

Method Summary

Modifier and Type	Method and Description
AbstractState	rebuild(AbstractState predecessorCallState, AbstractState expandedOutputState) Performs the rebuilding of the return state.

Methods inherited from class java.lang.Object

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

Field Detail

wrappedRebuildOperator

protected final RebuildOperator wrappedRebuildOperator

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgRebuildOperator

public ArgRebuildOperator(RebuildOperator wrappedRebuildOperator,
                          ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper rebuild operator for a given RebuildOperator.

Parameters:

wrappedRebuildOperator - a rebuild operator to be wrapped

argAbstractStateFactory - an abstract state factory for the result

Method Detail

rebuild

public AbstractState rebuild(AbstractState predecessorCallState,
                             AbstractState expandedOutputState)

Description copied from interface: RebuildOperator

Performs the rebuilding of the return state.

Specified by:

rebuild in interface RebuildOperator

Parameters:

predecessorCallState - the state of the caller at the moment of the procedure call

expandedOutputState - the output of ExpandOperator

Returns:

The state of the caller after the procedure call