Skip to content

Commit

Permalink
Tests for File, Paths, FileInputStream, FileOutputStream, FileReader …
Browse files Browse the repository at this point in the history
…and FileWriter
  • Loading branch information
mkarg authored and gaul committed Dec 17, 2024
1 parent e457fad commit 507d6c0
Showing 1 changed file with 28 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,8 @@

import java.io.ByteArrayOutputStream;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.InputStream;
Expand All @@ -31,12 +33,14 @@
import java.io.StringReader;
import java.net.HttpURLConnection;
import java.net.NetworkInterface;
import java.net.URI;
import java.net.URLDecoder;
import java.net.URLEncoder;
import java.nio.channels.ReadableByteChannel;
import java.nio.charset.Charset;
import java.nio.charset.StandardCharsets;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
Expand Down Expand Up @@ -802,6 +806,22 @@ private static void method() throws Exception {
new Scanner((Path) null, "");
new Scanner((ReadableByteChannel) null, "");
Optional.empty().get();
new File(new File(""), "");
new File("");
new File("", "");
new File(URI.create("file://name"));
new FileInputStream("");
new FileInputStream(new File(""));
new FileOutputStream("");
new FileOutputStream("", true);
new FileOutputStream(new File(""));
new FileOutputStream(new File(""), true);
new FileReader((File) null);
new FileReader((String) null);
new FileWriter((File) null);
new FileWriter((File) null, true);
new FileWriter("");
new FileWriter("", true);
}
}

Expand All @@ -812,12 +832,14 @@ private static void method() throws Exception {
CharStreams.nullWriter();
Files.toString((File) null, (Charset) null);
Files.write("", (File) null, (Charset) null);
new FileReader((File) null);
new FileReader((String) null);
new FileWriter((File) null);
new FileWriter((File) null, true);
new FileWriter("");
new FileWriter("", true);
new FileReader((File) null, (Charset) null);
new FileReader((String) null, (Charset) null);
new FileWriter((File) null, (Charset) null);
new FileWriter((File) null, (Charset) null, true);
new FileWriter("", (Charset) null);
new FileWriter("", (Charset) null, true);
Paths.get(URI.create("file://name"));
Paths.get("", "");
}
}

Expand Down

0 comments on commit 507d6c0

Please sign in to comment.