Package de.learnlib.datastructure.observationtable.writer

Class ObservationTableHTMLWriter<I,D>

java.lang.Object

de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter<I,D>

de.learnlib.datastructure.observationtable.writer.ObservationTableHTMLWriter<I,D>

Type Parameters:

I - input symbol type (upper bound)

D - output domain type (upper bound)

All Implemented Interfaces:

ObservationTableWriter<I,D>

public class ObservationTableHTMLWriter<I,D>
extends AbstractObservationTableWriter<I,D>

Writes an observation table as an HTML table.

Field Summary

Fields inherited from class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

outputToString, wordToString

Constructor Summary

Constructors

Constructor	Description
ObservationTableHTMLWriter(Function<? super Word<? extends I>,? extends String> wordToString, Function<? super D,? extends String> outputToString)

Method Summary

Modifier and Type	Method	Description
void	write(ObservationTable<? extends I,? extends D> table, Appendable out)

Methods inherited from class de.learnlib.datastructure.observationtable.writer.AbstractObservationTableWriter

outputToString, safeToStringFunction, setOutputToString, setWordToString, wordToString

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.datastructure.observationtable.writer.ObservationTableWriter

write, write, write

Constructor Detail

ObservationTableHTMLWriter

public ObservationTableHTMLWriter(Function<? super Word<? extends I>,? extends String> wordToString,
                                  Function<? super D,? extends String> outputToString)

Method Detail

write

public void write(ObservationTable<? extends I,? extends D> table,
                  Appendable out)
           throws IOException

Throws:

IOException