Added selection regexp node and visualize its automats.

Author: navrkald

RegularConvertor/algorithms/regexptofa.cpp

@@ -81,7 +81,8 @@ RegExpToFA::RegExpToFA(AlgorithmWidget* _algorithm_widget, modes _mode, RegExpWi
     connect(this->algorithm_widget,SIGNAL(stopPressed()),this,SLOT(stop()));
     connect(this->algorithm_widget,SIGNAL(prewPressed()),this,SLOT(prewStep()));
     connect(this->algorithm_widget,SIGNAL(nextPressed()),this,SLOT(nextStep()));
-
+    connect(this->re_widget,SIGNAL(itemClicked(QModelIndex)),this,SLOT(selectRegExp(QModelIndex)));
+    connect(this->center_fa_widget,SIGNAL(FA_changed(FiniteAutomata*))
 }
 
 
@@ -95,6 +96,30 @@ void RegExpToFA::setRE(RegExp* _re)
     //computeSolution();
 }
 
+void RegExpToFA::selectRegExp(QModelIndex index)
+{
+    RegExpNode* node = re_widget->treeModel->nodeFromIndex(index);
+
+    QList<RegExpNode*> children = node->children;
+    if(children.count() > 0)
+    {
+        left_fa_widget->setFA(new FiniteAutomata(children.at(0)->user_FA));
+    }
+    else
+    {
+        left_fa_widget->setFA(new FiniteAutomata());
+    }
+    if(children.count() > 1)
+    {
+        right_fa_widget->setFA(new FiniteAutomata(children.at(1)->user_FA));
+    }
+    else
+    {
+        right_fa_widget->setFA(new FiniteAutomata());
+    }
+    center_fa_widget->setFA(new FiniteAutomata(node->user_FA));
+}
+
 void RegExpToFA::computeSolution()
 {
     while(nodesToProcede.count() != 0)
@@ -171,21 +196,21 @@ void RegExpToFA::nextStep()
         qDebug() << "Pocet synu: " << children.count();
         if(children.count() > 0)
         {
-            left_fa_widget->setFA(&(children.at(0)->user_FA));
+            left_fa_widget->setFA(new FiniteAutomata(children.at(0)->user_FA));
         }
         else
         {
             left_fa_widget->setFA(new FiniteAutomata());
         }
         if(children.count() > 1)
         {
-            right_fa_widget->setFA(&(children.at(1)->user_FA));
+            right_fa_widget->setFA(new FiniteAutomata(children.at(1)->user_FA));
         }
         else
         {
             right_fa_widget->setFA(new FiniteAutomata());
         }
-        center_fa_widget->setFA(&(processedNode->user_FA));
+        center_fa_widget->setFA(new FiniteAutomata(processedNode->user_FA));
 
         //set and update node icon
         processedNode->state = RegExpNode::CORRECT;
@@ -197,6 +222,7 @@ void RegExpToFA::nextStep()
     else
     {
         //qDebug() << "Nodes to precesed empty!";
+        timer->stop();
     }
 
 

RegularConvertor/algorithms/regexptofa.h

@@ -26,6 +26,7 @@ class RegExpToFA : public Algorithm
 
 public slots:
     void setRE(RegExp* _re);
+    void selectRegExp(QModelIndex index);
 
     void runAlgorithm(int mil_sec);
     void nextStep();

RegularConvertor/finite_machine/diagramscene.cpp

@@ -368,6 +368,7 @@ void DiagramScene::setFA(FiniteAutomata* _FA)
     this->selectAll();
     this->deleteSelected();
 
+    delete this->FA;
     this->FA = _FA;
     addNodes(FA->states);
     setStartNode(FA->startState);

RegularConvertor/finite_machine/finiteautomata.cpp

@@ -16,6 +16,16 @@ FiniteAutomata::FiniteAutomata(QString symbol)
     init(symbol);
 }
 
+FiniteAutomata::FiniteAutomata(const FiniteAutomata& _FA)
+{
+    this->nextId = _FA.nextId;
+    states = _FA.states;
+    alphabet = _FA.alphabet;
+    rules = _FA.rules;
+    startState = _FA.startState;
+    finalStates = _FA.finalStates;
+}
+
 void FiniteAutomata::init(QString symbol)
 {
     nextId = 0;

RegularConvertor/finite_machine/finiteautomata.h

@@ -12,6 +12,7 @@ class FiniteAutomata //: public QObject
 public:
     explicit FiniteAutomata();
     FiniteAutomata(QString symbol);
+    FiniteAutomata(const FiniteAutomata& _FA);
     void init(QString symbol);
     int nextId;
     bool isStateUnique(QString state);

RegularConvertor/reg_exp/regexpwidget.cpp

@@ -13,7 +13,7 @@ RegExpWidget::RegExpWidget(QWidget *parent) :
     modelChanged();
     selectionModel = ui->treeView->selectionModel();
     connect(ui->regExpTextEdit, SIGNAL(regExpChanged()), this ,SLOT(modelChanged()));
-
+    connect(ui->treeView,SIGNAL(clicked(QModelIndex)),this,SIGNAL(itemClicked(QModelIndex)));
     treeView = ui->treeView;
 }
 

RegularConvertor/reg_exp/regexpwidget.h

@@ -29,6 +29,7 @@ class RegExpWidget : public QWidget
     void deselectAll();
 signals:
     void newRegExp(RegExp* re);
+    void itemClicked(QModelIndex index);
 
 public slots:
     void modelChanged();