(File desc, File bits)
| 111 | } |
| 112 | |
| 113 | public void save(File desc, File bits) throws IOException { |
| 114 | FileWriter writer = new FileWriter(desc, false); |
| 115 | |
| 116 | writer.write(LABEL_SIZE + LABEL_SEPARATOR + this.size + "\n" + |
| 117 | LABEL_NUM_HASH + LABEL_SEPARATOR + this.numHash + "\n" + |
| 118 | LABEL_FPR + LABEL_SEPARATOR + this.getFPR() + "\n"); |
| 119 | writer.close(); |
| 120 | |
| 121 | FileOutputStream out = new FileOutputStream(bits, false); |
| 122 | this.bitArray.write(out); |
| 123 | out.close(); |
| 124 | } |
| 125 | |
| 126 | @Override |
| 127 | public void add(String key) { |