check.cc

Go to the documentation of this file.

/*--------------------------------------------------------------------
 *
 * (C) Copyright Koninklijke Philips Electronics NV 2006. 
 * All rights reserved. This software is licensed under the terms of
 * version 2.1 of the GNU Lesser General Public License as published 
 * by the Free Software Foundation. For licensing and warranty
 * information, see the file COPYING in the main directory.
 *
 *------------------------------------------------------------------*/

#include "check.h"
#include "portbase.h"
#include "fifobase.h"
#include "processbase.h"
#include "networkbase.h"

using std::ostream;
using std::endl;

static unsigned int check(const InPortBase* p, ostream& o)
{
  unsigned int e = 0;

  // check parent is a component
  Component* c = p->parentComponent();
  if (!c) {
    o << p->fullName() << ": parent is not a component" << endl;
    e++;
  }

  unsigned int ns = p->nrSrc();
  if (ns == 0) {
    o << p->fullName() << ": has no source" << endl;
    e++;
  } else if (ns == 1) {
    // OK, src must be inport or fifo
    InPortBase* s = p->getSrcPort();
    FifoBase* f = p->getSrcFifo();
    if (!f && !s) {
      o << p->fullName() << ": source is not a fifo or an inport" << endl;
      e++;
    }
  } else if (ns > 1) {
    o << p->fullName() << ": has more than one source" << endl;
    e++;
  }

  unsigned int nd = p->nrDst();
  if (nd == 0) {
    // OK, but must have a parent
    if (!p->parent()) {
      o << p->fullName() << ": has no parent" << endl;
      e++;
    }
  } else if (nd > 0) {
    for (unsigned int i=0; i<nd; i++)
    {
      // dst must be inport
      InPortBase* d = p->getDstPort(i);
      if (!d) {
        o << p->fullName() << ": destination is not an inport" << endl;
        e++;
      }
    }
  } 
  return e;
}

static unsigned int check(const OutPortBase* p, ostream& o)
{
  unsigned int e = 0;

  // check parent is a component
  Component* c = p->parentComponent();
  if (!c) {
    o << p->fullName() << ": parent is not a component" << endl;
    e++;
  }

  unsigned int ns = p->nrSrc();
  if (ns == 0) {
    // OK, but musty have a parent
    if (!p->parent()) {
      o << p->fullName() << ": parent is not a process" << endl;
      e++;
    }
  } else if (ns == 1) {
    // src must be outport
    OutPortBase* d = p->getSrcPort();
    if (!d) {
      o << p->fullName() << ": source is not an inport" << endl;
      e++;
    }
  } else if (ns > 1) {
    o << p->fullName() << ": has more than one source" << endl;
    e++;
  }

  unsigned int nd = p->nrDst();
  if (nd == 0) {
    o << p->fullName() << ": has no source" << endl;
    e++;
  } else if (nd > 1) {
    for (unsigned int i=0; i<nd; i++)
    {
      // OK, dst must be outport or fifo
      OutPortBase* s = p->getDstPort(i);
      FifoBase* f = p->getDstFifo(i);
      if (!f && !s) {
        o << p->fullName() << ": destination is not a fifo or an inport" << endl;
        e++;
      }
    }
  } 
  return e;
}

static unsigned int check(const FifoBase* f, ostream& o)
{
  unsigned int e = 0;

  // check parent is a network
  NetworkBase* n = f->parentNetwork();
  if (!n) {
    o << f->fullName() << ": parent is not a network" << endl;
    e++;
  }

  // check that the fifo has one src and one or more dst
  unsigned int ns = f->nrSrc();
  if (ns == 0) {
    o << f->fullName() << ": has no source" << endl;
    e++;
  } else if (ns > 1) {
    o << f->fullName() << ": has more than one source" << endl;
    e++;
  }
  unsigned int nd = f->nrDst();
  if (nd == 0) {
    o << f->fullName() << ": has no destination" << endl;
    e++;
  } 

  // check that src is an OutPort and dst are InPorts
  OutPortBase* s = 0;
  if (ns != 0) {
    s = f->srcPort();
    if (!s) {
      o << f->fullName() << ": source is not an OutPort" << endl;
      e++;
    }
  }
  InPortBase*  d = 0;
  if (nd != 0) {
    for (unsigned int i=0; i<nd; i++)
    {
      d = f->dstPort(i);
      if (!d) {
        o << f->fullName() << ": destination is not an InPort" << endl;
        e++;
      }
    }
  }

  // check port levels
  if (ns != 0 && s && s->parent()) {  
    if (s->parent()->parent() != dynamic_cast<IdBase*>(n))
    {
      o << f->fullName() << ": source at wrong level" << endl;
      e++;
    }
  }
  if (nd != 0 && d && d->parent()) {  
    if (d->parent()->parent() != dynamic_cast<IdBase*>(n))
    {
      o << f->fullName() << ": destination at wrong level" << endl;
      e++;
    }
  }

  return e;
}


