Package net.automatalib.util.automaton.conformance

Class SBAWMethodTestsIterator<I>

java.lang.Object

net.automatalib.common.util.collection.AbstractTwoLevelIterator<I,Word<I>,Word<I>>

net.automatalib.util.automaton.conformance.SBAWMethodTestsIterator<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

Iterator<Word<I>>

public class SBAWMethodTestsIterator<I>
extends AbstractTwoLevelIterator<I,Word<I>,Word<I>>

A conformance test iterator for SBAs that is based on the W-method. Note that this implementation takes care of the special SBA semantics revolving around return transitions or non-terminating procedures and only expands procedural test-cases that can be properly evaluated on the global SBA.

See Also:

WMethodTestsIterator

Constructor Summary

Constructors

Constructor	Description
SBAWMethodTestsIterator(SBA<?,I> sba)
SBAWMethodTestsIterator(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)
SBAWMethodTestsIterator(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet, int maxDepth)

Method Summary

Modifier and Type	Method	Description
protected Word<I>	combine(I callSymbol, Word<I> testSequence)
protected Iterator<Word<I>>	l2Iterator(I callSymbol)

Methods inherited from class net.automatalib.common.util.collection.AbstractTwoLevelIterator

hasNext, next, remove

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

SBAWMethodTestsIterator

public SBAWMethodTestsIterator(SBA<?,I> sba)

SBAWMethodTestsIterator

public SBAWMethodTestsIterator(SBA<?,I> sba,
                               ProceduralInputAlphabet<I> alphabet)

SBAWMethodTestsIterator

public SBAWMethodTestsIterator(SBA<?,I> sba,
                               ProceduralInputAlphabet<I> alphabet,
                               int maxDepth)

Method Detail

l2Iterator

protected Iterator<Word<I>> l2Iterator(I callSymbol)

Specified by:

l2Iterator in class AbstractTwoLevelIterator<I,Word<I>,Word<I>>

combine

protected Word<I> combine(I callSymbol,
                          Word<I> testSequence)

Specified by:

combine in class AbstractTwoLevelIterator<I,Word<I>,Word<I>>