void GroupSelWidget::sceneChanged()
{
QSet<QString> groupSet = _scene->getAllGroups();
if(groupSet == _prevGroupSet)
return;
_prevGroupSet = groupSet;
QList<QString> groups = groupSet.toList();
qSort(groups);
for(int i = 0; i < (int)_checkBoxes.size(); ++i)
delete _checkBoxes[i];
_checkBoxes.clear();
int childWidth = 0;
for(int i = 0; i < (int)groups.size(); ++i) {
QCheckBox *box = new QCheckBox(groups[i], this);
QFont font = box->font();
font.setPointSize(14);
box->setFont(font);
box->setCheckState(_scene->isGroupVisible(groups[i]) ? Qt::Checked : Qt::Unchecked);
new VisibilitySetter(box, _scene, groups[i]);
layout()->addWidget(box);
childWidth = max(childWidth, box->sizeHint().width());
_checkBoxes.push_back(box);
}
setMinimumWidth(150);
QWidget *scrollArea = parentWidget()->parentWidget()->parentWidget();
scrollArea->setMinimumWidth(childWidth + 20);
}
void MetronomeWindow::doTick() {
if( this->tickIndex >= this->accentChecks.size() ) this->tickIndex = 0;
QCheckBox *box = this->accentChecks.at(this->tickIndex);
if( box->isChecked() )
this->ticker->tick(Ticker::HighTick);
else
this->ticker->tick(Ticker::LowTick);
int size = this->accentChecks.size();
for( int i=0; i<size; i++ ) {
QCheckBox *temp = this->accentChecks.at(i);
QFont font(temp->font());
font.setBold(false);
temp->setFont( font );
}
QFont font(box->font());
font.setBold(true);
box->setFont( font );
this->tickIndex++;
}
ToolInstance::ToolInstance(QString filename, ToolInformation information, mcrl2::gui::qt::PersistentFileDialog* fileDialog, QWidget *parent) :
QWidget(parent),
m_filename(filename),
m_info(information),
m_fileDialog(fileDialog)
{
m_ui.setupUi(this);
connect(this, SIGNAL(colorChanged(QColor)), this, SLOT(onColorChanged(QColor)));
connect(&m_process, SIGNAL(stateChanged(QProcess::ProcessState)), this, SLOT(onStateChange(QProcess::ProcessState)));
connect(&m_process, SIGNAL(readyReadStandardOutput()), this, SLOT(onStandardOutput()));
connect(&m_process, SIGNAL(readyReadStandardError()), this, SLOT(onStandardError()));
connect(m_ui.btnRun, SIGNAL(clicked()), this, SLOT(onRun()));
connect(m_ui.btnAbort, SIGNAL(clicked()), this, SLOT(onAbort()));
connect(m_ui.btnSave, SIGNAL(clicked()), this, SLOT(onSave()));
connect(m_ui.btnClear, SIGNAL(clicked()), m_ui.edtOutput, SLOT(clear()));
QFileInfo fileInfo(filename);
m_process.setWorkingDirectory(fileInfo.absoluteDir().absolutePath());
m_ui.lblDirectoryValue->setText(fileInfo.absoluteDir().absolutePath());
m_ui.lblFileValue->setText(fileInfo.fileName());
if (m_info.hasOutput())
{
QDir dir = fileInfo.absoluteDir();
QString newfile = fileInfo.baseName().append(".%1").arg(m_info.output);
int filenr = 0;
while(dir.exists(newfile))
{
filenr++;
newfile = fileInfo.baseName().append("_%1.%2").arg(filenr).arg(m_info.output);
}
m_pckFileOut = new FilePicker(m_fileDialog, m_ui.pckFileOut);
m_ui.pckFileOut->layout()->addWidget(m_pckFileOut);
m_pckFileOut->setText(newfile);
}
else
{
m_pckFileOut = NULL;
m_ui.lblFileOut->setVisible(false);
m_ui.pckFileOut->setVisible(false);
}
if (m_info.hasSecondInput())
{
m_pckFileIn = new FilePicker(m_fileDialog, m_ui.pckFileIn, false);
m_ui.pckFileIn->layout()->addWidget(m_pckFileIn);
}
else
{
m_pckFileIn = NULL;
m_ui.lblFileIn->setVisible(false);
m_ui.pckFileIn->setVisible(false);
}
QFormLayout *formLayout = new QFormLayout();
formLayout->setFieldGrowthPolicy(QFormLayout::ExpandingFieldsGrow);
for (int i = 0; i < m_info.options.count(); i++)
{
ToolOption option = m_info.options.at(i);
QWidget *nameOpt = NULL;
QCheckBox* cbOpt = NULL;
QVBoxLayout *lytOpt = new QVBoxLayout();
if (option.argument.type == EnumArgument)
{
nameOpt = new QLabel("<b>"+option.nameLong+": </b>");
}
else
{
cbOpt = new QCheckBox(option.nameLong + ": ", this);
cbOpt->setChecked(option.standard);
QFont font(cbOpt->font());
font.setBold(true);
cbOpt->setFont(font);
nameOpt = cbOpt;
}
formLayout->addRow(nameOpt, lytOpt);
QLabel *lblOpt = new QLabel(option.description, this);
lblOpt->setAlignment(Qt::AlignJustify | Qt::AlignTop);
lblOpt->setSizePolicy(QSizePolicy::Expanding, QSizePolicy::Minimum);
lblOpt->setWordWrap(true);
lytOpt->addWidget(lblOpt);
if (!option.hasArgument())
{
m_optionValues.append(new OptionValue(option, cbOpt));
}
else
{
switch (option.argument.type)
{
case StringArgument:
case LevelArgument:
case IntegerArgument:
case RealArgument:
case BooleanArgument:
{
QHBoxLayout *lytArg = new QHBoxLayout();
lytArg->setSpacing(6);
QWidget *edtArg = NULL;
switch (option.argument.type)
{
case LevelArgument:
{
QLineEdit *edtLdt = new QLineEdit("verbose", this);
m_optionValues.append(new OptionValue(option, cbOpt, edtLdt));
edtArg = edtLdt;
}
break;
case IntegerArgument:
{
QSpinBox *edtSpb = new QSpinBox(this);
edtSpb->setRange(std::numeric_limits<int>::min(), std::numeric_limits<int>::max());
if (option.argument.optional)
{
QCheckBox *cbOptional = new QCheckBox(this);
lytArg->addWidget(cbOptional);
m_optionValues.append(new OptionValue(option, cbOpt, edtSpb, cbOptional));
}
else
{
m_optionValues.append(new OptionValue(option, cbOpt, edtSpb));
}
edtArg = edtSpb;
}
break;
case RealArgument:
{
QDoubleSpinBox *edtSpb = new QDoubleSpinBox(this);
edtSpb->setRange(std::numeric_limits<double>::min(), std::numeric_limits<double>::max());
if (option.argument.optional)
{
QCheckBox *cbOptional = new QCheckBox(this);
lytArg->addWidget(cbOptional);
m_optionValues.append(new OptionValue(option, cbOpt, edtSpb, cbOptional));
}
else
{
m_optionValues.append(new OptionValue(option, cbOpt, edtSpb));
}
edtArg = edtSpb;
}
break;
case BooleanArgument:
{
QCheckBox *edtChb = new QCheckBox("Yes", this);
m_optionValues.append(new OptionValue(option, cbOpt, edtChb));
edtArg = edtChb;
}
break;
case StringArgument:
default:
{
QLineEdit *edtLdt = new QLineEdit(this);
m_optionValues.append(new OptionValue(option, cbOpt, edtLdt));
edtArg = edtLdt;
}
break;
}
edtArg->setMinimumWidth(300);
lytArg->addWidget(edtArg);
if (!option.argument.optional && option.argument.type != BooleanArgument)
{
QLabel *lblReq = new QLabel("*", this);
lytArg->addWidget(lblReq);
}
QSpacerItem *spacer = new QSpacerItem(100, 20, QSizePolicy::Expanding);
lytArg->addItem(spacer);
lytOpt->addLayout(lytArg);
}
break;
case FileArgument:
{
QHBoxLayout *lytArg = new QHBoxLayout();
lytArg->setSpacing(6);
FilePicker *edtArg = new FilePicker(m_fileDialog, this, false);
lytArg->addWidget(edtArg);
m_optionValues.append(new OptionValue(option, cbOpt, edtArg));
if (!option.argument.optional)
{
QLabel *lblReq = new QLabel("*", this);
lytArg->addWidget(lblReq);
}
QSpacerItem *spacer = new QSpacerItem(100, 20, QSizePolicy::Expanding);
lytArg->addItem(spacer);
lytOpt->addLayout(lytArg);
}
break;
case EnumArgument:
{
QFormLayout *lytValues = new QFormLayout();
lytValues->setSpacing(6);
QButtonGroup *grpValues = new QButtonGroup(this);
for (int j = 0; j < option.argument.values.count(); j++)
{
ToolValue val = option.argument.values.at(j);
QRadioButton *rbVal = new QRadioButton(val.nameLong, this);
rbVal->setChecked(val.standard);
grpValues->addButton(rbVal);
QLabel *lblVal = new QLabel(val.description, this);
lblVal->setWordWrap(true);
lytValues->addRow(rbVal, lblVal);
}
m_optionValues.append(new OptionValue(option, cbOpt, grpValues));
lytOpt->addLayout(lytValues);
}
break;
default:
break;
}
}
}
m_ui.scrollWidget->setLayout(formLayout);
}
