Class DebugWriter
java.lang.Object
org.checkerframework.afu.scenelib.io.DebugWriter
Performs output to System.out. Has a flag
enabled that controls whether output is
performed.-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidPrint to System.out if this DebugWriter is enabled.booleanReturns true if this DebugWriter is enabled.voidsetEnabled(boolean enabled) Set the enabled status of this DebugWriter.
-
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
Print to System.out if this DebugWriter is enabled.- Parameters:
format- a format stringargs- the format string arguments
-