Package net.jqwik.engine.execution.reporting

Interface LineReporter

public interface LineReporter

  • Method Summary

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

  • Method Details

    • addLine

      void addLine(int indentLevel, String line)

    • multiply

      static String multiply(char c, int times)

    • addUnderline

      default void addUnderline(int indentLevel, int length)