Package de.learnlib.oracle.parallelism

Class AbstractStaticBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR>

java.lang.Object

de.learnlib.oracle.parallelism.AbstractStaticBatchProcessorBuilder<Q,P,OR>

Type Parameters:

Q - query type

P - (sub-) processor type

OR - constructed oracle type

Direct Known Subclasses:

StaticParallelOmegaOracleBuilder, StaticParallelOracleBuilder

public abstract class AbstractStaticBatchProcessorBuilder<Q,P extends BatchProcessor<Q>,OR>
extends Object

A builder for a AbstractStaticBatchProcessor.

Constructor Summary

Constructors

Constructor	Description
AbstractStaticBatchProcessorBuilder(Collection<? extends P> oracles)
AbstractStaticBatchProcessorBuilder(Supplier<? extends P> oracleSupplier)

Method Summary

Modifier and Type	Method	Description
protected abstract OR	buildOracle(Collection<? extends P> oracleInstances, int minBatchSize, ThreadPool.PoolPolicy poolPolicy)
OR	create()
AbstractStaticBatchProcessorBuilder<Q,P,OR>	withMinBatchSize(@org.checkerframework.checker.index.qual.NonNegative int minBatchSize)
AbstractStaticBatchProcessorBuilder<Q,P,OR>	withNumInstances(@org.checkerframework.checker.index.qual.NonNegative int numInstances)
AbstractStaticBatchProcessorBuilder<Q,P,OR>	withPoolPolicy(ThreadPool.PoolPolicy policy)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractStaticBatchProcessorBuilder

public AbstractStaticBatchProcessorBuilder(Collection<? extends P> oracles)

AbstractStaticBatchProcessorBuilder

public AbstractStaticBatchProcessorBuilder(Supplier<? extends P> oracleSupplier)

Method Detail

withMinBatchSize

public AbstractStaticBatchProcessorBuilder<Q,P,OR> withMinBatchSize(@org.checkerframework.checker.index.qual.NonNegative int minBatchSize)

withPoolPolicy

public AbstractStaticBatchProcessorBuilder<Q,P,OR> withPoolPolicy(ThreadPool.PoolPolicy policy)

withNumInstances

public AbstractStaticBatchProcessorBuilder<Q,P,OR> withNumInstances(@org.checkerframework.checker.index.qual.NonNegative int numInstances)

create

public OR create()

buildOracle

protected abstract OR buildOracle(Collection<? extends P> oracleInstances,
                                  int minBatchSize,
                                  ThreadPool.PoolPolicy poolPolicy)