Interface TetradLogger.LogDisplayOutputStream

Enclosing class:
TetradLogger

public static interface TetradLogger.LogDisplayOutputStream
Represents an output stream that can get its own length.
  • Method Summary

    Modifier and Type
    Method
    Description
    int
    The total string length written to the text area.
    void
    Should move the log to the end of the stream.
  • Method Details

    • getLengthWritten

      int getLengthWritten()
      The total string length written to the text area.
      Returns:
      The total string length written to the text area.
    • moveToEnd

      void moveToEnd()
      Should move the log to the end of the stream.