public class DataAlignmentAdapterChainingImpl extends java.lang.Object implements DataAlignmentAdapter
DataAlignmentAdapter
that calls multiple other adapters in order and
returns the first valid result.DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter
Constructor and Description |
---|
DataAlignmentAdapterChainingImpl(DataStateFactory dataStateFactory) |
Modifier and Type | Method and Description |
---|---|
DataAlignmentAdapterChainingImpl |
addAdapter(DataAlignmentAdapter adapter) |
DataAlignmentAdapterChainingImpl |
addObserver(PartialDataAlignmentObserver observer) |
void |
close() |
DataStateFactory |
getDataStateFactory() |
int |
getPartialDataAlignments() |
DataStateStore |
newDataStateStore(int initialCapacity) |
DataAlignedTrace |
retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowResult) |
PartialDataAlignedTrace |
retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
public DataAlignmentAdapterChainingImpl(DataStateFactory dataStateFactory)
public DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowResult) throws DataAlignmentException
retrieveFullDataAlignment
in interface DataAlignmentAdapter
DataAlignmentException
public PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord currentRecord) throws DataAlignmentException
retrievePartialDataAlignment
in interface DataAlignmentAdapter
DataAlignmentException
public DataAlignmentAdapterChainingImpl addAdapter(DataAlignmentAdapter adapter)
public DataAlignmentAdapterChainingImpl addObserver(PartialDataAlignmentObserver observer)
public int getPartialDataAlignments()
public DataStateStore newDataStateStore(int initialCapacity)
public DataStateFactory getDataStateFactory()
getDataStateFactory
in interface DataAlignmentAdapter
public void close()
close
in interface java.lang.AutoCloseable
close
in interface DataAlignmentAdapter