void MultiLayer::exportToFile(const QString &fileName) {
if (fileName.isEmpty()) {
QMessageBox::critical(0, tr("Error"),
tr("Please provide a valid file name!"));
return;
}
if (fileName.contains(".eps") || fileName.contains(".pdf") ||
fileName.contains(".ps")) {
exportVector(fileName);
return;
} else if (fileName.contains(".svg")) {
exportSVG(fileName);
return;
} else {
QList<QByteArray> list = QImageWriter::supportedImageFormats();
for (int i = 0; i < list.count(); i++) {
if (fileName.contains("." + list[i].toLower())) {
exportImage(fileName);
return;
}
}
QMessageBox::critical(this, tr("Error"),
tr("File format not handled, operation aborted!"));
}
}
void Matrix::exportToFile(const QString& fileName)
{
if ( fileName.isEmpty() ){
QMessageBox::critical(this, tr("QtiPlot - Error"), tr("Please provide a valid file name!"));
return;
}
if (fileName.contains(".eps") || fileName.contains(".pdf") || fileName.contains(".ps")){
exportVector(fileName);
return;
} else if(fileName.contains(".svg")){
exportSVG(fileName);
return;
}
#ifdef EMF_OUTPUT
else if(fileName.contains(".emf")){
exportEMF(fileName);
return;
}
#endif
else {
QList<QByteArray> list = QImageWriter::supportedImageFormats();
for(int i=0 ; i<list.count() ; i++){
if (fileName.contains( "." + list[i].toLower())){
d_matrix_model->renderImage().save(fileName, list[i], 100);
return;
}
}
QMessageBox::critical(this, tr("QtiPlot - Error"), tr("File format not handled, operation aborted!"));
}
}
void exportBTreeNode(BTreeNode* node, FILE* file)
{
if (node->isLeaf)
{
int i;
for (i = 0; i < node->nKeys; i++)
{
BTreeKey* key_to_export = node->mKeys[i];
fprintf(file, "%s\n", key_to_export->mWord);
exportVector(key_to_export->mInfo, file);
}
} else {
int i;
for (i = 0; i < node->nKeys; i++)
{
exportBTreeNode(node->mChildren[i], file);
BTreeKey* key_to_export = node->mKeys[i];
fprintf(file, "%s\n", key_to_export->mWord);
exportVector(key_to_export->mInfo, file);
}
exportBTreeNode(node->mChildren[node->nKeys], file);
}
}
// collect subvectors into a single global vector
void many2one(Epetra_MultiVector & one, const std::vector<RCP<const Epetra_MultiVector> > & many,
const std::vector<RCP<Epetra_Export> > & subExport)
{
// std::vector<RCP<const Epetra_Vector> >::const_iterator vecItr;
std::vector<RCP<const Epetra_MultiVector> >::const_iterator vecItr;
std::vector<RCP<Epetra_Export> >::const_iterator expItr;
// using Exporters fill the empty vector from the sub-vectors
for(vecItr=many.begin(),expItr=subExport.begin();
vecItr!=many.end();++vecItr,++expItr) {
// for ease of access to the source
RCP<const Epetra_MultiVector> srcVec = *vecItr;
// extract the map with global indicies from the current vector
const Epetra_Map & globalMap = *(Teuchos::get_extra_data<RCP<Epetra_Map> >(srcVec,"globalMap"));
// build the export vector as a view of the destination
Epetra_MultiVector exportVector(View,globalMap,srcVec->Values(),srcVec->Stride(),srcVec->NumVectors());
one.Export(exportVector,**expItr,Insert);
}
}
MainWindow::MainWindow(QThread *atermThread):
m_fileDialog("", this)
{
m_ui.setupUi(this);
m_ltsManager = new LtsManager(this, &m_settings, atermThread);
m_markManager = new MarkManager(this, m_ltsManager);
m_infoDock = new InfoDock(this, m_ltsManager, m_markManager);
m_markDock = new MarkDock(this, m_markManager);
m_simDock = new SimDock(this, m_ltsManager);
m_settingsDock = new SettingsDock(this, &m_settings);
m_settingsDialog = new SettingsDialog(this, &m_settings);
m_ltsCanvas = new LtsCanvas(this, &m_settings, m_ltsManager, m_markManager);
setCentralWidget(m_ltsCanvas);
m_progressDialog = new QProgressDialog("", QString(), 0, 6, this);
m_progressDialog->setMinimumDuration(0);
m_ui.informationDock->setWidget(m_infoDock);
m_ui.simulationDock->setWidget(m_simDock);
m_ui.markDock->setWidget(m_markDock);
m_ui.settingsDock->setWidget(m_settingsDock);
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.informationDock->toggleViewAction());
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.simulationDock->toggleViewAction());
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.markDock->toggleViewAction());
m_ui.viewMenu->insertAction(m_ui.preferences, m_ui.settingsDock->toggleViewAction());
m_ui.viewMenu->insertSeparator(m_ui.preferences);
mcrl2::log::logger::register_output_policy(m_logRelay);
connect(&m_logRelay, SIGNAL(logMessage(QString, QString, QDateTime, QString)), this, SLOT(logMessage(QString, QString, QDateTime, QString)));
connect(m_ui.open, SIGNAL(triggered()), this, SLOT(open()));
connect(m_ui.openTrace, SIGNAL(triggered()), this, SLOT(openTrace()));
connect(m_ui.exportBitmap, SIGNAL(triggered()), this, SLOT(exportBitmap()));
connect(m_ui.exportText, SIGNAL(triggered()), this, SLOT(exportText()));
connect(m_ui.exportVector, SIGNAL(triggered()), this, SLOT(exportVector()));
connect(m_ui.exit, SIGNAL(triggered()), QApplication::instance(), SLOT(quit()));
connect(m_ui.resetViewpoint, SIGNAL(triggered()), m_ltsCanvas, SLOT(resetView()));
connect(m_ui.zoomIntoAbove, SIGNAL(triggered()), m_ltsManager, SLOT(zoomInAbove()));
connect(m_ui.zoomIntoBelow, SIGNAL(triggered()), m_ltsManager, SLOT(zoomInBelow()));
connect(m_ui.zoomOut, SIGNAL(triggered()), m_ltsManager, SLOT(zoomOut()));
connect(m_ui.displayStates, SIGNAL(triggered(bool)), &m_settings.displayStates, SLOT(setValue(bool)));
connect(&m_settings.displayStates, SIGNAL(changed(bool)), m_ui.displayStates, SLOT(setChecked(bool)));
connect(m_ui.displayTransitions, SIGNAL(triggered(bool)), &m_settings.displayTransitions, SLOT(setValue(bool)));
connect(&m_settings.displayTransitions, SIGNAL(changed(bool)), m_ui.displayTransitions, SLOT(setChecked(bool)));
connect(m_ui.displayBackpointers, SIGNAL(triggered(bool)), &m_settings.displayBackpointers, SLOT(setValue(bool)));
connect(&m_settings.displayBackpointers, SIGNAL(changed(bool)), m_ui.displayBackpointers, SLOT(setChecked(bool)));
connect(m_ui.displayWireframe, SIGNAL(triggered(bool)), &m_settings.displayWireframe, SLOT(setValue(bool)));
connect(&m_settings.displayWireframe, SIGNAL(changed(bool)), m_ui.displayWireframe, SLOT(setChecked(bool)));
connect(m_ui.preferences, SIGNAL(triggered()), m_settingsDialog, SLOT(show()));
connect(m_ltsManager, SIGNAL(loadingLts()), this, SLOT(loadingLts()));
connect(m_ltsManager, SIGNAL(rankingStates()), this, SLOT(rankingStates()));
connect(m_ltsManager, SIGNAL(clusteringStates()), this, SLOT(clusteringStates()));
connect(m_ltsManager, SIGNAL(computingClusterInfo()), this, SLOT(computingClusterInfo()));
connect(m_ltsManager, SIGNAL(positioningClusters()), this, SLOT(positioningClusters()));
connect(m_ltsManager, SIGNAL(positioningStates()), this, SLOT(positioningStates()));
connect(m_ltsManager, SIGNAL(ltsStructured()), this, SLOT(hideProgressDialog()));
connect(m_ltsManager, SIGNAL(errorLoadingLts()), this, SLOT(hideProgressDialog()));
connect(m_ltsManager, SIGNAL(startStructuring()), this, SLOT(startStructuring()));
connect(m_ltsManager, SIGNAL(stopStructuring()), this, SLOT(stopStructuring()));
connect(m_ltsManager, SIGNAL(selectionChanged()), this, SLOT(selectionChanged()));
connect(m_ltsManager, SIGNAL(ltsZoomed(LTS *)), this, SLOT(zoomChanged()));
m_ui.zoomIntoAbove->setEnabled(false);
m_ui.zoomIntoBelow->setEnabled(false);
m_ui.zoomOut->setEnabled(false);
connect(m_ltsCanvas, SIGNAL(renderingStarted()), this, SLOT(startRendering()));
connect(m_ltsCanvas, SIGNAL(renderingFinished()), this, SLOT(clearStatusBar()));
QSettings settings("mCRL2", "LTSView");
restoreGeometry(settings.value("geometry").toByteArray());
restoreState(settings.value("windowState").toByteArray());
}
void MultiLayer::exportPDF(const QString &fname) { exportVector(fname); }