LogVars
ConstraintTree::expand (LogVar X)
{
moveToBottom ({X});
assert (isCountNormalized (X));
CTNodes nodes = getNodesAtLevel (logVars_.size() - 1);
unsigned nrSymbols = getConditionalCount (X);
for (CTNodes::const_iterator it = nodes.begin();
it != nodes.end(); ++ it) {
Symbols symbols;
const CTChilds& childs = (*it)->childs();
for (CTChilds::const_iterator chIt = childs.begin();
chIt != childs.end(); ++ chIt) {
symbols.push_back ((*chIt)->symbol());
}
(*it)->removeAndDeleteAllChilds();
CTNode* prev = *it;
assert (symbols.size() == nrSymbols);
for (size_t j = 0; j < nrSymbols; j++) {
CTNode* newNode = new CTNode (symbols[j], (*it)->level() + j);
prev->mergeSubtree (newNode);
prev = newNode;
}
}
LogVars newLvs;
logVars_.pop_back();
for (size_t i = 0; i < nrSymbols; i++) {
logVars_.push_back (LogVar (logVarSet_.back() + 1));
newLvs.push_back (LogVar (logVarSet_.back() + 1));
logVarSet_.insert (LogVar (logVarSet_.back() + 1));
}
logVarSet_ -= X;
return newLvs;
}
void readChat2(string str){
string line;
string path = "bin/client/message_history/";
path += username;
path += "-";
path += str;
path += ".txt";
vector<string> data = readExternalFile(path);
vector<string> temp;
int i = 1;
cout << "Messages from " << str << endl << endl;
while (i < data.size()){
protocolDissambler(data[i],temp);
if (temp[0].compare("newmsg") == 0){
if (i != data.size()-1)
cout <<"================= new messages =================" << endl;
}
else{
cout << reFormatMessage(temp) << endl;
}
i++;
temp.clear();
}
moveToBottom(path);
}
void
ConstraintTree::copyLogVar (LogVar X_1, LogVar X_2)
{
moveToBottom ({X_1});
CTNodes leafs = getNodesAtLevel (logVars_.size());
for (size_t i = 0; i < leafs.size(); i++) {
leafs[i]->childs().insert_sorted (
new CTNode (leafs[i]->symbol(), leafs[i]->level() + 1));
}
logVars_.push_back (X_2);
logVarSet_.insert (X_2);
}
void
ConstraintTree::remove (const LogVarSet& X)
{
assert (logVarSet_.contains (X));
if (X.empty()) {
return;
}
moveToBottom (X.elements());
unsigned level = getLevel (X.front()) - 1;
CTNodes nodes = getNodesAtLevel (level);
for (CTNodes::const_iterator it = nodes.begin();
it != nodes.end(); ++ it) {
(*it)->removeAndDeleteAllChilds();
}
logVars_.resize (logVars_.size() - X.size());
logVarSet_ -= X;
}
void drawCylinder()
{
// 创建特定参数的圆柱体（实际上最后一个参数决定了实体是一个圆锥体还是圆柱）
AcDb3dSolid *pSolid = new AcDb3dSolid();
pSolid->createFrustum(30, 10, 10, 10);
// 将圆锥体添加到模型空间
PostToModelSpace(pSolid);
//创建切面
AcGePlane plane;
plane.set(AcGePoint3d(8,0,0),AcGeVector3d(1,0,0));
//得到实体与切面相切的截面
AcDbRegion *pSelectionRegion = NULL;
pSolid->getSection(plane, pSelectionRegion);
//将其移动到YZ平面
moveToBottom(pSelectionRegion);
//将截面加入到模型空间
PostToModelSpace(pSelectionRegion);
}
ProjectBuildSetWidget::ProjectBuildSetWidget( QWidget* parent )
: QWidget( parent ), m_view( 0 ),
m_ui( new Ui::ProjectBuildSetWidget )
{
m_ui->setupUi( this );
m_ui->addItemButton->setIcon( KIcon( "list-add" ) );
connect( m_ui->addItemButton, SIGNAL( clicked() ),
this, SLOT( addItems() ) );
m_ui->removeItemButton->setIcon( KIcon( "list-remove" ) );
connect( m_ui->removeItemButton, SIGNAL( clicked() ),
this, SLOT( removeItems() ) );
m_ui->upButton->setIcon( KIcon( "go-up" ) );
connect( m_ui->upButton, SIGNAL( clicked() ),
SLOT( moveUp() ) );
m_ui->downButton->setIcon( KIcon( "go-down" ) );
connect( m_ui->downButton, SIGNAL( clicked() ),
SLOT( moveDown() ) );
m_ui->topButton->setIcon( KIcon( "go-top" ) );
connect( m_ui->topButton, SIGNAL( clicked() ),
SLOT( moveToTop() ) );
m_ui->bottomButton->setIcon( KIcon( "go-bottom" ) );
connect( m_ui->bottomButton, SIGNAL( clicked() ),
SLOT( moveToBottom() ) );
m_ui->itemView->horizontalHeader()->setStretchLastSection(true);
m_ui->itemView->verticalHeader()->setVisible(false);
m_ui->itemView->setContextMenuPolicy( Qt::CustomContextMenu );
connect( m_ui->itemView, SIGNAL( customContextMenuRequested( const QPoint& ) ),
SLOT(showContextMenu(const QPoint&) ) );
layout()->setMargin(0);
}
MainWindow::MainWindow()
{
// User interface ----------------------------------------------------------
if (tr("LTR") == "RTL") {
qApp->setLayoutDirection(Qt::RightToLeft);
}
setupUi(this);
network_access_manager = new QNetworkAccessManager(this);
default_printer = NULL;
#ifdef Q_OS_MAC
this->setUnifiedTitleAndToolBarOnMac(true);
#endif
progressBar = new QProgressBar(this);
progressBar->setTextVisible(false);
progressBar->resize(QSize(30, 10));
statusBar()->addPermanentWidget(progressBar, 0);
statusBar()->setFixedHeight(20);
progressBar->setFixedWidth(150);
progressBar->setFixedHeight(15);
progressBar->setVisible(false);
LQCategoryComboBox->setVisible(false);
SQStatisticsLabel->setVisible(false);
currentSvgChanged();
btnApply = SQButtonBox->button(QDialogButtonBox::Apply);
btnApply->setText(tr("Apply"));
btnApply->setStatusTip(tr("Apply any changes you have made to the question"));
btnApply->setIcon(QIcon(QString::fromUtf8(":/images/images/button_ok.png")));
btnDiscard = SQButtonBox->button(QDialogButtonBox::Discard);
btnDiscard->setText(tr("Discard"));
btnDiscard->setStatusTip(tr("Discard any changes you have made to the question"));
btnDiscard->setIcon(QIcon(QString::fromUtf8(":/images/images/button_cancel.png")));
SQQuestionTextEdit->setTitle(tr("Question:"));
SQQuestionTextEdit->textEdit()->setStatusTip(tr("Text of the selected question"));
ECTextEdit->setTitle(tr("Comments:"));
ECTextEdit->textEdit()->setStatusTip(tr("Use this field for your comments, notes, reminders..."));
EFTreeWidget->setMouseTracking(true);
EFTreeWidget->header()->setSectionResizeMode(0, QHeaderView::Fixed);
EFTreeWidget->header()->setSectionResizeMode(1, QHeaderView::Stretch);
EFTreeWidget->header()->setSectionResizeMode(2, QHeaderView::ResizeToContents);
EFButtonBox->button(QDialogButtonBox::Apply)->setText(tr("Apply"));
EFButtonBox->button(QDialogButtonBox::Apply)->setStatusTip(tr("Apply any changes you have made to the categories"));
EFButtonBox->button(QDialogButtonBox::Apply)->setIcon(QIcon(QString::fromUtf8(":/images/images/button_ok.png")));
EFButtonBox->button(QDialogButtonBox::Discard)->setText(tr("Discard"));
EFButtonBox->button(QDialogButtonBox::Discard)->setStatusTip(tr("Discard any changes you have made to the categories"));
EFButtonBox->button(QDialogButtonBox::Discard)->setIcon(QIcon(QString::fromUtf8(":/images/images/button_cancel.png")));
// Initialize variables ----------------------------------------------------
// URLs
docs_url = tr("http://itest.sourceforge.net/documentation/%1/en/").arg("1.4");
// i18n
QTranslator translator; translator.load(":/i18n/iTest-i18n.qm");
itest_i18n.insert("English", "en");
itest_i18n.insert(translator.translate("LanguageNames", "Slovak"), "sk");
itest_i18n.insert(translator.translate("LanguageNames", "Russian"), "ru");
itest_i18n.insert(translator.translate("LanguageNames", "Turkish"), "tr");
itest_i18n.insert(translator.translate("LanguageNames", "Portuguese"), "pt");
itest_i18n.insert(translator.translate("LanguageNames", "Spanish"), "es");
itest_i18n.insert(translator.translate("LanguageNames", "Italian"), "it");
itest_i18n.insert(translator.translate("LanguageNames", "Latvian"), "lv");
itest_i18n.insert(translator.translate("LanguageNames", "Ukrainian"), "uk");
itest_i18n.insert(translator.translate("LanguageNames", "Czech"), "cs");
itest_i18n.insert(translator.translate("LanguageNames", "Hungarian"), "hu");
itest_i18n.insert(translator.translate("LanguageNames", "German"), "de");
// CURRENT_DB
current_db_open = false;
current_db_session = NULL;
current_db_class = NULL;
current_db_categories.resize(20);
current_db_categories_enabled.resize(20);
// Connect slots -----------------------------------------------------------
tbtnAddQuestion->setDefaultAction(actionAdd);
tbtnDuplicateQuestion->setDefaultAction(actionDuplicate);
tbtnDeleteQuestion->setDefaultAction(actionDelete);
QObject::connect(actionAdd, SIGNAL(triggered()), this, SLOT(addQuestion()));
QObject::connect(actionDelete, SIGNAL(triggered()), this, SLOT(deleteQuestion()));
QObject::connect(actionDuplicate, SIGNAL(triggered()), this, SLOT(duplicateQuestion()));
QObject::connect(btnApply, SIGNAL(released()), this, SLOT(applyQuestionChanges()));
QObject::connect(actionApply, SIGNAL(triggered()), this, SLOT(applyQuestionChanges()));
QObject::connect(btnDiscard, SIGNAL(released()), this, SLOT(discardQuestionChanges()));
QObject::connect(actionDiscard, SIGNAL(triggered()), this, SLOT(discardQuestionChanges()));
QObject::connect(actionNew, SIGNAL(triggered()), this, SLOT(newDB()));
QObject::connect(btnNew, SIGNAL(released()), this, SLOT(newDB()));
QObject::connect(actionOpen, SIGNAL(triggered()), this, SLOT(open()));
QObject::connect(btnOpenOther, SIGNAL(released()), this, SLOT(open()));
QObject::connect(btnOpenSelected, SIGNAL(released()), this, SLOT(openRecent()));
QObject::connect(actionSave, SIGNAL(triggered()), this, SLOT(save()));
QObject::connect(actionSave_as, SIGNAL(triggered()), this, SLOT(saveAs()));
QObject::connect(actionSave_a_copy, SIGNAL(triggered()), this, SLOT(saveCopy()));
QObject::connect(actionExport_CSV, SIGNAL(triggered()), this, SLOT(exportCSV()));
QObject::connect(actionClose, SIGNAL(triggered()), this, SLOT(closeDB()));
QObject::connect(actionQuit, SIGNAL(triggered()), this, SLOT(quit()));
QObject::connect(actionAbout, SIGNAL(triggered()), this, SLOT(about()));
QObject::connect(recentDBsListWidget, SIGNAL(itemDoubleClicked(QListWidgetItem *)), this, SLOT(openRecent(QListWidgetItem *)));
QObject::connect(LQListWidget, SIGNAL(currentTextChanged(QString)), this, SLOT(setCurrentQuestion()));
QObject::connect(actionFrom_A_to_Z, SIGNAL(triggered()), this, SLOT(sortQuestionsAscending()));
QObject::connect(actionFrom_Z_to_A, SIGNAL(triggered()), this, SLOT(sortQuestionsDescending()));
QObject::connect(actionBy_category, SIGNAL(triggered()), this, SLOT(sortQuestionsByCategory()));
tbtnAddSVG->setDefaultAction(actionAdd_SVG);
tbtnRemoveSVG->setDefaultAction(actionRemove_SVG);
tbtnEditSVG->setDefaultAction(actionEdit_SVG);
tbtnExportSVG->setDefaultAction(actionExport_SVG);
QObject::connect(actionAdd_SVG, SIGNAL(triggered()), this, SLOT(addSvg()));
QObject::connect(actionRemove_SVG, SIGNAL(triggered()), this, SLOT(removeSvg()));
QObject::connect(actionEdit_SVG, SIGNAL(triggered()), this, SLOT(editSvg()));
QObject::connect(actionExport_SVG, SIGNAL(triggered()), this, SLOT(exportSvg()));
QObject::connect(SQSVGListWidget, SIGNAL(itemDoubleClicked(QListWidgetItem *)), this, SLOT(previewSvg(QListWidgetItem *)));
QObject::connect(SQSVGListWidget, SIGNAL(currentTextChanged(QString)), this, SLOT(currentSvgChanged()));
tbtnMoveUp->setDefaultAction(actionMove_up);
tbtnMoveDown->setDefaultAction(actionMove_down);
QObject::connect(actionMove_up, SIGNAL(triggered()), this, SLOT(moveUp()));
QObject::connect(actionMove_down, SIGNAL(triggered()), this, SLOT(moveDown()));
QObject::connect(actionMove_to_top, SIGNAL(triggered()), this, SLOT(moveToTop()));
QObject::connect(actionMove_to_bottom, SIGNAL(triggered()), this, SLOT(moveToBottom()));
QObject::connect(actionHide, SIGNAL(triggered()), this, SLOT(hideQuestion()));
QObject::connect(actionShow_hidden, SIGNAL(triggered()), this, SLOT(filterLQSearch()));
rbtngrpFilterLQ = new QButtonGroup(this);
rbtngrpFilterLQ->addButton(LQAllRadioButton);
rbtngrpFilterLQ->addButton(LQEasyRadioButton);
rbtngrpFilterLQ->addButton(LQMediumRadioButton);
rbtngrpFilterLQ->addButton(LQDifficultRadioButton);
rbtngrpFilterLQ->addButton(LQCategoryRadioButton);
actgrpFilterLQ = new QActionGroup(this);
actgrpFilterLQ->addAction(actionShow_all);
actgrpFilterLQ->addAction(actionShow_easy);
actgrpFilterLQ->addAction(actionShow_medium);
actgrpFilterLQ->addAction(actionShow_difficult);
actgrpFilterLQ->addAction(actionShow_category);
QObject::connect(rbtngrpFilterLQ, SIGNAL(buttonReleased(QAbstractButton *)), this, SLOT(filterLQ(QAbstractButton *)));
QObject::connect(actgrpFilterLQ, SIGNAL(triggered(QAction *)), this, SLOT(filterLQAction(QAction *)));
QObject::connect(LQCategoryComboBox, SIGNAL(currentIndexChanged(int)), this, SLOT(filterLQCategoryChanged()));
QObject::connect(LQSearchLineEdit, SIGNAL(textChanged(const QString &)), this, SLOT(filterLQSearch()));
QObject::connect(tbtnSearchByGroup, SIGNAL(released()), this, SLOT(searchByGroup()));
actgrpPage = new QActionGroup(this);
actgrpPage->addAction(actionEdit_questions);
actgrpPage->addAction(actionEdit_comments);
actgrpPage->addAction(actionEdit_categories);
actgrpPage->addAction(actionEdit_test);
actgrpPage->addAction(actionSaved_sessions);
actgrpPage->addAction(actionEdit_classes);
QObject::connect(actgrpPage, SIGNAL(triggered(QAction *)), this, SLOT(setPage(QAction *)));
//QObject::connect(btnApply, SIGNAL(released()), this, SLOT(setDatabaseModified()));
//QObject::connect(actionApply, SIGNAL(triggered()), this, SLOT(setDatabaseModified()));
QObject::connect(ECTextEdit, SIGNAL(textChanged()), this, SLOT(setDatabaseModified()));
QObject::connect(actionCheck_for_updates, SIGNAL(triggered()), this, SLOT(checkForUpdates()));
QObject::connect(network_access_manager, SIGNAL(finished(QNetworkReply *)), this, SLOT(httpRequestFinished(QNetworkReply *)));
QObject::connect(actionDocumentation, SIGNAL(triggered()), this, SLOT(openDocumentation()));
QObject::connect(SQStatisticsLabel, SIGNAL(linkActivated(QString)), this, SLOT(adjustQuestionDifficulty()));
QObject::connect(actionPrint_questions, SIGNAL(triggered()), this, SLOT(showPrintQuestionsDialogue()));
QObject::connect(actionOverall_statistics, SIGNAL(triggered()), this, SLOT(overallStatistics()));
QObject::connect(actionChange_language, SIGNAL(triggered()), this, SLOT(changeLanguage()));
QObject::connect(mainStackedWidget, SIGNAL(currentChanged(int)), this, SLOT(currentPageChanged(int)));
// Disable all -------------------------------------------------------------
setAllEnabled(false);
// Categories -------------------------------------------------------------------
setupCategoriesPage();
// Server ------------------------------------------------------------------
setupServer();
// Session viewer ----------------------------------------------------------
setupSessionViewer();
// Class viewer ------------------------------------------------------------
setupClassViewer();
// -------------------------------------------------------------------------
#ifdef Q_OS_MAC
show();
#endif
// Load settings -----------------------------------------------------------
loadSettings();
// Ready -------------------------------------------------------------------
statusBar()->showMessage(tr("Ready"), 10000);
// Check app args ----------------------------------------------------------
if (qApp->arguments().count() > 1) {
openFile(qApp->arguments().at(1));
}
// -------------------------------------------------------------------------
#ifndef Q_OS_MAC
show();
#endif
}
