view chapter9/WithPrintWriter.scala @ 0:b316eec6fa7a draft default tip

add sample files
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Tue, 08 Jan 2013 16:41:46 +0900
parents
children
line wrap: on
line source

import java.io.File
import java.io.PrintWriter

object WithPrintWriter {
    def withPrintWriter(file: File, op: PrintWriter => Unit) {
	val writer = new PrintWriter(file)
	try {
	    op(writer)
	} finally {
	    writer.close()
	}
    }
    def main(args: Array[String]) {
	withPrintWriter(
	    new File("date.txt"),
	    writer => writer.println(new java.util.Date)
	)
    }
}