Method open

output/java8/1.4.17/STViz.java:100–262

()

    }

    public void open() {
        viewFrame = new STViewFrame();
        updateStack(currentScope, viewFrame);
        updateAttributes(currentScope, viewFrame);
        List<InterpEvent> events = currentScope.events;
        tmodel = new JTreeSTModel(interp, (EvalTemplateEvent)events.get(events.size()-1));
        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);
        viewFrame.ast.addTreeSelectionListener(new TreeSelectionListener() {
                                                   @Override
                                                   public void valueChanged(TreeSelectionEvent treeSelectionEvent) {
                                                       int depth = updateDepth.incrementAndGet();
                                                       try {
                                                           if ( depth!=1 ) {
                                                               return;
                                                           }
                                                           TreePath path = treeSelectionEvent.getNewLeadSelectionPath();
                                                           if ( path==null ) return;
                                                           CommonTree node = (CommonTree)treeSelectionEvent.getNewLeadSelectionPath().getLastPathComponent();
                        //System.out.println("select AST: "+node);
                                                           CommonToken a = (CommonToken)currentScope.st.impl.tokens.get(node.getTokenStartIndex());
                                                           CommonToken b = (CommonToken)currentScope.st.impl.tokens.get(node.getTokenStopIndex());
                                                           highlight(viewFrame.template, a.getStartIndex(), b.getStopIndex());
                                                       }
                                                       finally {
                                                           updateDepth.decrementAndGet();
                                                       }
                                                   }
                                               });

        // Track selection of attr but do nothing for now
//        viewFrame.attributes.addListSelectionListener(
//            new ListSelectionListener() {
//                public void valueChanged(ListSelectionEvent e) {
//                    int minIndex = viewFrame.attributes.getMinSelectionIndex();
//                    int maxIndex = viewFrame.attributes.getMaxSelectionIndex();
//                    for (int i = minIndex; i <= maxIndex; i++) {
//                        if (viewFrame.attributes.isSelectedIndex(i)) {
//                            //System.out.println("index="+i);
//                        }