/*
Copyright (C) 2013 Tobias Baum <tbaum at tntinteractive.de>
This file is a part of Portalsammler.
Portalsammler is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
Portalsammler is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with Portalsammler. If not, see <http://www.gnu.org/licenses/>.
*/
package de.tntinteractive.portalsammler.engine;
import java.util.Map;
import java.util.Set;
import java.util.TreeMap;
public final class DocumentIndex {
private final TreeMap<DocumentInfo, Map<String, String>> documents =
new TreeMap<DocumentInfo, Map<String, String>>();
public Set<DocumentInfo> getAllDocuments() {
return this.documents.keySet();
}
public Map<String, String> getFilePosition(final DocumentInfo id) {
return this.documents.get(id);
}
public void putDocument(final DocumentInfo id, final Map<String, String> filePosition) {
this.documents.put(id, filePosition);
}
}