#include "mainwindow.h"
#include "ui_mainwindow.h"
#define START_X 40
#define START_Y 40
#define DELTA_Y 40
#define LABEL_X 20
#define LABEL_Y 30
#define LINE_X 200
#define LINE_Y 30

QString filepath=QDir::currentPath();
QStringList K;
QStringList Sigma;
QStringList Gamma;
QStringList Q0;
QStringList B;
QStringList F;

MainWindow::MainWindow(QWidget *parent)
    : QMainWindow(parent)
    , ui(new Ui::MainWindow)
{
    ui->setupUi(this);
    this->setFixedSize(1000, 700);
    this->setWindowTitle("Universal Turing Machine");

    label_k = new QLabel(this);
    label_k->setGeometry(START_X, START_Y+DELTA_Y*0, LABEL_X, LABEL_Y);
    label_k->setAlignment(Qt::AlignCenter);
    label_k->setText("\n   状态集合:");

    label_sigma = new QLabel(this);
    label_sigma->setGeometry(START_X, START_Y+DELTA_Y*1, LABEL_X, LABEL_Y);
    label_sigma->setAlignment(Qt::AlignCenter);
    label_sigma->setText("\n   带上符号:");

    label_q0 = new QLabel(this);
    label_q0->setGeometry(START_X, START_Y+DELTA_Y*3, LABEL_X, LABEL_Y);
    label_q0->setAlignment(Qt::AlignCenter);
    label_q0->setText("   开始状态:");

    label_B = new QLabel(this);
    label_B->setGeometry(START_X, START_Y+DELTA_Y*4, LABEL_X, LABEL_Y);
    label_B->setAlignment(Qt::AlignVCenter);
    label_B->setText("   空白符:\n");

    label_F = new QLabel(this);
    label_F->setGeometry(START_X, START_Y+DELTA_Y*5, LABEL_X, LABEL_Y);
    label_F->setAlignment(Qt::AlignVCenter);
    label_F->setText("   终止状态:\n");

    line_k = new QLineEdit(this);
    line_k->setFixedSize(LINE_X,LINE_Y);
    line_sigma = new QLineEdit(this);
    line_sigma->setFixedSize(LINE_X,LINE_Y);
    line_q0 = new QLineEdit(this);
    line_q0->setFixedSize(LINE_X,LINE_Y);
    line_B = new QLineEdit(this);
    line_B->setFixedSize(LINE_X,LINE_Y);
    line_F = new QLineEdit(this);
    line_F->setFixedSize(LINE_X,LINE_Y);

    layout_label = new QVBoxLayout(this);
    layout_label->addWidget(label_k);
    layout_label->addWidget(label_sigma);
    layout_label->addWidget(label_q0);
    layout_label->addWidget(label_B);
    layout_label->addWidget(label_F);

    layout_line = new QVBoxLayout(this);
    layout_line->addWidget(line_k);
    layout_line->addWidget(line_sigma);
    layout_line->addWidget(line_q0);
    layout_line->addWidget(line_B);
    layout_line->addWidget(line_F);

    layout_1=new QHBoxLayout(this);
    layout_1->addLayout(layout_label);
    layout_1->addLayout(layout_line);

    group_1=new QGroupBox(this);
    group_1->setGeometry(40, 50, 300, 390);
    group_1->setLayout(layout_1);

    //配置文件引入窗
    list_file = new QListWidget(this);
    list_file->setGeometry(380, 50, 220, 240);

    loadFileList();

    btn_import = new QPushButton(this);
    btn_import->setGeometry(380, 320, 220, 40);
    btn_import->setText("导入文件");

    //状态转移函数框
    list_func = new QListWidget(this);
    list_func->setGeometry(640, 50, 340, 300);
    list_func->setWrapping(true);

    //输入纸带
    label_str = new QLabel(this);
    label_str->setGeometry(380, 395, 60, 30);
    label_str->setText("输入纸带:");

    line_str = new QLineEdit(this);
    line_str->setGeometry(440,390,420,40);

    btn_confirm = new QPushButton(this);
    btn_confirm->setGeometry(870, 390, 50, 40);
    btn_confirm->setText("确认");

    btn_step = new QPushButton(this);
    btn_step->setGeometry(930, 390, 50, 40);
    btn_step->setText("下一步");

    //纸带
    for(int i=0;i<24;i++)
    {
        label[i]=new MyLabel(this);
        label[i]->setPos(30+40*i,500);
        label[i]->hide();
    }

    QObject::connect(btn_import, SIGNAL(clicked()), this, SLOT(importFile()));
    QObject::connect(btn_confirm, SIGNAL(clicked()), this, SLOT(startSimulate()));
    QObject::connect(btn_step, SIGNAL(clicked()), this, SLOT(nextStep()));
}

MainWindow::~MainWindow()
{
    delete ui;
}

void MainWindow::importFile()
{
    K.clear();
    Sigma.clear();
    Gamma.clear();
    Q0.clear();
    B.clear();
    F.clear();
    int row=list_file->currentRow();
    list_func->clear();
    QFile file(filepath + "/" + QString::number(row) + ".txt");
    if(file.open(QIODevice::ReadOnly | QIODevice::Text))
    {
        QTextStream in(&file);
        QString temp;
        while(1)
        {
            temp=in.readLine();
            if(temp.size()==0)
                break;
            QStringList list = temp.split(" ");
            list_func->addItem("           δ(q"+list[0]+","+list[1]+")=(q"+list[2]+","+list[3]+","+list[4]+")           ");
            append(&K,"q"+list[0]);
            append(&Sigma,list[1]);
            if(list.contains("#"))
                append(&F,"q"+list[0]);
        }
    }
    QString k,sigma,q0,b,f;

    q0="q0";
    for(int i=0;i<K.size();i++)
         k+=(K[i]+" ");
    for(int i=0;i<Sigma.size();i++)
         sigma+=(Sigma[i]+" ");
    for(int i=0;i<F.size();i++)
         f+=(F[i]+" ");
    b="B";

    line_k->setText(k);
    line_sigma->setText(sigma);
    line_q0->setText(q0);
    line_B->setText(b);
    line_F->setText(f);

    line_k->setEnabled(false);
    line_sigma->setEnabled(false);
    line_q0->setEnabled(false);
    line_B->setEnabled(false);
    line_F->setEnabled(false);
}
void MainWindow::startSimulate()
{
    QString str=line_str->text();
    label[2]->setText("B");
    label[2]->show();
    for(int i=0;i<str.length();i++)
    {
        label[i+3]->setText(str[i]);
        label[i+3]->show();
        label[i+4]->setText("B");
        label[i+4]->show();
    }
}

void MainWindow::nextStep()
{

}

void MainWindow::loadFileList()
{
    QFile file(filepath+"/filelist.txt");
    if(file.open(QIODevice::ReadOnly | QIODevice::Text))
    {
        QTextStream in(&file);
        QString temp;
        while(1)
        {
            temp=in.readLine();
            if(temp.size()==0)
                break;
            QStringList list = temp.split(" ");
            list_file->addItem(list[1]);
        }
    }
}

void MainWindow::append(QStringList* list,QString in)
{
    int flag=0;
    for(int i=0;i<list->size();i++)
    {
        if(list->contains(in))
            return;
    }
    if(flag==0)
        list->append(in);
}