net.jqwik.engine.execution.reporting.LineReporter Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-engine Show documentation

Jqwik Engine module

The newest version!

package net.jqwik.engine.execution.reporting;

public interface LineReporter {

	void addLine(int indentLevel, String line);

	static String multiply(char c, int times) {
		StringBuilder builder = new StringBuilder();
		for (int j = 0; j < times; j++) {
			builder.append(c);
		}
		return builder.toString();
	}

	default void addUnderline(int indentLevel, int length) {
		String underline = LineReporter.multiply('-', length);
		addLine(indentLevel, underline);
	}

}