checkloconorder

CHECKLOCONORDER(3)           MBK LOGICAL FUNCTIONS          CHECKLOCONORDER(3)



NAME
       checkloconorder - checks the consistency of a list of logical
       connectors


ORIGIN
       This software belongs to the  ALLIANCE CAD SYSTEM developed by the ASIM
       team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris,
       France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr


SYNOPSYS
       #include "mlo.h"
       void checkloconorder(connectors)
       locon_list ∗connectors;

PARAMETERS
       connectors          Pointer to the head of the connector list that is
                           to be sorted

DESCRIPTION
       checkloconorder checks the list of logical connectors pointed to by
       ∗connectors for conformity towards mbk(1) consistency rules.  Checks
       are done to warranty :

       order               the functions checks that vectorized connectors are
                           ordered and evolve monotonically, with a step of 1.

       name unicity        Vector radicals may not appear as single entity.

       name validity       No space should appear in the name, but a single
                           one followed by a number in a vector.

ERRORS
       "∗∗∗ mbk error ∗∗∗ radical name already used in a connector"
              The name is already used in a connector, either vectorized or
              not, and therefore cannot be used once more.  This ensures that
              f and f 3 will not be used simultaneously.
       "∗∗∗ mbk error ∗∗∗ the radical name has a spurious vectorized value"
              The name is seen as a vector in mbk(1), but its index is not a
              number or some text follows that number.
       "∗∗∗ mbk error ∗∗∗ the radical name is not vectorized properly"
              The name is seen as a vector in mbk(1), but its index changes in
              such a way that it is not monotonically increasing or decreasing
              with a step of 1.

EXAMPLE
       #include "mlo.h"
       void savewithcheck(figname)
       char ∗figname;
       {
       lofig_list ∗figure = getlocon(figname, 'A');
         checkloconorder(figure->LOCON);
         savelofig(figure);
       }

SEE ALSO
       mbk(1), locon(3), addlocon(3), dellocon(3), checkloconorder(3),
       qsort(3).




BUG REPORT
       This tool is under development at the ASIM department of the LIP6
       laboratory.
       We need your feedback to improve documentation and tools.






ASIM/LIP6                       October 1, 1997             CHECKLOCONORDER(3)