public synchronized void updateIndex(ITmfContext context, TmfTimestamp timestamp) {
// Build the index as we go along
long rank = context.getRank();
if (context.isValidRank() && (rank % fIndexPageSize) == 0) {
// Determine the table position
long position = rank / fIndexPageSize;
// Add new entry at proper location (if empty)
if (fCheckpoints.size() == position) {
ITmfLocation<?> location = context.getLocation().clone();
fCheckpoints.add(new TmfCheckpoint(timestamp.clone(), location));
// System.out.println(this + "[" + (fCheckpoints.size() - 1) + "] " +
// timestamp + ", "
// + location.toString());
}
}
}
