public final class PropositionListQueryResultsHandler extends AbstractQueryResultsHandler
| Constructor and Description |
|---|
PropositionListQueryResultsHandler(BufferedWriter out)
Instantiates this handler to write to a
Writer. |
PropositionListQueryResultsHandler(BufferedWriter out,
boolean includeDerived) |
PropositionListQueryResultsHandler(BufferedWriter out,
List<? extends Comparator<Proposition>> comparator)
Instantiates this handler to write to a
Writer with optional
sorting of propositions. |
PropositionListQueryResultsHandler(BufferedWriter writer,
List<? extends Comparator<Proposition>> comparator,
boolean includeDerived) |
| Modifier and Type | Method and Description |
|---|---|
void |
handleQueryResult(String key,
List<Proposition> propositions,
Map<Proposition,List<Proposition>> forwardDerivations,
Map<Proposition,List<Proposition>> backwardDerivations,
Map<UniqueId,Proposition> references)
Writes a keys worth of data in tab delimited format optionally
sorted.
|
cancel, close, finish, getDisplayName, getId, start, validatepublic PropositionListQueryResultsHandler(BufferedWriter out)
Writer. No sorting will
be performed.out - a Writer.public PropositionListQueryResultsHandler(BufferedWriter out, boolean includeDerived)
public PropositionListQueryResultsHandler(BufferedWriter out, List<? extends Comparator<Proposition>> comparator)
Writer with optional
sorting of propositions.out - a Writer.comparator - a extends Comparator> . Every key's
propositions will be sorted by the provided comparators in the order they
are given. A value of null or an empty array means no
sorting will be performed.public PropositionListQueryResultsHandler(BufferedWriter writer, List<? extends Comparator<Proposition>> comparator, boolean includeDerived)
public void handleQueryResult(String key, List<Proposition> propositions, Map<Proposition,List<Proposition>> forwardDerivations, Map<Proposition,List<Proposition>> backwardDerivations, Map<UniqueId,Proposition> references) throws QueryResultsHandlerProcessingException
key - a key id String.propositions - a List.QueryResultsHandlerProcessingException - if an error
occurred writing to the specified file, output stream or writer.Copyright © 2012–2018 Emory University. All rights reserved.