# 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)```