public void caretUpdate(CaretEvent e) { int dot = e.getDot(); InterpEvent de = findEventAtOutputLocation(allEvents, dot); if ( de==null ) currentScope = tmodel.root.event.scope; else currentScope = de.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); // System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) path[j++] = new JTreeSTModel.Wrapper(s); TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };
@Override public void caretUpdate(CaretEvent e) { int depth = updateDepth.incrementAndGet(); try { if (depth != 1) { return; } int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot()); currentEvent = findEventAtOutputLocation(allEvents, dot); if ( currentEvent==null ) currentScope = tmodel.root.event.scope; else currentScope = currentEvent.scope; // update tree view of template hierarchy // compute path from root to currentST, create TreePath for tree widget List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true); //System.out.println("\nselect path="+stack); Object[] path = new Object[stack.size()]; int j = 0; for (EvalTemplateEvent s : stack) { path[j++] = new JTreeSTModel.Wrapper(s); } TreePath p = new TreePath(path); viewFrame.tree.setSelectionPath(p); viewFrame.tree.scrollPathToVisible(p); updateCurrentST(viewFrame); } finally { updateDepth.decrementAndGet(); } } };