return new TreePathHandle(new CountingDelegate(TreePathHandle.create(treePath.getParentPath(), info), index, treePath.getLeaf().getKind())); Position pos = createPositionRef(file, position, Bias.Forward); TreePath current = treePath; Element correspondingElement = info.getTrees().getElement(current);