ecs.c File Reference

#include "flexdef.h"

Include dependency graph for ecs.c:

Go to the source code of this file.

Functions
void	ccl2ecl (void)
int	cre8ecs (int fwd[], int bck[], int num)
int	ecs_from_xlation (int ecmap[])
void	mkeccl (unsigned char ccls[], int lenccl, int fwd[], int bck[], int llsiz, int NUL_mapping)
void	mkechar (int tch, int fwd[], int bck[])

Function Documentation

void ccl2ecl

(

void

)

Definition at line 45 of file ecs.c.

{
    int i, ich, newlen, cclp, ccls, cclmec;

    for ( i = 1; i <= lastccl; ++i )
        {
        /* we loop through each character class, and for each character
         * in the class, add the character's equivalence class to the
         * new "character" class we are creating.  Thus when we are all
         * done, character classes will really consist of collections
         * of equivalence classes
         */

        newlen = 0;
        cclp = cclmap[i];

        for ( ccls = 0; ccls < ccllen[i]; ++ccls )
            {
            ich = ccltbl[cclp + ccls];
            cclmec = ecgroup[ich];

            if ( xlation && cclmec < 0 )
                {
                /* special hack--if we're doing %t tables then it's
                 * possible that no representative of this character's
                 * equivalence class is in the ccl.  So waiting till
                 * we see the representative would be disastrous.  Instead,
                 * we add this character's equivalence class anyway, if it's
                 * not already present.
                 */
                int j;

                /* this loop makes this whole process n^2; but we don't
                 * really care about %t performance anyway
                 */
                for ( j = 0; j < newlen; ++j )
                    if ( ccltbl[cclp + j] == -cclmec )
                        break;

                if ( j >= newlen )
                    { /* no representative yet, add this one in */
                    ccltbl[cclp + newlen] = -cclmec;
                    ++newlen;
                    }
                }

            else if ( cclmec > 0 )
                {
                ccltbl[cclp + newlen] = cclmec;
                ++newlen;
                }
            }

        ccllen[i] = newlen;
        }
    }

int cre8ecs	(	int	fwd[],
		int	bck[],
		int	num
	)

Definition at line 115 of file ecs.c.

{
    int i, j, numcl;

    numcl = 0;

    /* create equivalence class numbers.  From now on, abs( bck(x) )
     * is the equivalence class number for object x.  If bck(x)
     * is positive, then x is the representative of its equivalence
     * class.
     */
    for ( i = 1; i <= num; ++i )
        if ( bck[i] == NIL )
            {
            bck[i] = ++numcl;
            for ( j = fwd[i]; j != NIL; j = fwd[j] )
                bck[j] = -numcl;
            }

    return ( numcl );
    }

int ecs_from_xlation

(

int

ecmap[]

)

Definition at line 150 of file ecs.c.

{
    int i;
    int nul_is_alone = false;
    int did_default_xlation_class = false;

    if ( xlation[0] != 0 )
        {
        /* if NUL shares its translation with other characters, choose one
         * of the other characters as the representative for the equivalence
         * class.  This allows a cheap test later to see whether we can
         * do away with NUL's equivalence class.
         */
        for ( i = 1; i < csize; ++i )
            if ( xlation[i] == -xlation[0] )
                {
                xlation[i] = xlation[0];
                ecmap[0] = -xlation[0];
                break;
                }

        if ( i >= csize )
            /* didn't find a companion character--remember this fact */
            nul_is_alone = true;
        }

    for ( i = 1; i < csize; ++i )
        if ( xlation[i] == 0 )
            {
            if ( did_default_xlation_class )
                ecmap[i] = -num_xlations;

            else
                {
                /* make an equivalence class for those characters not
                 * specified in the %t table
                 */
                ++num_xlations;
                ecmap[i] = num_xlations;
                did_default_xlation_class = true;
                }
            }

        else
            ecmap[i] = xlation[i];

    if ( nul_is_alone )
        /* force NUL's equivalence class to be the last one */
        {
        ++num_xlations;
        ecmap[0] = num_xlations;

        /* there's actually a bug here: if someone is fanatic enough to
         * put every character in its own translation class, then right
         * now we just promoted NUL's equivalence class to be csize + 1;
         * we can handle NUL's class number being == csize (by instead
         * putting it in its own table), but we can't handle some *other*
         * character having to be put in its own table, too.  So in
         * this case we bail out.
         */
        if ( num_xlations > csize )
            flexfatal( "too many %t classes!" );
        }

    return num_xlations;
    }

void mkeccl	(	unsigned char	ccls[],
		int	lenccl,
		int	fwd[],
		int	bck[],
		int	llsiz,
		int	NUL_mapping
	)

Definition at line 232 of file ecs.c.

{
    int cclp, oldec, newec;
    int cclm, i, j;
    static unsigned char cclflags[CSIZE];       /* initialized to all '\0' */

    /* note that it doesn't matter whether or not the character class is
     * negated.  The same results will be obtained in either case.
     */

    cclp = 0;

    while ( cclp < lenccl )
        {
        cclm = ccls[cclp];

        if ( NUL_mapping && cclm == 0 )
            cclm = NUL_mapping;

        oldec = bck[cclm];
        newec = cclm;

        j = cclp + 1;

        for ( i = fwd[cclm]; i != NIL && i <= llsiz; i = fwd[i] )
            { /* look for the symbol in the character class */
            for ( ; j < lenccl; ++j )
                {
                int ccl_char;

                if ( NUL_mapping && ccls[j] == 0 )
                    ccl_char = NUL_mapping;
                else
                    ccl_char = ccls[j];

                if ( ccl_char > i )
                    break;

                if ( ccl_char == i && ! cclflags[j] )
                    {
                    /* we found an old companion of cclm in the ccl.
                     * link it into the new equivalence class and flag it as
                     * having been processed
                     */

                    bck[i] = newec;
                    fwd[newec] = i;
                    newec = i;
                    cclflags[j] = 1;    /* set flag so we don't reprocess */

                    /* get next equivalence class member */
                    /* continue 2 */
                    goto next_pt;
                    }
                }

            /* symbol isn't in character class.  Put it in the old equivalence
             * class
             */

            bck[i] = oldec;

            if ( oldec != NIL )
                fwd[oldec] = i;

            oldec = i;
next_pt:
            ;
            }

        if ( bck[cclm] != NIL || oldec != bck[cclm] )
            {
            bck[cclm] = NIL;
            fwd[oldec] = NIL;
            }

        fwd[newec] = NIL;

        /* find next ccl member to process */

        for ( ++cclp; cclflags[cclp] && cclp < lenccl; ++cclp )
            {
            /* reset "doesn't need processing" flag */
            cclflags[cclp] = 0;
            }
        }
    }

void mkechar	(	int	tch,
		int	fwd[],
		int	bck[]
	)

Definition at line 328 of file ecs.c.

{
    /* if until now the character has been a proper subset of
     * an equivalence class, break it away to create a new ec
     */

    if ( fwd[tch] != NIL )
        bck[fwd[tch]] = bck[tch];

    if ( bck[tch] != NIL )
        fwd[bck[tch]] = fwd[tch];

    fwd[tch] = NIL;
    bck[tch] = NIL;
    }