public class OutputFile extends Object
Constructor and Description |
---|
OutputFile(String filename) |
public OutputFile(String filename) throws IOException
IOException
public void addLine(String command)
public void print(String command)
public void close() throws IOException
IOException
Copyright © 2015–2016 Julian Hyde. All rights reserved.