SequentialCpaRun.PreviousRunDurationReceiver (ProGuardCORE)

Enclosing class:

SequentialCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,InputCpaRunT extends CpaRun>
```
public static interface SequentialCpaRun.PreviousRunDurationReceiver
```
Interface that can be implemented by the abort operator of the second CPA. If implemented, the SequentialCpaRun would provide it with information about the duration of the first CPA runtime duration.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void setPreviousCpaRunDuration(java.time.Duration duration)

- Method Detail
  - setPreviousCpaRunDuration
```
void setPreviousCpaRunDuration(java.time.Duration duration)
```
    Parameters:
    
    duration - The duration of the first CPA run in the SequentialCpaRun