115116117118119120121122123124125
if (exception != null) { throw exception; } for (Editor editor : editors) { editor.enter(before, after); } } @Override public void leave(NodeState before, NodeState after)