本文整理汇总了Java中org.antlr.v4.gui.TreeViewer.setScale方法的典型用法代码示例。如果您正苦于以下问题:Java TreeViewer.setScale方法的具体用法?Java TreeViewer.setScale怎么用?Java TreeViewer.setScale使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.antlr.v4.gui.TreeViewer
的用法示例。
在下文中一共展示了TreeViewer.setScale方法的4个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: setParseTreeViewer
import org.antlr.v4.gui.TreeViewer; //导入方法依赖的package包/类
public void setParseTreeViewer(TreeViewer aParseTree) {
parseTreeViewer = aParseTree;
JSlider scaleSlider = new JSlider();
scaleSlider.setMinimum(PARSE_TREE_MIN_VAL);
scaleSlider.setMaximum(PARSE_TREE_MAX_VAL);
// JSlider only has integer values
scaleSlider.setValue((int) (PARSE_TREE_DEFAULT_SCALE / PARSE_TREE_SLIDER_FACTOR));
aParseTree.setScale(PARSE_TREE_DEFAULT_SCALE);
JScrollPane parseTreeSP = new JScrollPane(aParseTree);
parseTreeSP.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
parseTreeSP.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
getParseTreePanel().removeAll();
getParseTreePanel().add(parseTreeSP, BorderLayout.CENTER);
getParseTreePanel().add(scaleSlider, BorderLayout.SOUTH);
scaleSlider.addChangeListener(new ChangeListener() {
public void stateChanged(ChangeEvent e) {
double scaleValue =
((double) scaleSlider.getValue()) * PARSE_TREE_SLIDER_FACTOR;
aParseTree.setScale(scaleValue);
}
});
}
示例2: showParseTree
import org.antlr.v4.gui.TreeViewer; //导入方法依赖的package包/类
public static void showParseTree(final FOLParser parser, final ParseTree t) {
final JFrame frame = new JFrame("Antlr AST");
final JScrollPane scrollPane = new JScrollPane();
scrollPane.setHorizontalScrollBarPolicy(JScrollPane.HORIZONTAL_SCROLLBAR_AS_NEEDED);
scrollPane.setVerticalScrollBarPolicy(JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED);
scrollPane.setBounds(0, 0, 500, 500);
final TreeViewer viewr = new TreeViewer(Arrays.asList(parser.getRuleNames()), t);
viewr.setScale(0.8); // scale a little
scrollPane.getViewport().add(viewr);
frame.add(scrollPane);
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
frame.setSize(Toolkit.getDefaultToolkit().getScreenSize().width, 500);
frame.setVisible(true);
}
示例3: initialiseTreeViewer
import org.antlr.v4.gui.TreeViewer; //导入方法依赖的package包/类
private static TreeViewer initialiseTreeViewer(RContext parseTree, RpgParser parser) {
TreeViewer viewer = new TreeViewer(
Arrays.asList(parser.getRuleNames()),
parseTree
);
viewer.setAutoscrolls(true);
viewer.setScale(1.5);
return viewer;
}
示例4: setScale
import org.antlr.v4.gui.TreeViewer; //导入方法依赖的package包/类
public void setScale(double scale) {
if ( treeViewers==null ) return;
for (TreeViewer viewer : treeViewers) {
viewer.setScale(scale);
}
treeScrollPane.revalidate();
}