proguard.analysis.cpa.defaults

Interface SequentialCpaRun.PreviousRunDurationReceiver

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

Modifier and Type	Method and 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