proguard.analysis.cpa.bam

Interface RebuildOperator

All Known Implementing Classes:

NoOpRebuildOperator

public interface RebuildOperator

This operator is used to avoid collision of program identifiers when returning from a procedure call. This operator does not compute any abstraction, but just performs simple operations as renaming variables, depending on the domain.

Method Summary

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

Method Detail

rebuild

AbstractState rebuild(AbstractState predecessorCallState,
                      AbstractState expandedOutputState)

Performs the rebuilding of the return state.

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