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 TypeMethodDescriptionvoid
Print to System.out if this DebugWriter is enabled.boolean
Returns true if this DebugWriter is enabled.void
setEnabled
(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
-