if ((src == null) || (tgt == null)) {
return;
}
DerivationTree tree = new DerivationTree(tgt.split(DerivationTree.DELIMITER)[1], src);
if (dv == null) {
dv = new DerivationViewer(tree, viewPanel.getSize(), targetColor, DerivationViewer.AnchorType.ANCHOR_LEFTMOST_LEAF);
}
else {
dv.setGraph(tree);
tree.addCorrespondences();
}
viewPanel.add(dv, BorderLayout.CENTER);
dv.revalidate();
repaint();
getContentPane().repaint();