/home/enzo/treballs/fib/pfc/nanocomp/src/truthTableManager.cpp

Go to the documentation of this file.

/*
 *                                                                         *
 *   This program is free software; you can redistribute it and/or modify  *
 *   it under the terms of the GNU General Public License as published by  *
 *   the Free Software Foundation; either version 2 of the License, or     *
 *   (at your option) any later version.                                   *
 *                                                                         *
 *   This program is distributed in the hope that it will be useful,       *
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
 *   GNU General Public License for more details.                          *
 *                                                                         *
 *   You should have received a copy of the GNU General Public License     *
 *   along with this program; if not, write to the                         *
 *   Free Software Foundation, Inc.,                                       *
 *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
                                                                          */

// $Revision: 1.19 $

#include "truthTableManager.hpp"
#include <wx/filename.h>
#include <list>


TruthTableManager::TruthTableManager(MainController *controller)
{
    currentTable = wxEmptyString; //No tables
    modified = false;
    needNewFile = false;
    fileName = wxEmptyString;
    diskManager = new TruthTableDiskManager(this);
    this->controller = controller;
}


TruthTableManager::~TruthTableManager()
{
    delete diskManager;
}



void TruthTableManager::setView(TruthTableView *view)
{
    this->view = view;
}


void TruthTableManager::updateTable()
{
    if (currentTable != wxEmptyString)
    {
        view->updateTable(*tableList[currentTable]);
    }
    else
    {
        view->updateTable(TruthTable());
    }
}



void TruthTableManager::newTable(wxString name, int inputs, int outputs)
{
    if (tableList.find(name) != tableList.end())
    {
        view->errorMsg(_("This name is already taken, please select another one"));
        return;
    }
    wxStopWatch s1;
    TruthTable *newTable = new TruthTable(name, inputs, outputs);
    tableList[name] = newTable;
    currentTable = name;
    wxStopWatch s2;
    view->updateTable(*newTable);
    
    updateList();
    view->selectTable(currentTable);
    tableSelected(currentTable);
    if (fileName == wxEmptyString)
    {
        needNewFile = true;
    }
    modified = true;
    controller->tablesChanged();
    controller->elementChanged();
}


void TruthTableManager::updateList()
{
    wxArrayString stringList;
    for (map<wxString, TruthTable*>::iterator i = tableList.begin(); i != tableList.end(); i++)
    {
        stringList.Add((*i).second->getName());
    }
    view->updateList(stringList);
}



void TruthTableManager::tableSelected(wxString tableId)
{
    currentTable = tableId;
    updateTable();    
}


void TruthTableManager::removeTable()
{
    delete tableList[currentTable];
    map<wxString, TruthTable*>::iterator i = tableList.find(currentTable);
    bool first = (i == tableList.begin());
    map<wxString, TruthTable*>::iterator j = i;
    map<wxString, TruthTable*>::iterator k = i;
    j++;
    k--;
    tableList.erase(i);
    if (j != tableList.end())
    {
        currentTable = (*j).first;
    }
    else
    {
        if (first)
        {
            currentTable = wxEmptyString;//No Tables
        }
        else
        {
            currentTable = (*k).first;
        }
    } 
    updateList();
    view->selectTable(currentTable);
    tableSelected(currentTable);
    modified = true;
    controller->tablesChanged();
    controller->elementChanged();
}



void TruthTableManager::tableChanged(vector<bool> input, int output)
{
    vector<bool> newOutput = tableList[currentTable]->getOutput(input);
    newOutput[output] = !newOutput[output];
    tableList[currentTable]->setOutput(input, newOutput);
    modified = true;
    //Optimization: since we already update the table on the
    //event we don't need to update it.
    //updateTable();
    controller->elementChanged();
}



bool TruthTableManager::saveFile()
{
    if (modified)
    {
        if (needNewFile)
        {
            wxString name = fileView.saveFileChoose(view, _("Select a truth table file to save"), _("*.ttb"));
    
            if (name != wxEmptyString)
            {
                fileName = name;
            }
            else
            {
                return false;
            }
        }
    
        list<TruthTable*> tables;
    
        for(map<wxString, TruthTable*>::iterator i = tableList.begin(); i != tableList.end(); i++)
        {
            tables.push_back((*i).second);
        }
    
        //Set the extension for the filename
        wxFileName extension(fileName);
        extension.SetExt(_("ttb"));
        fileName = extension.GetFullPath();
        if (diskManager->saveTables(tables, fileName))
        {
            modified = false;
            needNewFile = false;
        }
        else
        {
            view->errorMsg(_("Error truth table pattern file!"));
            return false;
        }
    }
    return true;
}



