Merge pull request #177 from niklas88/fix_is_finished_removal

Fix use of ResultTable::isFinished() fixes build
ad-freiburg · Jan 23, 2019 · dc18f9e · dc18f9e
2 parents 5e598f6 + f948735
commit dc18f9e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/engine/QueryExecutionTree.cpp b/src/engine/QueryExecutionTree.cpp
@@ -190,7 +190,7 @@ void QueryExecutionTree::writeResultToStreamAsJson(
 
 // _____________________________________________________________________________
 size_t QueryExecutionTree::getCostEstimate() {
-  if (_cachedResult && _cachedResult->isFinished()) {
+  if (_cachedResult && _cachedResult->status() == ResultTable::FINISHED) {
     // result is pinned in cache. Nothing to compute
     return 0;
   }
@@ -204,7 +204,7 @@ size_t QueryExecutionTree::getCostEstimate() {
 // _____________________________________________________________________________
 size_t QueryExecutionTree::getSizeEstimate() {
   if (_sizeEstimate == std::numeric_limits<size_t>::max()) {
-    if (_cachedResult && _cachedResult->isFinished()) {
+    if (_cachedResult && _cachedResult->status() == ResultTable::FINISHED) {
       _sizeEstimate = _cachedResult->size();
     } else if (_qec) {
       _sizeEstimate = _rootOperation->getSizeEstimate();
@@ -220,7 +220,7 @@ size_t QueryExecutionTree::getSizeEstimate() {
 
 // _____________________________________________________________________________
 bool QueryExecutionTree::knownEmptyResult() {
-  if (_cachedResult && _cachedResult->isFinished()) {
+  if (_cachedResult && _cachedResult->status() == ResultTable::FINISHED) {
     return _cachedResult->size() == 0;
   }
   return _rootOperation->knownEmptyResult();