Package net.jqwik.engine.execution.reporting

Schnittstelle LineReporter

public interface LineReporter

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    void
    addLine(int indentLevel, String line)
     
    default void
    addUnderline(int indentLevel, int length)
     
    static String
    multiply(char c, int times)
     

  • Methodendetails

    • addLine

      void addLine(int indentLevel, String line)

    • multiply

      static String multiply(char c, int times)

    • addUnderline

      default void addUnderline(int indentLevel, int length)