table of contents
CHECKLOCONORDER(3) | MBK LOGICAL FUNCTIONS | CHECKLOCONORDER(3) |
NAME¶
checkloconorder - checks the consistency of a list of logical connectorsORIGIN¶
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.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.October 1, 1997 | ASIM/LIP6 |