Fortress

Какой предлагается механизм? Возвращать спецзначение?

Alexander Kamkin wrote:

Какой предлагается механизм? Возвращать спецзначение?

Да. Есть вариант с выбрасыванием исключения, но это уж слишком.

Пример обходчика с отсечением поддеревьев можно посмотреть в проекте Verilog Translator (пакет ru.ispras.verilog.parser.walker). Предлагаю сделать аналогичным образом. Методы-визиторы возвращают одно из трех возможных значений:

enum Result {
  OK,    // Продолжить обход.
  PRUNE, // Отсечь дочерние поддеревья узла (может возвращаться только в методах onNodeBegin).
  ABORT  // Завершить обход.
}

Реализовано в r541. Я сделал немножко по-другому: вместо возвращаемого значения для каждого метода, я добавил в интерфейс ExprTreeVisitor метод getStatus, который возвращает текущий статус visitor-а:

static enum Status
{
   OK,   // Continue traversing
   SKIP, // Skip child nodes
   ABORT // Stop traversing
}

Status getStatus();

Так сделано для того, что бы минимизировать изменения в уже реализованных Visitor-ах и не вынуждать разработчиков Visitor-ов, не использующих возможности прерывания обхода и отсечения поддеревьев, каждый раз возвращать статус. В тех случаях, когда требуется прерывание обхода из-за ошибки, то это уже исключение (exception), а не статус ABORT.