예제 #1
0
 @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();
   }
 }
예제 #2
0
 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;
   }
 }