public class DeciderLikeTestPatternPrinter
extends java.lang.Object
public static void print(Sequence sequence, java.nio.file.Path file, java.util.Set<java.lang.String> inputNames, boolean overwrite) throws java.io.IOException
sequence
- the test sequence to be printedfile
- the file where the test will be printed toinputNames
- a set of all input signals of a tested moduleoverwrite
- indicates whether or not the target file should be overwritten if it already
existsjava.io.IOException
- if the specified file already exists or if an I/O error occurred