jdk/test/java/util/Scanner/FailingConstructors.java
changeset 8543 e5ec12a932da
parent 7966 a23e3f47c5a8
equal deleted inserted replaced
8542:62c7b10ce177 8543:e5ec12a932da
    31 import java.io.File;
    31 import java.io.File;
    32 import java.io.FileInputStream;
    32 import java.io.FileInputStream;
    33 import java.io.FileOutputStream;
    33 import java.io.FileOutputStream;
    34 import java.io.FileNotFoundException;
    34 import java.io.FileNotFoundException;
    35 import java.io.IOException;
    35 import java.io.IOException;
       
    36 import java.nio.file.Files;
    36 import java.util.Scanner;
    37 import java.util.Scanner;
    37 
    38 
    38 public class FailingConstructors {
    39 public class FailingConstructors {
    39     static final String fileName = "FailingConstructorsTest";
    40     static final String fileName = "FailingConstructorsTest";
    40     static final String UNSUPPORTED_CHARSET = "unknownCharset";
    41     static final String UNSUPPORTED_CHARSET = "unknownCharset";
    44         test(false, new File(fileName));
    45         test(false, new File(fileName));
    45 
    46 
    46         /* create the file and write its contents */
    47         /* create the file and write its contents */
    47         File file = File.createTempFile(fileName, null);
    48         File file = File.createTempFile(fileName, null);
    48         file.deleteOnExit();
    49         file.deleteOnExit();
    49         FileOutputStream fos = new FileOutputStream(file);
    50         Files.write(file.toPath(), FILE_CONTENTS.getBytes());
    50         fos.write(FILE_CONTENTS.getBytes());
       
    51         fos.close();
       
    52 
    51 
    53         test(true, file);
    52         test(true, file);
    54         file.delete();
    53         file.delete();
    55     }
    54     }
    56 
    55