Package net.jqwik.engine.execution.reporting

Interface LineReporter

public interface LineReporter

Method Summary

Modifier and Type	Method	Description
void	addLine(int indentLevel, java.lang.String line)
default void	addUnderline(int indentLevel, int length)
static java.lang.String	multiply(char c, int times)

Method Detail

addLine

void addLine(int indentLevel,
             java.lang.String line)

multiply

static java.lang.String multiply(char c,
                                 int times)

addUnderline

default void addUnderline(int indentLevel,
                          int length)