101102103104105106107108109110
editor.addCasEditorInputListener(this); reloadTree(); } private void reloadTree() { TestEvaluationTree tree = new TestEvaluationTree(); tree.createTree(document.getCAS()); viewer.setInput(tree); viewer.refresh(); }
103104105106107108109110111112