public void setRuleNames(List<String> ruleNames) { setTreeTextProvider(new DefaultTreeTextProvider(ruleNames)); }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
private static void fillTree(TreeNodeWrapper node, Tree tree, TreeViewer viewer) { if (tree == null) { return; } for (int i = 0; i < tree.getChildCount(); i++) { Tree childTree = tree.getChild(i); TreeNodeWrapper childNode = new TreeNodeWrapper(childTree, viewer); node.add(childNode); fillTree(childNode, childTree, viewer); } }
public static String getPS(Tree t, List<String> ruleNames, String fontName, int fontSize) { TreePostScriptGenerator psgen = new TreePostScriptGenerator(ruleNames, t, fontName, fontSize); return psgen.getPS(); }
@Override public double getHeight(Tree tree) { String s = getText(tree); double h = doc.getLineHeight() + nodeHeightPaddingAbove + nodeHeightPaddingBelow; String[] lines = s.split("\n"); return h * lines.length; } }
/** Get an adaptor for root that indicates how to walk ANTLR trees. * Override to change the adapter from the default of {@link TreeLayoutAdaptor} */ public TreeForTreeLayout<Tree> getTreeLayoutAdaptor(Tree root) { return new TreeLayoutAdaptor(root); }
public void setScale(double scale) { if(scale <= 0) { scale = 1; } this.scale = scale; updatePreferredSize(); }
@Override public Iterable<Tree> getChildren(Tree node) { return new AntlrTreeChildrenIterable(node); } }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
/** Get an adaptor for root that indicates how to walk ANTLR trees. * Override to change the adapter from the default of {@link TreeLayoutAdaptor} */ public TreeForTreeLayout<Tree> getTreeLayoutAdaptor(Tree root) { return new TreeLayoutAdaptor(root); }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
/** Get an adaptor for root that indicates how to walk ANTLR trees. * Override to change the adapter from the default of {@link TreeLayoutAdaptor} */ public TreeForTreeLayout<Tree> getTreeLayoutAdaptor(Tree root) { return new TreeLayoutAdaptor(root); }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }