Class DefaultCharactersToBeReplaced
java.lang.Object
|
+--DefaultCharactersToBeReplaced
- class DefaultCharactersToBeReplaced
- extends java.lang.Object
- implements UserOptions
this class implements a default set of strings to be replaced
Field Summary |
(package private) java.lang.String[][] |
data
used when the file containing the data does not exist |
(package private) java.lang.String |
DefaultsFileName
|
(package private) int |
n_members
|
Constructor Summary |
DefaultCharactersToBeReplaced()
builts the matrix by reading it from the disk
it is stored in a file useroptions.txt
if the file does not exist the matrix #data is used |
Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
toString,
wait,
wait,
wait |
n_members
int n_members
DefaultsFileName
final java.lang.String DefaultsFileName
data
java.lang.String[][] data
- used when the file containing the data does not exist
DefaultCharactersToBeReplaced
public DefaultCharactersToBeReplaced()
- builts the matrix by reading it from the disk
it is stored in a file useroptions.txt
if the file does not exist the matrix #data is used
getData
public java.lang.String[][] getData()
- Returns:
- the default mask
getMembersNumber
public int getMembersNumber()
- Returns:
- the number of rows containing data
getMemberAt
public java.lang.String[] getMemberAt(int i)
- Parameters:
i
- the number of the row- Returns:
- the ith row of data