|
@@ -92,6 +92,10 @@ public class TextFile {
|
92
|
92
|
* @since 0.6.3m1
|
93
|
93
|
*/
|
94
|
94
|
public TextFile(final File file, final Charset charset) {
|
|
95
|
+ if (file == null) {
|
|
96
|
+ throw new NullPointerException("file");
|
|
97
|
+ }
|
|
98
|
+
|
95
|
99
|
this.file = file;
|
96
|
100
|
this.charset = charset;
|
97
|
101
|
}
|
|
@@ -105,6 +109,10 @@ public class TextFile {
|
105
|
109
|
* @since 0.6.3m1
|
106
|
110
|
*/
|
107
|
111
|
public TextFile(final InputStream is, final Charset charset) {
|
|
112
|
+ if (is == null) {
|
|
113
|
+ throw new NullPointerException("is");
|
|
114
|
+ }
|
|
115
|
+
|
108
|
116
|
this.is = is;
|
109
|
117
|
this.charset = charset;
|
110
|
118
|
}
|