source: doc/theses/rob_schluntz_MMath/examples/intro/res3.java @ a32346b

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resnenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since a32346b was 67982887, checked in by Peter A. Buhr <pabuhr@…>, 6 years ago

specialize thesis directory-names

  • Property mode set to 100644
File size: 544 bytes
Line 
1import java.io.IOException;
2
3public class res3 implements ires {
4  public void write(String filename, String msg) throws Exception {
5    try (
6      FileOutputStream out = new FileOutputStream(filename); // may throw FileNotFoundException
7      FileOutputStream log = new FileOutputStream("log.txt"); //  or SecurityException
8    ) {
9      out.write(msg.getBytes()); // may throw an IOException
10      log.write(msg.getBytes()); // may throw an IOException
11    }
12  }
13
14  public static void main(String[] args) {
15    res.dotest(new res3());
16  }
17}
Note: See TracBrowser for help on using the repository browser.