Package de.learnlib.testsupport

Class AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>>

java.lang.Object

de.learnlib.testsupport.AbstractVisualizationTest<L>

Type Parameters:

L - type of the learner

public abstract class AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>>
extends Object

Abstract class for tests that check the visualization of hypotheses or other internal data structure. This class' constructor runs a simple learning setup (cf. ExampleCoffeeMachine) to initialize the provided learner instance.

Field Summary

Fields

Modifier and Type	Field	Description
protected L	learner

Constructor Summary

Constructors

Constructor	Description
AbstractVisualizationTest()

Method Summary

Modifier and Type	Method	Description
protected abstract L	getLearnerBuilder(Alphabet<ExampleCoffeeMachine.Input> alphabet, SUL<ExampleCoffeeMachine.Input,String> sul)
protected String	resourceAsString(String resourceName)

Methods inherited from class java.lang.Object

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

Field Detail

learner

protected final L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>> learner

Constructor Detail

AbstractVisualizationTest

public AbstractVisualizationTest()

Method Detail

resourceAsString

protected String resourceAsString(String resourceName)
                           throws IOException

Throws:

IOException

getLearnerBuilder

protected abstract L getLearnerBuilder(@UnderInitialization AbstractVisualizationTest<L extends LearningAlgorithm<? extends MealyMachine<?,ExampleCoffeeMachine.Input,?,String>,ExampleCoffeeMachine.Input,Word<String>>> this,
                                       Alphabet<ExampleCoffeeMachine.Input> alphabet,
                                       SUL<ExampleCoffeeMachine.Input,String> sul)