Class DebugWriter

java.lang.Object
org.checkerframework.afu.scenelib.io.DebugWriter

public class DebugWriter extends Object
Performs output to System.out. Has a flag enabled that controls whether output is performed.
  • Constructor Details

    • DebugWriter

      public DebugWriter(boolean enabled)
      Creates a new DebugWriter.
      Parameters:
      enabled - true if this DebugWriter is enabled
  • Method Details

    • isEnabled

      public boolean isEnabled()
      Returns true if this DebugWriter is enabled.
      Returns:
      true if this DebugWriter is enabled
    • setEnabled

      public void setEnabled(boolean enabled)
      Set the enabled status of this DebugWriter.
      Parameters:
      enabled - true if this DebugWriter is enabled
    • debug

      @FormatMethod public void debug(String format, Object... args)
      Print to System.out if this DebugWriter is enabled.
      Parameters:
      format - a format string
      args - the format string arguments