Package de.learnlib.algorithm.procedural.spa.manager

Class DefaultATRManager<I>

java.lang.Object

de.learnlib.algorithm.procedural.spa.manager.DefaultATRManager<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

ATRManager<I>

public class DefaultATRManager<I>
extends Object
implements ATRManager<I>

A default ATRManager that only extracts initial access sequences, terminating sequences, and return sequences from positive counterexamples.

Constructor Summary

Constructors

Constructor	Description
DefaultATRManager(ProceduralInputAlphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
Word<I>	getAccessSequence(I procedure)	Returns an access sequence for the given procedure.
Word<I>	getReturnSequence(I procedure)	Returns a return sequence for the given procedure.
Word<I>	getTerminatingSequence(I procedure)	Returns a terminating sequence for the given procedure.
Set<I>	scanPositiveCounterexample(Word<I> input)	Extracts from a positive counterexample (potentially new) access sequences, terminating sequences, and return sequences.
void	scanProcedures(Map<I,? extends DFA<?,I>> procedures, Map<I,? extends AccessSequenceTransformer<I>> providers, Collection<I> inputs)	Scans a set of (hypothesis) procedures in order to potentially extract new access sequences, terminating sequences, and return sequences.

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultATRManager

public DefaultATRManager(ProceduralInputAlphabet<I> alphabet)

Method Detail

getAccessSequence

public Word<I> getAccessSequence(I procedure)

Description copied from interface: ATRManager

Returns an access sequence for the given procedure.

Specified by:

getAccessSequence in interface ATRManager<I>

Parameters:

procedure - the call symbol that identifies the procedure

Returns:

the access sequence for the given procedure

getTerminatingSequence

public Word<I> getTerminatingSequence(I procedure)

Description copied from interface: ATRManager

Returns a terminating sequence for the given procedure.

Specified by:

getTerminatingSequence in interface ATRManager<I>

Parameters:

procedure - the call symbol that identifies the procedure

Returns:

the terminating sequence for the given procedure

getReturnSequence

public Word<I> getReturnSequence(I procedure)

Description copied from interface: ATRManager

Returns a return sequence for the given procedure. Note that the sequence must match the access sequence in order to provide an admissible context for query expansion.

Specified by:

getReturnSequence in interface ATRManager<I>

Parameters:

procedure - the call symbol that identifies the procedure

Returns:

the return sequence for the given procedure

scanPositiveCounterexample

public Set<I> scanPositiveCounterexample(Word<I> input)

Description copied from interface: ATRManager

Extracts from a positive counterexample (potentially new) access sequences, terminating sequences, and return sequences.

Specified by:

scanPositiveCounterexample in interface ATRManager<I>

Parameters:

input - the counterexample

Returns:

a Set of procedures (identified by their respective call symbols) for which new access, terminating, and return sequences could be extracted and for which previously none of the sequences were available.

scanProcedures

public void scanProcedures(Map<I,? extends DFA<?,I>> procedures,
                           Map<I,? extends AccessSequenceTransformer<I>> providers,
                           Collection<I> inputs)

Description copied from interface: ATRManager

Scans a set of (hypothesis) procedures in order to potentially extract new access sequences, terminating sequences, and return sequences.

Specified by:

scanProcedures in interface ATRManager<I>

Parameters:

procedures - a Map from call symbols to the respective procedural (hypothesis) models

providers - a Map from call symbols to AccessSequenceTransformers

inputs - a Collection of input symbols which should be used for finding new access sequences, terminating sequences, and return sequences