private Tree buildTree(AstNode node) { Tree t = new Tree(node.getType(), Tree.NO_LABEL, Token.typeToName(node.getType())); t.setPos(node.getAbsolutePosition()); t.setLength(node.getLength()); trees.put(node, t); return t; }