MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / getModel

Method getModel

MiniZincIDE/paramdialog.cpp:30–60  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

28}
29
30int ParamDialog::getModel(const QStringList& modelFiles) {
31 setWindowTitle("Select model to run");
32 selectedFiles = new QListWidget(this);
33 selectedFiles->setSelectionMode(QAbstractItemView::SingleSelection);
34 for (int i=0; i<modelFiles.size(); i++) {
35 QFileInfo fi(modelFiles[i]);
36 QListWidgetItem* lwi = new QListWidgetItem(fi.fileName());
37 selectedFiles->addItem(lwi);
38 if (previousModelFile==modelFiles[i]) {
39 selectedFiles->setCurrentItem(lwi);
40 }
41 }
42 if (selectedFiles->selectedItems().size()==0) {
43 selectedFiles->item(0)->setSelected(true);
44 }
45 QFormLayout* mainLayout = new QFormLayout;
46 mainLayout->addRow(selectedFiles);
47 ui->frame->setLayout(mainLayout);
48 int selectedModel = -1;
49 selectedFiles->setFocus();
50 if (QDialog::exec()==QDialog::Accepted) {
51 selectedModel = selectedFiles->currentRow();
52 previousModelFile=modelFiles[selectedModel];
53 }
54 delete ui->frame;
55 ui->frame = new QFrame;
56 ui->frame->setFrameShape(QFrame::StyledPanel);
57 ui->frame->setFrameShadow(QFrame::Raised);
58 ui->verticalLayout->insertWidget(0, ui->frame);
59 return selectedModel;
60}
61
62void ParamDialog::getParams(QStringList params, const QStringList& dataFiles, QStringList &values, QStringList &additionalDataFiles)
63{

Callers 1

currentModelFileMethod · 0.80

Calls 1

sizeMethod · 0.45

Tested by

no test coverage detected