table.put(file, new Entry(id, id + 1, fileType)); } else { entry.setWriteId(id + 1);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
/** * Returns the actual file location to use when reading the given managed file. * A value of <code>null</code> can be returned if the given managed file name is not * managed and add is set to false. * <p> * The returned file should be considered read-only. Any updates to the content of this * file should be done using {@link #update(String[], String[])}. * * @param managedFile the managed file to lookup * @param add indicate whether the managed file name should be added to the manager if * it is not already managed. * @throws IOException if the add flag is set to true and the addition of the managed file failed * @return the absolute file location to use for the given managed file or * <code>null</code> if the given managed file is not managed */ public File lookup(String managedFile, boolean add) throws IOException { if (!open) throw new IOException(EclipseAdaptorMsg.fileManager_notOpen); Entry entry = (Entry) table.get(managedFile); if (entry == null) { if (add) { add(managedFile); entry = (Entry) table.get(managedFile); } else { return null; } } return new File(getAbsolutePath(managedFile + '.' + entry.getReadId())); }
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
String fileName = (String) fileEntry.getKey(); Entry info = (Entry) fileEntry.getValue(); if (info.getFileType() == FILETYPE_RELIABLEFILE) { ReliableFile.cleanupGenerations(new File(base, fileName)); } else { String readId = Integer.toString(info.getWriteId() - 1); deleteCopies(fileName, readId);
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
entry.setReadId(originalReadIDs[i]);
entry.setReadId(originalReadIDs[i]);
entry.setReadId(originalReadIDs[i]);
table.put(file, new Entry(id, id + 1, fileType)); } else { entry.setWriteId(id + 1);
table.put(file, new Entry(id, id + 1, fileType)); } else { entry.setWriteId(id + 1);
table.put(file, new Entry(id, id + 1, fileType)); } else { entry.setWriteId(id + 1);
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.
Entry entry = (Entry) table.get(file); String value; if (entry.getFileType() != FILETYPE_STANDARD) { value = Integer.toString(entry.getWriteId() - 1) + ',' + //In the table we save the write number - 1, because the read number can be totally different. Integer.toString(entry.getFileType()); } else { value = Integer.toString(entry.getWriteId() - 1); //In the table we save the write number - 1, because the read number can be totally different.