|
@@ -207,6 +207,8 @@ public class PatternSet extends DataType implements Cloneable { |
|
|
/** |
|
|
/** |
|
|
* Encoding to use when reading the file, defaults to the platform's default |
|
|
* Encoding to use when reading the file, defaults to the platform's default |
|
|
* encoding. |
|
|
* encoding. |
|
|
|
|
|
* |
|
|
|
|
|
* @return the encoding name |
|
|
*/ |
|
|
*/ |
|
|
public final String getEncoding() { |
|
|
public final String getEncoding() { |
|
|
return encoding; |
|
|
return encoding; |
|
|