/*------------------------------------------------------------\
  |                                                             |
  | Tool    :                  systemcass                       |
  |                                                             |
  | File    :                  dump_dot.cc                      |
  |                                                             |
  | Author  :                 Buchmann Richard                  |
  |                                                             |
  | Date    :                   09_07_2004                      |
  |                                                             |
  \------------------------------------------------------------*/

/* 
 * This file is part of the Disydent Project
 * Copyright (C) Laboratoire LIP6 - Département ASIM
 * Universite Pierre et Marie Curie
 * 
 * Home page          : http://www-asim.lip6.fr/disydent
 * E-mail             : mailto:richard.buchmann@lip6.fr
 * 
 * This library is free software; you  can redistribute it and/or modify it
 * under the terms  of the GNU Library General Public  License as published
 * by the Free Software Foundation; either version 2 of the License, or (at
 * your option) any later version.
 * 
 * Disydent 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 the GNU C Library; see the  file COPYING. If not, write to the Free
 * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */

#include <fstream>
#include "dump_dot.h"
#include "sc_module.h"
#include "sc_port.h"
#include "simplify_string.h"
#include "sc_ver.h" // sc_version
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

typedef std::list<sc_core::sc_port_base *> port_list_t;

using namespace std;

namespace sc_core {

using namespace sc_dt;

// Build a port list owned by the module mod
static void get_out_port_list(const sc_module & mod, port_list_t & pl) {
    port2module_t::iterator i;
    for (i = port2module.begin(); i != port2module.end(); ++i) {
        if ((i->second == &mod) && (i->first)) {
            pl.push_back((sc_port_base *) (i->first));
        }
    }
}

static void dump_dot(ofstream & o, method_process_t & m) {
    port_list_t port_list;
    get_out_port_list(*(m.module), port_list);
    port_list_t::iterator op;
    for (op = port_list.begin(); op != port_list.end(); ++op) {
        sensitivity_list_t::iterator ip;
        for (ip = m.sensitivity_list.begin(); ip != m.sensitivity_list.end(); ++ip) {
            if (is_clock(ip->get_interface())) {
                continue;
            }
            const char * in = get_name(ip->get_interface().get_pointer());
            const char * out = (*op)->name();
            string s;
            o << simplify_name(in, s);
            o << "->";
            o << simplify_name(out, s);
            o << ";\n";
        }
    }
}


static void dump_all(ofstream & o, method_process_list_t & lm) {
    method_process_list_t::iterator it;
    for (it = lm.begin(); it != lm.end(); ++it) {
        dump_dot(o, **it);
    }
}


static void dump_all(ofstream & o, const Vertex & v) {
    if (v.arcs == NULL) {
        return;
    }
    Arc * a;
    for (a = v.arcs; a != NULL; a = a->next) {
        method_process_t * m = (method_process_t *) v.data;
        method_process_t * m2 = (method_process_t *) a->tip->data;
        o << m->module->name();
        o << " -> " << m2->module->name() << "\n";
    }
}


static void dump_all(ofstream & o, Graph & g) {
    Vertex *v;
    for (v = g.vertices; v < g.vertices + g.n; v++) {
        dump_all(o, *v);
    }
}


bool SignalDependancyGraph2dot(const char * name, method_process_list_t & lm) {
    if (!name) {
        return false;
    }
    string filename;
    filename = name;
    filename += ".dot";
    ofstream o;
    o.open(filename.c_str(), ios::out | ios::trunc);
    if (o.is_open() == false) {
        return false;
    }
    o << "// Signal dependency graph\n"
         "// Generated by " << sc_version() << "\n";
    o << "strict digraph " << name << " {\n";
    dump_all(o, lm);
    o << "}\n";
    o.close();
    return true;
}



bool FctDependancyGraph2dot(const char * name, Graph * g) {
    if (!name) {
        return false;
    }
    if (!g) {
        return false;
    }
    string filename;
    filename = name;
    filename += ".dot";
    ofstream o;
    o.open(filename.c_str(), ios::out | ios::trunc);
    if (o.is_open() == false) {
        return false;
    }
    o << "// Function dependency graph\n"
         "// Generated by " << sc_version() << "\n";
    o << "digraph " << name << " {\n";
    dump_all(o, *g);
    o << "}\n";
    o.close();
    return true;
}

} // end of sc_core namespace

/*
# Local Variables:
# tab-width: 4;
# c-basic-offset: 4;
# c-file-offsets:((innamespace . 0)(inline-open . 0));
# indent-tabs-mode: nil;
# End:
#
# vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
*/