public final class MapQueryResultsHandler extends AbstractQueryResultsHandler
| Modifier and Type | Method and Description |
|---|---|
Statistics |
collectStatistics() |
Map<String,List<Proposition>> |
getResultMap()
Gets the map of query results that have been handled.
|
void |
handleQueryResult(String keyId,
List<Proposition> propositions,
Map<Proposition,List<Proposition>> forwardDerivations,
Map<Proposition,List<Proposition>> backwardDerivations,
Map<UniqueId,Proposition> references)
Puts handled keys and propositions into the map returned by
getResultMap(). |
cancel, close, finish, getDisplayName, getId, start, validatepublic Statistics collectStatistics()
public void handleQueryResult(String keyId, List<Proposition> propositions, Map<Proposition,List<Proposition>> forwardDerivations, Map<Proposition,List<Proposition>> backwardDerivations, Map<UniqueId,Proposition> references) throws QueryResultsHandlerProcessingException
getResultMap().keyId - a key id String.propositions - a List of propositions.QueryResultsHandlerProcessingExceptionpublic final Map<String,List<Proposition>> getResultMap()
Copyright © 2012–2017 Emory University. All rights reserved.