| 149 | } |
| 150 | |
| 151 | public void Store(String text){ |
| 152 | try { |
| 153 | FileOutputStream file = new FileOutputStream("data/EDB/JXT+_" + text + ".dat"); |
| 154 | |
| 155 | for (BigInteger token : tset.keySet()) { |
| 156 | file.write(token.toByteArray()); |
| 157 | ArrayList<byte[]> tuples = tset.get(token); |
| 158 | for (byte[] t : tuples) { |
| 159 | file.write(t); |
| 160 | } |
| 161 | } |
| 162 | byte[][] xset = f.getData(); |
| 163 | for (int j = 0; j < xset.length; j++) { |
| 164 | file.write(xset[j]); |
| 165 | } |
| 166 | for (Map.Entry<Long, ArrayList<byte[]>> entry : cset.entrySet()){ |
| 167 | file.write(entry.getKey().byteValue()); |
| 168 | ArrayList<byte[]> ct = entry.getValue(); |
| 169 | for (int i = 0; i < ct.size(); i++) { |
| 170 | file.write(ct.get(i)); |
| 171 | } |
| 172 | } |
| 173 | file.close(); |
| 174 | } catch (IOException e) { |
| 175 | System.out.println("Error - " + e.toString()); |
| 176 | } |
| 177 | } |
| 178 | } |