@ParametersAreNonnullByDefault public class CounterOracle<I,D> extends Object implements StatisticOracle<I,D>
Modifier and Type | Class and Description |
---|---|
static class |
CounterOracle.DFACounterOracle<I> |
static class |
CounterOracle.MealyCounterOracle<I,O> |
MembershipOracle.DFAMembershipOracle<I>, MembershipOracle.MealyMembershipOracle<I,O>
Constructor and Description |
---|
CounterOracle(MembershipOracle<I,D> nextOracle,
String name) |
Modifier and Type | Method and Description |
---|---|
long |
getCount() |
Counter |
getCounter() |
Counter |
getStatisticalData() |
void |
processQueries(Collection<? extends Query<I,D>> queries)
Processes the specified collection of queries.
|
void |
setNext(MembershipOracle<I,D> next)
sets oracle for processing membership queries.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
answerQuery, answerQuery, asOracle, processQuery
public CounterOracle(MembershipOracle<I,D> nextOracle, String name)
public void processQueries(Collection<? extends Query<I,D>> queries)
MembershipOracle
Query.answer(Object)
method should have been called with an argument reflecting the SUL response to the
respective query.processQueries
in interface MembershipOracle<I,D>
queries
- the queries to processQuery.answer(Object)
@Nonnull public Counter getStatisticalData()
getStatisticalData
in interface StatisticOracle<I,D>
public long getCount()
Copyright © 2018. All rights reserved.