getFrameController().getConfiguration();
if (configuration == null) {
throw new InternalErrorException("Cannot get configuration.");
}
Tableau tableau = configuration.openModel(model);
MatchResultViewer viewer = (MatchResultViewer) tableau.getFrame();
viewer.setMatchResult(results);
viewer.setSourceFileName(sourceFileName);
viewer.setTransformationRule(
getFrameController().getTransformationRule());