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 DataAlignmentAdapterDataAlignmentExceptionpublic PartialDataAlignedTrace retrievePartialDataAlignment(TraceMapping traceMapping, DataAwareThread.PartialResultFactory partialResultBuilder, DRecord currentRecord) throws DataAlignmentException
retrievePartialDataAlignment in interface DataAlignmentAdapterDataAlignmentExceptionpublic DataAlignmentAdapterChainingImpl addAdapter(DataAlignmentAdapter adapter)
public DataAlignmentAdapterChainingImpl addObserver(PartialDataAlignmentObserver observer)
public int getPartialDataAlignments()
public DataStateStore newDataStateStore(int initialCapacity)
public DataStateFactory getDataStateFactory()
getDataStateFactory in interface DataAlignmentAdapterpublic void close()
close in interface java.lang.AutoCloseableclose in interface DataAlignmentAdapter