de.learnlib.datastructure.observationtable.writer

Interface ObservationTableWriter<I,D>

All Known Implementing Classes:

AbstractObservationTableWriter, ObservationTableASCIIWriter, ObservationTableHTMLWriter, SuffixASCIIWriter

@ParametersAreNonnullByDefault
public interface ObservationTableWriter<I,D>

Method Summary

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

Method Detail

write

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

Throws:

IOException

write

default void write(ObservationTable<? extends I,? extends D> table,
                   @WillNotClose
                   PrintStream out)

write

default void write(ObservationTable<? extends I,? extends D> table,
                   @WillNotClose
                   StringBuilder out)

write

default void write(ObservationTable<? extends I,? extends D> table,
                   File file)
            throws IOException

Throws:

IOException