(File desc, File bytes)
| 104 | } |
| 105 | |
| 106 | public void save(File desc, File bytes) throws IOException { |
| 107 | FileWriter writer = new FileWriter(desc, false); |
| 108 | |
| 109 | writer.write(LABEL_SIZE + LABEL_SEPARATOR + this.size + "\n" + |
| 110 | LABEL_NUM_HASH + LABEL_SEPARATOR + this.numHash + "\n" + |
| 111 | LABEL_FPR + LABEL_SEPARATOR + this.getFPR() + "\n"); |
| 112 | writer.close(); |
| 113 | |
| 114 | FileOutputStream out = new FileOutputStream(bytes, false); |
| 115 | this.counts.write(out); |
| 116 | out.close(); |
| 117 | } |
| 118 | |
| 119 | @Override |
| 120 | public void increment(String key) { |