static unsigned int check(const Component* c, ostream& o)
{
  unsigned int e = 0;
  unsigned int i;

  // check ports
  for (i=0; i<c->nrInPorts(); i++)
    e += check(c->getInPort(i), o);
  for (i=0; i<c->nrOutPorts(); i++)
    e += check(c->getOutPort(i), o);

  return e;
}

static unsigned int check(const ProcessBase* p, ostream& o)
{
  unsigned int e = check((Component*)p, o);

  // check parent is a network
  NetworkBase* n = p->parentNetwork();
  if (!n) {
    o << p->fullName() << ": parent is not a network" << endl;
    e++;
  }

  return e;
}

unsigned int check(const NetworkBase* n, ostream& o)
{
  unsigned int e = check((Component*)n, o);
  unsigned int i;

  // check parent is a network, or 0
  // if parent == 0 check that network has no ports
  if (n->parent()) {
    NetworkBase* p = n->parentNetwork();
    if (!p) {
      o << n->fullName() << ": parent is not a network" << endl;
      e++;
    }
  }

  // check fifos
  for (i=0; i<n->nrFifos(); i++)
    e += check(n->getFifo(i), o);

  // check processes
  for (i=0; i<n->nrProcesses(); i++)
    e += check(n->getProcess(i), o);

  // check networks
  for (i=0; i<n->nrNetworks(); i++)
    e += check(n->getNetwork(i), o);

  return e;
}



static unsigned int uniqueInPortId(const Component* c, ostream& o)
{
  unsigned int e = 0;

  for (unsigned int i=0; i<c->nrInPorts(); i++)
  {
    InPortBase* f = c->getInPort(i);
    for (unsigned int j=i+1; j<c->nrInPorts(); j++)
    {
      InPortBase* g = c->getInPort(j);
      if (strcmp(f->name(), g->name()) == 0)
      {
        o << f->fullName() << ": InPort Id is not unique" << endl;
        e++;
      }
    }
  }
  return e;
}

static unsigned int uniqueOutPortId(const Component* c, ostream& o)
{
  unsigned int e = 0;

  for (unsigned int i=0; i<c->nrOutPorts(); i++)
  {
    OutPortBase* f = c->getOutPort(i);
    for (unsigned int j=i+1; j<c->nrOutPorts(); j++)
    {
      OutPortBase* g = c->getOutPort(j);
      if (strcmp(f->name(), g->name()) == 0)
      {
        o << f->fullName() << ": OutPort Id is not unique" << endl;
        e++;
      }
    }
  }
  return e;
}

static unsigned int uniqueFifoId(const NetworkBase* n, ostream& o)
{
  unsigned int e = 0;

  for (unsigned int i=0; i<n->nrFifos(); i++)
  {
    FifoBase* f = n->getFifo(i);
    for (unsigned int j=i+1; j<n->nrFifos(); j++)
    {
      FifoBase* g = n->getFifo(j);
      if (strcmp(f->name(), g->name()) == 0)  
      {
        o << f->fullName() << ": Fifo Id is not unique" << endl;
        e++;
      }
    }
  }
  return e;
}

static unsigned int uniqueProcessId(const NetworkBase* n, ostream& o)
{
  unsigned int e = uniqueInPortId(n,o) + uniqueOutPortId(n,o);

  for (unsigned int i=0; i<n->nrProcesses(); i++)
  {
    ProcessBase* f = n->getProcess(i);
    for (unsigned int j=i+1; j<n->nrProcesses(); j++)
    {
      ProcessBase* g = n->getProcess(j);
      if (strcmp(f->name(), g->name()) == 0)
      {
        o << f->fullName() << ": Process Id is not unique" << endl;
        e++;
      }
    }
  }
  return e;
}

static unsigned int uniqueNetworkId(const NetworkBase* n, ostream& o)
{
  unsigned int e = uniqueInPortId(n,o) + uniqueOutPortId(n,o)
    + uniqueFifoId(n,o) + uniqueProcessId(n,o);

  for (unsigned int i=0; i<n->nrNetworks(); i++)
  {
    NetworkBase* f = n->getNetwork(i);
    e += uniqueNetworkId(f,o);

    for (unsigned int j=i+1; j<n->nrNetworks(); j++)
    {
      NetworkBase* g = n->getNetwork(j);
      if (strcmp(f->name(), g->name()) == 0)
      {
        o << f->fullName() << ": Network Id is not unique" << endl;
        e++;
      }
    }
  }
  return e;
}

unsigned int uniqueId(const NetworkBase* n, ostream& o)
{
  return uniqueNetworkId(n,o);
}

---