@Override
public void evaluateUpper(QueryRecord queryRecord) {
AnswerTuples rlAnswer = null;
boolean useFull = queryRecord.isBottom() || lazyUpperStore == null;
try {
rlAnswer =
(useFull ? trackingStore : lazyUpperStore)
.evaluate(queryRecord.getQueryText(), queryRecord.getAnswerVariables());
queryRecord.updateUpperBoundAnswers(rlAnswer, true);
} finally {
if (rlAnswer != null) rlAnswer.dispose();
}
}
private void queryUpperBound(
BasicQueryEngine upperStore,
QueryRecord queryRecord,
String queryText,
String[] answerVariables) {
AnswerTuples rlAnswer = null;
try {
Utility.logDebug(queryText);
rlAnswer = upperStore.evaluate(queryText, answerVariables);
Utility.logDebug(t.duration());
queryRecord.updateUpperBoundAnswers(rlAnswer);
} finally {
if (rlAnswer != null) rlAnswer.dispose();
rlAnswer = null;
}
}