NoOpReduceOperator (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.bam.NoOpReduceOperator<ContentT>

Type Parameters:

ContentT - The content of the jvm states. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

All Implemented Interfaces:

ReduceOperator<ContentT>
```
public class NoOpReduceOperator<ContentT extends AbstractState<ContentT>>
extends java.lang.Object
implements ReduceOperator<ContentT>
```
This ReduceOperator returns the original AbstractState without performing any reduction.

Constructor Summary

Constructors
Constructor Description

NoOpReduceOperator()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`JvmAbstractState<ContentT>`	`reduceImpl(JvmAbstractState<ContentT> expandedInitialState, JvmCfaNode blockEntryNode, Call call)`	Creates the initial state of the called procedure discarding the useless information from the state of the caller.

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.bam.ReduceOperator
onMethodEntry, reduce

- Constructor Detail
  - NoOpReduceOperator
```
public NoOpReduceOperator()
```
- Method Detail
  - reduceImpl
```
public JvmAbstractState<ContentT> reduceImpl(JvmAbstractState<ContentT> expandedInitialState,
                                             JvmCfaNode blockEntryNode,
                                             Call call)
```
    Description copied from interface: ReduceOperator
    
    Creates the initial state of the called procedure discarding the useless information from the state of the caller.
    
    Specified by:
    
    reduceImpl in interface ReduceOperator<ContentT extends AbstractState<ContentT>>
    
    Parameters:
    
    expandedInitialState - the entry state of the called procedure before any reduction
    
    blockEntryNode - the entry node of the called procedure
    
    call - the information of the call to the procedure
    
    Returns:
    
    The entry state of the called procedure