Class PrintLogger

java.lang.Object

edu.berkeley.cs.jqf.instrument.tracing.PrintLogger

public class PrintLogger
extends Object

Author:

Rohan Padhye

Constructor Summary

Constructors

Constructor	Description
PrintLogger(String name)

Method Summary

Modifier and Type	Method	Description
void	close()
PrintWriter	getWriter()
void	log(String info)

Methods inherited from class java.lang.Object

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

Constructor Details

PrintLogger

public PrintLogger(String name)

Method Details

log

public void log(String info)

getWriter

public PrintWriter getWriter()

close

public void close()