Method valueChanged

output/java8/1.4.17/STViz.java:108–122

(TreeSelectionEvent treeSelectionEvent)

        viewFrame.tree.setModel(tmodel);
        viewFrame.tree.addTreeSelectionListener(new TreeSelectionListener() {
                                                    @Override
                                                    public void valueChanged(TreeSelectionEvent treeSelectionEvent) {
                                                        int depth = updateDepth.incrementAndGet();
                                                        try {
                                                            if ( depth!=1 ) {
                                                                return;
                                                            }
                                                            currentEvent = ((JTreeSTModel.Wrapper)viewFrame.tree.getLastSelectedPathComponent()).event;
                                                            currentScope = currentEvent.scope;
                                                            updateCurrentST(viewFrame);
                                                        }
                                                        finally {
                                                            updateDepth.decrementAndGet();
                                                        }
                                                    }
                                                });
        JTreeASTModel astModel = new JTreeASTModel(new CommonTreeAdaptor(), currentScope.st.impl.ast);
        viewFrame.ast.setModel(astModel);