edu.uiowa.cs.clc.kind2.api

Class DebugLogger

java.lang.Object

edu.uiowa.cs.clc.kind2.api.DebugLogger

public class DebugLogger
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
DebugLogger()
DebugLogger(java.lang.String prefix)

Method Summary

Modifier and Type	Method and Description
void	deleteIfUnneeded(java.io.File file)
void	println()
void	println(java.lang.String text)
void	println(java.lang.String text, java.io.File file)
java.io.File	saveFile(java.lang.String prefix, java.lang.String suffix, java.lang.String contents)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DebugLogger

public DebugLogger()

DebugLogger

public DebugLogger(java.lang.String prefix)

Method Detail

println

public void println()

println

public void println(java.lang.String text)

println

public void println(java.lang.String text,
                    java.io.File file)

saveFile

public java.io.File saveFile(java.lang.String prefix,
                             java.lang.String suffix,
                             java.lang.String contents)

deleteIfUnneeded

public void deleteIfUnneeded(java.io.File file)