function buildTree() {
        let model = new DerivationTreeView();
        atom.views.addViewProvider(DerivationTreeView);
        self.clearPanel();
        atom.workspace.open(model);
        let content = self.treeBuilder.buildHTML();
        model.update(content);
        self.treeBuilder.result = [];
        self.treeBuilder.forest = [];
    }
/**
     * Creates new DerivationTreeView object and updates
     * its content so that the tree structures can be displayed.
     */
Creates new DerivationTreeView object and updates
its content so that the tree structures can be displayed.
Creates new DerivationTreeView object and updates its content so that the tree structures can be displayed .
function buildTree() {
        let model = new DerivationTreeView();
        atom.views.addViewProvider(DerivationTreeView);
        self.clearPanel();
        atom.workspace.open(model);
        let content = self.treeBuilder.buildHTML();
        model.update(content);
        self.treeBuilder.result = [];
        self.treeBuilder.forest = [];
    }
function buildTree ( ) { let model = new DerivationTreeView ( ) ; atom . views . addViewProvider ( DerivationTreeView ) ; self . clearPanel ( ) ; atom . workspace . open ( model ) ; let content = self . treeBuilder . buildHTML ( ) ; model . update ( content ) ; self . treeBuilder . result = [ ] ; self . treeBuilder . forest = [ ] ; }
Creates new DerivationTreeView object and updates
 its content so that the tree structures can be displayed.
Creates new DerivationTreeView object and updates its content so that the tree structures can be displayed .