public static class DataAlignmentAdapter.NoDataAlignmentAdapter extends java.lang.Object implements DataAlignmentAdapter
DataAlignmentAdapter.GurobiDataAlignmentAdapter, DataAlignmentAdapter.ILPSolver, DataAlignmentAdapter.LpSolveDataAlignmentAdapter, DataAlignmentAdapter.LpSolveWithoutPartialDataAlignmentAdapter, DataAlignmentAdapter.NoDataAlignmentAdapter
Constructor and Description |
---|
NoDataAlignmentAdapter(LogMapping logMapping,
DataStateFactory dataStateFactory) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
DataStateFactory |
getDataStateFactory() |
DataAlignedTrace |
retrieveFullDataAlignment(TraceMapping traceMapping,
ControlFlowAlignmentResult controlFlowAlignment) |
PartialDataAlignedTrace |
retrievePartialDataAlignment(TraceMapping traceMapping,
DataAwareThread.PartialResultFactory partialResultBuilder,
DRecord currentRecord) |
public NoDataAlignmentAdapter(LogMapping logMapping, DataStateFactory dataStateFactory)
public DataAlignedTrace retrieveFullDataAlignment(TraceMapping traceMapping, ControlFlowAlignmentResult controlFlowAlignment) 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 DataStateFactory getDataStateFactory()
getDataStateFactory
in interface DataAlignmentAdapter
public void close()
close
in interface java.lang.AutoCloseable
close
in interface DataAlignmentAdapter