/** {@inheritDoc} */ public void undoOperator() { super.undoOperator(); if (PositionalTermTraverserImpl.this.contextChangeVisitor != null) { PositionalTermTraverserImpl.this.leavingContext = true; term.accept(PositionalTermTraverserImpl.this.contextChangeVisitor); PositionalTermTraverserImpl.this.leavingContext = false; } contextStack.poll(); }
/** {@inheritDoc} */ public void undoOperator() { super.undoOperator(); if (PositionalTermTraverserImpl.this.contextChangeVisitor != null) { PositionalTermTraverserImpl.this.leavingContext = true; term.accept(PositionalTermTraverserImpl.this.contextChangeVisitor); PositionalTermTraverserImpl.this.leavingContext = false; } contextStack.poll(); }
/** {@inheritDoc} */ public void applyOperator() { PositionalContextOperator previousContext = contextStack.peek(); if (previousContext == null) { previousContext = new PositionalContextOperator(null, -1, false, false, false, null, previousContext); } topLevel = (topLevel == null) ? previousContext.topLevel : topLevel; inHead = (inHead == null) ? previousContext.inHead : inHead; lastBodyFunctor = (lastBodyFunctor == null) ? previousContext.lastBodyFunctor : lastBodyFunctor; position = (position == null) ? previousContext.position : position; contextStack.offer(this); if (PositionalTermTraverserImpl.this.contextChangeVisitor != null) { PositionalTermTraverserImpl.this.enteringContext = true; term.accept(PositionalTermTraverserImpl.this.contextChangeVisitor); PositionalTermTraverserImpl.this.enteringContext = false; } super.applyOperator(); }
/** {@inheritDoc} */ public void applyOperator() { PositionalContextOperator previousContext = contextStack.peek(); if (previousContext == null) { previousContext = new PositionalContextOperator(null, -1, false, false, false, null, previousContext); } topLevel = (topLevel == null) ? previousContext.topLevel : topLevel; inHead = (inHead == null) ? previousContext.inHead : inHead; lastBodyFunctor = (lastBodyFunctor == null) ? previousContext.lastBodyFunctor : lastBodyFunctor; position = (position == null) ? previousContext.position : position; contextStack.offer(this); if (PositionalTermTraverserImpl.this.contextChangeVisitor != null) { PositionalTermTraverserImpl.this.enteringContext = true; term.accept(PositionalTermTraverserImpl.this.contextChangeVisitor); PositionalTermTraverserImpl.this.enteringContext = false; } super.applyOperator(); }