111 |
public |
public |
112 |
InputStreamReader(InputStream in) |
InputStreamReader(InputStream in) |
113 |
{ |
{ |
114 |
|
if (in == null) |
115 |
|
throw new NullPointerException(); |
116 |
this.in = EncodingManager.getDecoder(in); |
this.in = EncodingManager.getDecoder(in); |
117 |
} |
} |
118 |
|
|
133 |
InputStreamReader(InputStream in, String encoding_name) throws |
InputStreamReader(InputStream in, String encoding_name) throws |
134 |
UnsupportedEncodingException |
UnsupportedEncodingException |
135 |
{ |
{ |
136 |
|
if (in == null || encoding_name == null) |
137 |
|
throw new NullPointerException(); |
138 |
this.in = EncodingManager.getDecoder(in, encoding_name); |
this.in = EncodingManager.getDecoder(in, encoding_name); |
139 |
} |
} |
140 |
|
|