private void doFetchPrevious() { hasPreviousTriples = false; while(iterator.hasPrevious()){ TripleID previous = iterator.previous(); if(previous.match(pattern)) { hasPreviousTriples = true; hasMoreTriples = true; previousTriple.assign(previous); break; } } }