bool TruthTableManager::saveFileAs()
{
    wxString name = fileView.saveFileChoose(view, _("Select a truth table file to save"), _("*.ttb"));
    
    if (name != wxEmptyString)
    {
        fileName = name;
    }
    else
    {
        return false;
    }
    
    list<TruthTable*> tables;
  
    for(map<wxString, TruthTable*>::iterator i = tableList.begin(); i != tableList.end(); i++)
    {
        tables.push_back((*i).second);
    }
    
    //Set the extension for the filename
    wxFileName extension(fileName);
    extension.SetExt(_("ttb"));
    fileName = extension.GetFullPath();
    if (diskManager->saveTables(tables, fileName))
    {
        modified = false;
        needNewFile = false;
    }
    else
    {
        view->errorMsg(_("Error saving truth table file!"));
        return false;
    }
    return true;
}


void TruthTableManager::openFile()
{
    bool deleteTables = false;;
    //We should ask if the user wants to replace
    //the tables or if he wants to append them to
    //existing
    if (tableList.size() > 0)
    {
        if (!view->msgYesNo(_("Do you want to append the new truth tables into the existing ones? (Selecting no will delete them)")))
        {
            deleteTables = true;
            //We have to delete existing tables
            //Check if the user wants to save modified tables
            if (modified)
            {
                if (view->msgYesNo(_("Do you want to save modified truth tables?")))
                {
                    saveFile();
                }
            }
        }
        else
        {
            deleteTables = false;
        }
        
        if (!appendTables(deleteTables, false))
        {
            view->errorMsg(_("Error opening truth table file"));
            clean();
        }
    }
    else
    {
        if (!appendTables(deleteTables, true))
        {
            view->errorMsg(_("Error opening truth table file"));
            clean();
        }
    }
    controller->elementChanged();
}



bool TruthTableManager::openPFile(wxString file)
{
    bool result;
    deleteTables();
    fileName = file;
    result = diskManager->openTables(file);
    updateList();
    view->selectTable(currentTable);
    tableSelected(currentTable);
    controller->elementChanged();
    return result;
}


void TruthTableManager::deleteTables()
{
    tableList.clear();
    currentTable = wxEmptyString; //No current table
    controller->elementChanged();
}



bool TruthTableManager::appendTables(bool mustDeleteTables, bool newFile)
{
    wxString name =fileView.openFileChoose(view, _("Select a truth table file to open"), _("*.ttb"));
    
    if (name != wxEmptyString)
    {
        if (mustDeleteTables)
        {
            deleteTables();
        }
        //Set te new filename if necessary
        if (newFile)
        {
            fileName = name;
        }
        
        diskManager->openTables(name);
    }
    
    updateList();
    view->selectTable(currentTable);
    tableSelected(currentTable);
    modified = true;
    controller->elementChanged();
    return true;    
}


//TODO: check if the table name is available

void TruthTableManager::newTable(TruthTable *table)
{
    if (tableList.find(table->getName()) != tableList.end())
    {
        view->errorMsg(_("A table with name ") + table->getName() + _(" is already taken, it won't be added"));
        return;
    }
    tableList[table->getName()] = table;
    currentTable = table->getName();
    controller->tablesChanged();
    modified = true;
    controller->elementChanged();
}



wxArrayString TruthTableManager::getTableList()
{
    wxArrayString result;
    
    for (map<wxString, TruthTable*>::iterator i = tableList.begin(); i != tableList.end(); i++)
    {
        result.Add((*i).first);
    }
    
    return result;  
}



int TruthTableManager::getInputs(wxString tableId)
{
    if (tableList.find(tableId) == tableList.end())
    {
        return 0;
    }
    else
    {
        return tableList[tableId]->getInputs();
    }
}



int TruthTableManager::getOutputs(wxString tableId)
{
    if (tableList.find(tableId) == tableList.end())
    {
        return 0;
    }
    else
    {
        return tableList[tableId]->getOutputs();
    }
}



bool TruthTableManager::isModified()
{
    return modified;
}



wxString TruthTableManager::getFileName()
{
    return fileName;
}



bool TruthTableManager::saveFilename(wxString file)
{
    list<TruthTable*> tables;
    
    for(map<wxString, TruthTable*>::iterator i = tableList.begin(); i != tableList.end(); i++)
    {
        tables.push_back((*i).second);
    }
    
    if (diskManager->saveTables(tables, file))
    {
        fileName = file;
        return true;
    }
    else
    {
        return false;
    }
}


void TruthTableManager::clean()
{
    fileName = wxEmptyString;
    deleteTables();
    updateList();
    view->selectTable(currentTable);
    tableSelected(currentTable);
    controller->tablesChanged();
    modified = false;
}



TruthTable * TruthTableManager::getTable(wxString id)
{
    if (tableList.find(id) != tableList.end())
    {
        return tableList[id];
    }
    else
    {
        return NULL;
    }
}

---