Scroll to navigation

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

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 :

the functions checks that vectorized connectors are ordered and evolve monotonically, with a step of 1.
Vector radicals may not appear as single entity.
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.

October 1, 1997 ASIM/LIP6