regc_color.c File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	CISERR()   VISERR(cm->v)
#define	CERR(e)   VERR(cm->v, (e))

Functions
static void	initcm (struct vars *v, struct colormap *cm)
static void	freecm (struct colormap *cm)
color	pg_reg_getcolor (struct colormap *cm, chr c)
static color	maxcolor (struct colormap *cm)
static color	newcolor (struct colormap *cm)
static void	freecolor (struct colormap *cm, color co)
static color	pseudocolor (struct colormap *cm)
static color	subcolor (struct colormap *cm, chr c)
static color	subcolorhi (struct colormap *cm, color *pco)
static color	newsub (struct colormap *cm, color co)
static int	newhicolorrow (struct colormap *cm, int oldrow)
static void	newhicolorcols (struct colormap *cm)
static void	subcolorcvec (struct vars *v, struct cvec *cv, struct state *lp, struct state *rp)
static void	subcoloronechr (struct vars *v, chr ch, struct state *lp, struct state *rp, color *lastsubcolor)
static void	subcoloronerange (struct vars *v, chr from, chr to, struct state *lp, struct state *rp, color *lastsubcolor)
static void	subcoloronerow (struct vars *v, int rownum, struct state *lp, struct state *rp, color *lastsubcolor)
static void	okcolors (struct nfa *nfa, struct colormap *cm)
static void	colorchain (struct colormap *cm, struct arc *a)
static void	uncolorchain (struct colormap *cm, struct arc *a)
static void	rainbow (struct nfa *nfa, struct colormap *cm, int type, color but, struct state *from, struct state *to)
static void	colorcomplement (struct nfa *nfa, struct colormap *cm, int type, struct state *of, struct state *from, struct state *to)

Macro Definition Documentation

CERR

#define CERR

(

e

)

VERR(cm->v, (e))

Definition at line 41 of file regc_color.c.

CISERR

#define CISERR

(

)

VISERR(cm->v)

Definition at line 40 of file regc_color.c.

Function Documentation

colorchain()

static void colorchain ( struct colormap *  cm, struct arc *  a  )

static

Definition at line 981 of file regc_color.c.

{
    struct colordesc *cd = &cm->cd[a->co];
 
    assert(a->co >= 0);
    if (cd->arcs != NULL)
        cd->arcs->colorchainRev = a;
    a->colorchain = cd->arcs;
    a->colorchainRev = NULL;
    cd->arcs = a;
}

References a, colordesc::arcs, assert, colormap::cd, arc::colorchain, arc::colorchainRev, and fb().

Referenced by createarc(), and okcolors().

colorcomplement()

static void colorcomplement ( struct nfa *  nfa, struct colormap *  cm, int  type, struct state *  of, struct state *  from, struct state *  to  )

static

Definition at line 1061 of file regc_color.c.

{
    struct colordesc *cd;
    struct colordesc *end = CDEND(cm);
    color       co;
    struct arc *a;
 
    assert(of != from);
 
    /*
     * A RAINBOW arc matches all colors, making the complement empty.  But we
     * can't just return without making any arcs, because that would leave the
     * NFA disconnected which would break any future delsub().  Instead, make
     * a CANTMATCH arc.  Also set the HASCANTMATCH flag so we know we need to
     * clean that up at the start of NFA optimization.
     */
    if (findarc(of, PLAIN, RAINBOW) != NULL)
    {
        newarc(nfa, CANTMATCH, 0, from, to);
        nfa->flags |= HASCANTMATCH;
        return;
    }
 
    /* Otherwise, transiently mark the colors that appear in of's out-arcs */
    for (a = of->outs; a != NULL; a = a->outchain)
    {
        if (a->type == PLAIN)
        {
            assert(a->co >= 0);
            cd = &cm->cd[a->co];
            assert(!UNUSEDCOLOR(cd));
            cd->flags |= COLMARK;
        }
 
        /*
         * There's no syntax for re-complementing a color set, so we cannot
         * see CANTMATCH arcs here.
         */
        assert(a->type != CANTMATCH);
    }
 
    /* Scan colors, clear transient marks, add arcs for unmarked colors */
    for (cd = cm->cd, co = 0; cd < end && !CISERR(); cd++, co++)
    {
        if (cd->flags & COLMARK)
            cd->flags &= ~COLMARK;
        else if (!UNUSEDCOLOR(cd) && !(cd->flags & PSEUDO))
            newarc(nfa, type, co, from, to);
    }
}

References a, assert, CANTMATCH, colormap::cd, CDEND, CISERR, arc::co, COLMARK, fb(), findarc(), colordesc::flags, nfa::flags, arc::from, HASCANTMATCH, newarc(), PLAIN, PSEUDO, RAINBOW, arc::to, type, and UNUSEDCOLOR.

freecm()

static void freecm ( struct colormap *  cm )

static

Definition at line 103 of file regc_color.c.

{
    cm->magic = 0;
    if (cm->cd != cm->cdspace)
        FREE(cm->cd);
    if (cm->locolormap != NULL)
        FREE(cm->locolormap);
    if (cm->cmranges != NULL)
        FREE(cm->cmranges);
    if (cm->hicolormap != NULL)
        FREE(cm->hicolormap);
}

References colormap::cd, colormap::cdspace, colormap::cmranges, fb(), FREE, colormap::hicolormap, colormap::locolormap, and colormap::magic.

freecolor()

static void freecolor ( struct colormap *  cm, color  co  )

static

Definition at line 258 of file regc_color.c.

{
    struct colordesc *cd = &cm->cd[co];
    color       pco,
                nco;            /* for freelist scan */
 
    assert(co >= 0);
    if (co == WHITE)
        return;
 
    assert(cd->arcs == NULL);
    assert(cd->sub == NOSUB);
    assert(cd->nschrs == 0);
    assert(cd->nuchrs == 0);
    cd->flags = FREECOL;
 
    if ((size_t) co == cm->max)
    {
        while (cm->max > WHITE && UNUSEDCOLOR(&cm->cd[cm->max]))
            cm->max--;
        assert(cm->free >= 0);
        while ((size_t) cm->free > cm->max)
            cm->free = cm->cd[cm->free].sub;
        if (cm->free > 0)
        {
            assert(cm->free < cm->max);
            pco = cm->free;
            nco = cm->cd[pco].sub;
            while (nco > 0)
                if ((size_t) nco > cm->max)
                {
                    /* take this one out of freelist */
                    nco = cm->cd[nco].sub;
                    cm->cd[pco].sub = nco;
                }
                else
                {
                    assert(nco < cm->max);
                    pco = nco;
                    nco = cm->cd[pco].sub;
                }
        }
    }
    else
    {
        cd->sub = cm->free;
        cm->free = (color) (cd - cm->cd);
    }
}

References colordesc::arcs, assert, colormap::cd, fb(), colordesc::flags, colormap::free, FREECOL, colormap::max, NOSUB, colordesc::nschrs, colordesc::nuchrs, colordesc::sub, UNUSEDCOLOR, and WHITE.

Referenced by okcolors().

initcm()

static void initcm ( struct vars *  v, struct colormap *  cm  )

static

Definition at line 49 of file regc_color.c.

{
    struct colordesc *cd;
 
    cm->magic = CMMAGIC;
    cm->v = v;
 
    cm->ncds = NINLINECDS;
    cm->cd = cm->cdspace;
    cm->max = 0;
    cm->free = 0;
 
    cd = cm->cd;                /* cm->cd[WHITE] */
    cd->nschrs = MAX_SIMPLE_CHR - CHR_MIN + 1;
    cd->nuchrs = 1;
    cd->sub = NOSUB;
    cd->arcs = NULL;
    cd->firstchr = CHR_MIN;
    cd->flags = 0;
 
    cm->locolormap = (color *)
        MALLOC((MAX_SIMPLE_CHR - CHR_MIN + 1) * sizeof(color));
    if (cm->locolormap == NULL)
    {
        CERR(REG_ESPACE);
        cm->cmranges = NULL;    /* prevent failure during freecm */
        cm->hicolormap = NULL;
        return;
    }
    /* this memset relies on WHITE being zero: */
    memset(cm->locolormap, WHITE,
           (MAX_SIMPLE_CHR - CHR_MIN + 1) * sizeof(color));
 
    memset(cm->classbits, 0, sizeof(cm->classbits));
    cm->numcmranges = 0;
    cm->cmranges = NULL;
    cm->maxarrayrows = 4;       /* arbitrary initial allocation */
    cm->hiarrayrows = 1;        /* but we have only one row/col initially */
    cm->hiarraycols = 1;
    cm->hicolormap = (color *) MALLOC(cm->maxarrayrows * sizeof(color));
    if (cm->hicolormap == NULL)
    {
        CERR(REG_ESPACE);
        return;
    }
    /* initialize the "all other characters" row to WHITE */
    cm->hicolormap[0] = WHITE;
}

References colordesc::arcs, colormap::cd, colormap::cdspace, CERR, CHR_MIN, colormap::classbits, CMMAGIC, colormap::cmranges, fb(), colordesc::firstchr, colordesc::flags, colormap::free, colormap::hiarraycols, colormap::hiarrayrows, colormap::hicolormap, colormap::locolormap, colormap::magic, MALLOC, colormap::max, MAX_SIMPLE_CHR, colormap::maxarrayrows, colormap::ncds, NINLINECDS, NOSUB, colordesc::nschrs, colordesc::nuchrs, colormap::numcmranges, REG_ESPACE, colordesc::sub, colormap::v, and WHITE.

maxcolor()

static color maxcolor ( struct colormap *  cm )

static

Definition at line 172 of file regc_color.c.

{
    if (CISERR())
        return COLORLESS;
 
    return (color) cm->max;
}

References CISERR, COLORLESS, and colormap::max.

Referenced by compact().

newcolor()

static color newcolor ( struct colormap *  cm )

static

Definition at line 185 of file regc_color.c.

{
    struct colordesc *cd;
    size_t      n;
 
    if (CISERR())
        return COLORLESS;
 
    if (cm->free != 0)
    {
        assert(cm->free > 0);
        assert((size_t) cm->free < cm->ncds);
        cd = &cm->cd[cm->free];
        assert(UNUSEDCOLOR(cd));
        assert(cd->arcs == NULL);
        cm->free = cd->sub;
    }
    else if (cm->max < cm->ncds - 1)
    {
        cm->max++;
        cd = &cm->cd[cm->max];
    }
    else
    {
        /* oops, must allocate more */
        struct colordesc *newCd;
 
        if (cm->max == MAX_COLOR)
        {
            CERR(REG_ECOLORS);
            return COLORLESS;   /* too many colors */
        }
 
        n = cm->ncds * 2;
        if (n > MAX_COLOR + 1)
            n = MAX_COLOR + 1;
        /* the MAX_COLOR+1 limit ensures these alloc sizes can't overflow: */
        if (cm->cd == cm->cdspace)
        {
            newCd = (struct colordesc *) MALLOC(n * sizeof(struct colordesc));
            if (newCd != NULL)
                memcpy(VS(newCd), VS(cm->cdspace), cm->ncds *
                       sizeof(struct colordesc));
        }
        else
            newCd = (struct colordesc *)
                REALLOC(cm->cd, n * sizeof(struct colordesc));
        if (newCd == NULL)
        {
            CERR(REG_ESPACE);
            return COLORLESS;
        }
        cm->cd = newCd;
        cm->ncds = n;
        assert(cm->max < cm->ncds - 1);
        cm->max++;
        cd = &cm->cd[cm->max];
    }
 
    cd->nschrs = 0;
    cd->nuchrs = 0;
    cd->sub = NOSUB;
    cd->arcs = NULL;
    cd->firstchr = CHR_MIN;     /* in case never set otherwise */
    cd->flags = 0;
 
    return (color) (cd - cm->cd);
}

References colordesc::arcs, assert, colormap::cd, colormap::cdspace, CERR, CHR_MIN, CISERR, COLORLESS, fb(), colordesc::firstchr, colordesc::flags, colormap::free, MALLOC, colormap::max, MAX_COLOR, memcpy(), colormap::ncds, NOSUB, colordesc::nschrs, colordesc::nuchrs, REALLOC, REG_ECOLORS, REG_ESPACE, colordesc::sub, UNUSEDCOLOR, and VS.

Referenced by newsub(), and pseudocolor().

newhicolorcols()

static void newhicolorcols ( struct colormap *  cm )

static

Definition at line 469 of file regc_color.c.

{
    color      *newarray;
    int         r,
                c;
 
    if (cm->hiarraycols >= INT_MAX / (cm->maxarrayrows * 2))
    {
        CERR(REG_ESPACE);
        return;
    }
    newarray = REALLOC_ARRAY(cm->hicolormap, color,
                             cm->maxarrayrows * cm->hiarraycols * 2);
    if (newarray == NULL)
    {
        CERR(REG_ESPACE);
        return;
    }
    cm->hicolormap = newarray;
 
    /* Duplicate existing columns to the right, and increase ref counts */
    /* Must work backwards in the array because we realloc'd in place */
    for (r = cm->hiarrayrows - 1; r >= 0; r--)
    {
        color      *oldrowptr = &newarray[r * cm->hiarraycols];
        color      *newrowptr = &newarray[r * cm->hiarraycols * 2];
        color      *newrowptr2 = newrowptr + cm->hiarraycols;
 
        for (c = 0; c < cm->hiarraycols; c++)
        {
            color       co = oldrowptr[c];
 
            newrowptr[c] = newrowptr2[c] = co;
            cm->cd[co].nuchrs++;
        }
    }
 
    cm->hiarraycols *= 2;
}

References colormap::cd, CERR, fb(), colormap::hiarraycols, colormap::hiarrayrows, colormap::hicolormap, colormap::maxarrayrows, colordesc::nuchrs, REALLOC_ARRAY, and REG_ESPACE.

Referenced by subcolorcvec().

newhicolorrow()

static int newhicolorrow ( struct colormap *  cm, int  oldrow  )

static

Definition at line 421 of file regc_color.c.

{
    int         newrow = cm->hiarrayrows;
    color      *newrowptr;
    int         i;
 
    /* Assign a fresh array row index, enlarging storage if needed */
    if (newrow >= cm->maxarrayrows)
    {
        color      *newarray;
 
        if (cm->maxarrayrows >= INT_MAX / (cm->hiarraycols * 2))
        {
            CERR(REG_ESPACE);
            return 0;
        }
        newarray = REALLOC_ARRAY(cm->hicolormap, color,
                                 cm->maxarrayrows * 2 * cm->hiarraycols);
        if (newarray == NULL)
        {
            CERR(REG_ESPACE);
            return 0;
        }
        cm->hicolormap = newarray;
        cm->maxarrayrows *= 2;
    }
    cm->hiarrayrows++;
 
    /* Copy old row data */
    newrowptr = &cm->hicolormap[newrow * cm->hiarraycols];
    memcpy(newrowptr,
           &cm->hicolormap[oldrow * cm->hiarraycols],
           cm->hiarraycols * sizeof(color));
 
    /* Increase color reference counts to reflect new colormap entries */
    for (i = 0; i < cm->hiarraycols; i++)
        cm->cd[newrowptr[i]].nuchrs++;
 
    return newrow;
}

References colormap::cd, CERR, fb(), colormap::hiarraycols, colormap::hiarrayrows, colormap::hicolormap, i, colormap::maxarrayrows, memcpy(), colordesc::nuchrs, REALLOC_ARRAY, and REG_ESPACE.

Referenced by subcoloronechr(), and subcoloronerange().

newsub()

static color newsub ( struct colormap *  cm, color  co  )

static

Definition at line 390 of file regc_color.c.

{
    color       sco;            /* new subcolor */
 
    sco = cm->cd[co].sub;
    if (sco == NOSUB)
    {                           /* color has no open subcolor */
        /* optimization: singly-referenced color need not be subcolored */
        if ((cm->cd[co].nschrs + cm->cd[co].nuchrs) == 1)
            return co;
        sco = newcolor(cm);     /* must create subcolor */
        if (sco == COLORLESS)
        {
            assert(CISERR());
            return COLORLESS;
        }
        cm->cd[co].sub = sco;
        cm->cd[sco].sub = sco;  /* open subcolor points to self */
    }
    assert(sco != NOSUB);
 
    return sco;
}

References assert, colormap::cd, CISERR, COLORLESS, fb(), newcolor(), NOSUB, colordesc::nschrs, colordesc::nuchrs, and colordesc::sub.

Referenced by EventTriggerCollectAlterTableSubcmd(), maybe_reread_subscription(), subcolor(), and subcolorhi().

okcolors()

static void okcolors ( struct nfa *  nfa, struct colormap *  cm  )

static

Definition at line 913 of file regc_color.c.

{
    struct colordesc *cd;
    struct colordesc *end = CDEND(cm);
    struct colordesc *scd;
    struct arc *a;
    color       co;
    color       sco;
 
    for (cd = cm->cd, co = 0; cd < end; cd++, co++)
    {
        sco = cd->sub;
        if (UNUSEDCOLOR(cd) || sco == NOSUB)
        {
            /* has no subcolor, no further action */
        }
        else if (sco == co)
        {
            /* is subcolor, let parent deal with it */
        }
        else if (cd->nschrs == 0 && cd->nuchrs == 0)
        {
            /*
             * Parent is now empty, so just change all its arcs to the
             * subcolor, then free the parent.
             *
             * It is not obvious that simply relabeling the arcs like this is
             * OK; it appears to risk creating duplicate arcs.  We are
             * basically relying on the assumption that processing of a
             * bracket expression can't create arcs of both a color and its
             * subcolor between the bracket's endpoints.
             */
            cd->sub = NOSUB;
            scd = &cm->cd[sco];
            assert(scd->nschrs > 0 || scd->nuchrs > 0);
            assert(scd->sub == sco);
            scd->sub = NOSUB;
            while ((a = cd->arcs) != NULL)
            {
                assert(a->co == co);
                uncolorchain(cm, a);
                a->co = sco;
                colorchain(cm, a);
            }
            freecolor(cm, co);
        }
        else
        {
            /* parent's arcs must gain parallel subcolor arcs */
            cd->sub = NOSUB;
            scd = &cm->cd[sco];
            assert(scd->nschrs > 0 || scd->nuchrs > 0);
            assert(scd->sub == sco);
            scd->sub = NOSUB;
            for (a = cd->arcs; a != NULL; a = a->colorchain)
            {
                assert(a->co == co);
                newarc(nfa, a->type, sco, a->from, a->to);
            }
        }
    }
}

References a, colordesc::arcs, assert, colormap::cd, CDEND, arc::co, colorchain(), fb(), freecolor(), newarc(), NOSUB, colordesc::nschrs, colordesc::nuchrs, colordesc::sub, uncolorchain(), and UNUSEDCOLOR.

pg_reg_getcolor()

color pg_reg_getcolor	(	struct colormap *	cm,
		chr	c
	)

Definition at line 120 of file regc_color.c.

{
    int         rownum,
                colnum,
                low,
                high;
 
    /* Should not be used for chrs in the locolormap */
    assert(c > MAX_SIMPLE_CHR);
 
    /*
     * Find which row it's in.  The colormapranges are in order, so we can use
     * binary search.
     */
    rownum = 0;                 /* if no match, use array row zero */
    low = 0;
    high = cm->numcmranges;
    while (low < high)
    {
        int         middle = low + (high - low) / 2;
        const colormaprange *cmr = &cm->cmranges[middle];
 
        if (c < cmr->cmin)
            high = middle;
        else if (c > cmr->cmax)
            low = middle + 1;
        else
        {
            rownum = cmr->rownum;   /* found a match */
            break;
        }
    }
 
    /*
     * Find which column it's in --- this is all locale-dependent.
     */
    if (cm->hiarraycols > 1)
    {
        colnum = cclass_column_index(cm, c);
        return cm->hicolormap[rownum * cm->hiarraycols + colnum];
    }
    else
    {
        /* fast path if no relevant cclasses */
        return cm->hicolormap[rownum];
    }
}

References assert, cclass_column_index(), colormap::cmranges, fb(), colormap::hiarraycols, colormap::hicolormap, MAX_SIMPLE_CHR, colormap::numcmranges, and colormaprange::rownum.

pseudocolor()

static color pseudocolor ( struct colormap *  cm )

static

Definition at line 313 of file regc_color.c.

{
    color       co;
    struct colordesc *cd;
 
    co = newcolor(cm);
    if (CISERR())
        return COLORLESS;
    cd = &cm->cd[co];
    cd->nschrs = 0;
    cd->nuchrs = 1;             /* pretend it is in the upper map */
    cd->sub = NOSUB;
    cd->arcs = NULL;
    cd->firstchr = CHR_MIN;
    cd->flags = PSEUDO;
    return co;
}

References colordesc::arcs, colormap::cd, CHR_MIN, CISERR, COLORLESS, fb(), colordesc::firstchr, colordesc::flags, newcolor(), NOSUB, colordesc::nschrs, colordesc::nuchrs, PSEUDO, and colordesc::sub.

Referenced by specialcolors().

rainbow()

static void rainbow ( struct nfa *  nfa, struct colormap *  cm, int  type, color  but, struct state *  from, struct state *  to  )

static

Definition at line 1028 of file regc_color.c.

{
    struct colordesc *cd;
    struct colordesc *end = CDEND(cm);
    color       co;
 
    if (but == COLORLESS)
    {
        newarc(nfa, type, RAINBOW, from, to);
        return;
    }
 
    /* Gotta do it the hard way.  Skip subcolors, pseudocolors, and "but" */
    for (cd = cm->cd, co = 0; cd < end && !CISERR(); cd++, co++)
        if (!UNUSEDCOLOR(cd) && cd->sub != co && co != but &&
            !(cd->flags & PSEUDO))
            newarc(nfa, type, co, from, to);
}

References colormap::cd, CDEND, CISERR, COLORLESS, fb(), colordesc::flags, newarc(), PSEUDO, RAINBOW, colordesc::sub, type, and UNUSEDCOLOR.

Referenced by newnfa().

subcolor()

static color subcolor ( struct colormap *  cm, chr  c  )

static

Definition at line 337 of file regc_color.c.

{
    color       co;             /* current color of c */
    color       sco;            /* new subcolor */
 
    assert(c <= MAX_SIMPLE_CHR);
 
    co = cm->locolormap[c - CHR_MIN];
    sco = newsub(cm, co);
    if (CISERR())
        return COLORLESS;
    assert(sco != COLORLESS);
 
    if (co == sco)              /* already in an open subcolor */
        return co;              /* rest is redundant */
    cm->cd[co].nschrs--;
    if (cm->cd[sco].nschrs == 0)
        cm->cd[sco].firstchr = c;
    cm->cd[sco].nschrs++;
    cm->locolormap[c - CHR_MIN] = sco;
    return sco;
}

References assert, colormap::cd, CHR_MIN, CISERR, COLORLESS, fb(), colordesc::firstchr, colormap::locolormap, MAX_SIMPLE_CHR, newsub(), and colordesc::nschrs.

Referenced by subcolorcvec(), and subcoloronechr().

subcolorcvec()

static void subcolorcvec ( struct vars *  v, struct cvec *  cv, struct state *  lp, struct state *  rp  )

static

Definition at line 521 of file regc_color.c.

{
    struct colormap *cm = v->cm;
    color       lastsubcolor = COLORLESS;
    chr         ch,
                from,
                to;
    const chr  *p;
    int         i;
 
    /* ordinary characters */
    for (p = cv->chrs, i = cv->nchrs; i > 0; p++, i--)
    {
        ch = *p;
        subcoloronechr(v, ch, lp, rp, &lastsubcolor);
        NOERR();
    }
 
    /* and the ranges */
    for (p = cv->ranges, i = cv->nranges; i > 0; p += 2, i--)
    {
        from = *p;
        to = *(p + 1);
        if (from <= MAX_SIMPLE_CHR)
        {
            /* deal with simple chars one at a time */
            chr         lim = (to <= MAX_SIMPLE_CHR) ? to : MAX_SIMPLE_CHR;
 
            while (from <= lim)
            {
                color       sco = subcolor(cm, from);
 
                NOERR();
                if (sco != lastsubcolor)
                {
                    newarc(v->nfa, PLAIN, sco, lp, rp);
                    NOERR();
                    lastsubcolor = sco;
                }
                from++;
            }
        }
        /* deal with any part of the range that's above MAX_SIMPLE_CHR */
        if (from < to)
            subcoloronerange(v, from, to, lp, rp, &lastsubcolor);
        else if (from == to)
            subcoloronechr(v, from, lp, rp, &lastsubcolor);
        NOERR();
    }
 
    /* and deal with cclass if any */
    if (cv->cclasscode >= 0)
    {
        int         classbit;
        color      *pco;
        int         r,
                    c;
 
        /* Enlarge array if we don't have a column bit assignment for cclass */
        if (cm->classbits[cv->cclasscode] == 0)
        {
            cm->classbits[cv->cclasscode] = cm->hiarraycols;
            newhicolorcols(cm);
            NOERR();
        }
        /* Apply subcolorhi() and make arc for each entry in relevant cols */
        classbit = cm->classbits[cv->cclasscode];
        pco = cm->hicolormap;
        for (r = 0; r < cm->hiarrayrows; r++)
        {
            for (c = 0; c < cm->hiarraycols; c++)
            {
                if (c & classbit)
                {
                    color       sco = subcolorhi(cm, pco);
 
                    NOERR();
                    /* add the arc if needed */
                    if (sco != lastsubcolor)
                    {
                        newarc(v->nfa, PLAIN, sco, lp, rp);
                        NOERR();
                        lastsubcolor = sco;
                    }
                }
                pco++;
            }
        }
    }
}

References cvec::cclasscode, cvec::chrs, colormap::classbits, vars::cm, COLORLESS, fb(), colormap::hiarraycols, colormap::hiarrayrows, colormap::hicolormap, i, MAX_SIMPLE_CHR, cvec::nchrs, newarc(), newhicolorcols(), vars::nfa, NOERR, cvec::nranges, PLAIN, cvec::ranges, subcolor(), subcolorhi(), subcoloronechr(), subcoloronerange(), and colormap::v.

subcolorhi()

static color subcolorhi ( struct colormap *  cm, color *  pco  )

static

Definition at line 367 of file regc_color.c.

{
    color       co;             /* current color of entry */
    color       sco;            /* new subcolor */
 
    co = *pco;
    sco = newsub(cm, co);
    if (CISERR())
        return COLORLESS;
    assert(sco != COLORLESS);
 
    if (co == sco)              /* already in an open subcolor */
        return co;              /* rest is redundant */
    cm->cd[co].nuchrs--;
    cm->cd[sco].nuchrs++;
    *pco = sco;
    return sco;
}

References assert, colormap::cd, CISERR, COLORLESS, fb(), newsub(), and colordesc::nuchrs.

Referenced by subcolorcvec(), and subcoloronerow().

subcoloronechr()

static void subcoloronechr ( struct vars *  v, chr  ch, struct state *  lp, struct state *  rp, color *  lastsubcolor  )

static

Definition at line 623 of file regc_color.c.

{
    struct colormap *cm = v->cm;
    colormaprange *newranges;
    int         numnewranges;
    colormaprange *oldrange;
    int         oldrangen;
    int         newrow;
 
    /* Easy case for low chr codes */
    if (ch <= MAX_SIMPLE_CHR)
    {
        color       sco = subcolor(cm, ch);
 
        NOERR();
        if (sco != *lastsubcolor)
        {
            newarc(v->nfa, PLAIN, sco, lp, rp);
            *lastsubcolor = sco;
        }
        return;
    }
 
    /*
     * Potentially, we could need two more colormapranges than we have now, if
     * the given chr is in the middle of some existing range.
     */
    newranges = MALLOC_ARRAY(colormaprange, cm->numcmranges + 2);
    if (newranges == NULL)
    {
        CERR(REG_ESPACE);
        return;
    }
    numnewranges = 0;
 
    /* Ranges before target are unchanged */
    for (oldrange = cm->cmranges, oldrangen = 0;
         oldrangen < cm->numcmranges;
         oldrange++, oldrangen++)
    {
        if (oldrange->cmax >= ch)
            break;
        newranges[numnewranges++] = *oldrange;
    }
 
    /* Match target chr against current range */
    if (oldrangen >= cm->numcmranges || oldrange->cmin > ch)
    {
        /* chr does not belong to any existing range, make a new one */
        newranges[numnewranges].cmin = ch;
        newranges[numnewranges].cmax = ch;
        /* row state should be cloned from the "all others" row */
        newranges[numnewranges].rownum = newrow = newhicolorrow(cm, 0);
        numnewranges++;
    }
    else if (oldrange->cmin == oldrange->cmax)
    {
        /* we have an existing singleton range matching the chr */
        newranges[numnewranges++] = *oldrange;
        newrow = oldrange->rownum;
        /* we've now fully processed this old range */
        oldrange++, oldrangen++;
    }
    else
    {
        /* chr is a subset of this existing range, must split it */
        if (ch > oldrange->cmin)
        {
            /* emit portion of old range before chr */
            newranges[numnewranges].cmin = oldrange->cmin;
            newranges[numnewranges].cmax = ch - 1;
            newranges[numnewranges].rownum = oldrange->rownum;
            numnewranges++;
        }
        /* emit chr as singleton range, initially cloning from range */
        newranges[numnewranges].cmin = ch;
        newranges[numnewranges].cmax = ch;
        newranges[numnewranges].rownum = newrow =
            newhicolorrow(cm, oldrange->rownum);
        numnewranges++;
        if (ch < oldrange->cmax)
        {
            /* emit portion of old range after chr */
            newranges[numnewranges].cmin = ch + 1;
            newranges[numnewranges].cmax = oldrange->cmax;
            /* must clone the row if we are making two new ranges from old */
            newranges[numnewranges].rownum =
                (ch > oldrange->cmin) ? newhicolorrow(cm, oldrange->rownum) :
                oldrange->rownum;
            numnewranges++;
        }
        /* we've now fully processed this old range */
        oldrange++, oldrangen++;
    }
 
    /* Update colors in newrow and create arcs as needed */
    subcoloronerow(v, newrow, lp, rp, lastsubcolor);
 
    /* Ranges after target are unchanged */
    for (; oldrangen < cm->numcmranges; oldrange++, oldrangen++)
    {
        newranges[numnewranges++] = *oldrange;
    }
 
    /* Assert our original space estimate was adequate */
    assert(numnewranges <= (cm->numcmranges + 2));
 
    /* And finally, store back the updated list of ranges */
    if (cm->cmranges != NULL)
        FREE(cm->cmranges);
    cm->cmranges = newranges;
    cm->numcmranges = numnewranges;
}

References assert, CERR, vars::cm, colormap::cmranges, fb(), FREE, MALLOC_ARRAY, MAX_SIMPLE_CHR, newarc(), newhicolorrow(), vars::nfa, NOERR, colormap::numcmranges, PLAIN, REG_ESPACE, subcolor(), subcoloronerow(), and colormap::v.

Referenced by subcolorcvec().

subcoloronerange()

static void subcoloronerange ( struct vars *  v, chr  from, chr  to, struct state *  lp, struct state *  rp, color *  lastsubcolor  )

static

Definition at line 745 of file regc_color.c.

{
    struct colormap *cm = v->cm;
    colormaprange *newranges;
    int         numnewranges;
    colormaprange *oldrange;
    int         oldrangen;
    int         newrow;
 
    /* Caller should take care of non-high-range cases */
    assert(from > MAX_SIMPLE_CHR);
    assert(from < to);
 
    /*
     * Potentially, if we have N non-adjacent ranges, we could need as many as
     * 2N+1 result ranges (consider case where new range spans 'em all).
     */
    newranges = MALLOC_ARRAY(colormaprange, cm->numcmranges * 2 + 1);
    if (newranges == NULL)
    {
        CERR(REG_ESPACE);
        return;
    }
    numnewranges = 0;
 
    /* Ranges before target are unchanged */
    for (oldrange = cm->cmranges, oldrangen = 0;
         oldrangen < cm->numcmranges;
         oldrange++, oldrangen++)
    {
        if (oldrange->cmax >= from)
            break;
        newranges[numnewranges++] = *oldrange;
    }
 
    /*
     * Deal with ranges that (partially) overlap the target.  As we process
     * each such range, increase "from" to remove the dealt-with characters
     * from the target range.
     */
    while (oldrangen < cm->numcmranges && oldrange->cmin <= to)
    {
        if (from < oldrange->cmin)
        {
            /* Handle portion of new range that corresponds to no old range */
            newranges[numnewranges].cmin = from;
            newranges[numnewranges].cmax = oldrange->cmin - 1;
            /* row state should be cloned from the "all others" row */
            newranges[numnewranges].rownum = newrow = newhicolorrow(cm, 0);
            numnewranges++;
            /* Update colors in newrow and create arcs as needed */
            subcoloronerow(v, newrow, lp, rp, lastsubcolor);
            /* We've now fully processed the part of new range before old */
            from = oldrange->cmin;
        }
 
        if (from <= oldrange->cmin && to >= oldrange->cmax)
        {
            /* old range is fully contained in new, process it in-place */
            newranges[numnewranges++] = *oldrange;
            newrow = oldrange->rownum;
            from = oldrange->cmax + 1;
        }
        else
        {
            /* some part of old range does not overlap new range */
            if (from > oldrange->cmin)
            {
                /* emit portion of old range before new range */
                newranges[numnewranges].cmin = oldrange->cmin;
                newranges[numnewranges].cmax = from - 1;
                newranges[numnewranges].rownum = oldrange->rownum;
                numnewranges++;
            }
            /* emit common subrange, initially cloning from old range */
            newranges[numnewranges].cmin = from;
            newranges[numnewranges].cmax =
                (to < oldrange->cmax) ? to : oldrange->cmax;
            newranges[numnewranges].rownum = newrow =
                newhicolorrow(cm, oldrange->rownum);
            numnewranges++;
            if (to < oldrange->cmax)
            {
                /* emit portion of old range after new range */
                newranges[numnewranges].cmin = to + 1;
                newranges[numnewranges].cmax = oldrange->cmax;
                /* must clone the row if we are making two new ranges from old */
                newranges[numnewranges].rownum =
                    (from > oldrange->cmin) ? newhicolorrow(cm, oldrange->rownum) :
                    oldrange->rownum;
                numnewranges++;
            }
            from = oldrange->cmax + 1;
        }
        /* Update colors in newrow and create arcs as needed */
        subcoloronerow(v, newrow, lp, rp, lastsubcolor);
        /* we've now fully processed this old range */
        oldrange++, oldrangen++;
    }
 
    if (from <= to)
    {
        /* Handle portion of new range that corresponds to no old range */
        newranges[numnewranges].cmin = from;
        newranges[numnewranges].cmax = to;
        /* row state should be cloned from the "all others" row */
        newranges[numnewranges].rownum = newrow = newhicolorrow(cm, 0);
        numnewranges++;
        /* Update colors in newrow and create arcs as needed */
        subcoloronerow(v, newrow, lp, rp, lastsubcolor);
    }
 
    /* Ranges after target are unchanged */
    for (; oldrangen < cm->numcmranges; oldrange++, oldrangen++)
    {
        newranges[numnewranges++] = *oldrange;
    }
 
    /* Assert our original space estimate was adequate */
    assert(numnewranges <= (cm->numcmranges * 2 + 1));
 
    /* And finally, store back the updated list of ranges */
    if (cm->cmranges != NULL)
        FREE(cm->cmranges);
    cm->cmranges = newranges;
    cm->numcmranges = numnewranges;
}

References assert, CERR, vars::cm, colormap::cmranges, fb(), FREE, MALLOC_ARRAY, MAX_SIMPLE_CHR, newhicolorrow(), colormap::numcmranges, REG_ESPACE, subcoloronerow(), and colormap::v.

Referenced by subcolorcvec().

subcoloronerow()

static void subcoloronerow ( struct vars *  v, int  rownum, struct state *  lp, struct state *  rp, color *  lastsubcolor  )

static

Definition at line 882 of file regc_color.c.

{
    struct colormap *cm = v->cm;
    color      *pco;
    int         i;
 
    /* Apply subcolorhi() and make arc for each entry in row */
    pco = &cm->hicolormap[rownum * cm->hiarraycols];
    for (i = 0; i < cm->hiarraycols; pco++, i++)
    {
        color       sco = subcolorhi(cm, pco);
 
        NOERR();
        /* make the arc if needed */
        if (sco != *lastsubcolor)
        {
            newarc(v->nfa, PLAIN, sco, lp, rp);
            NOERR();
            *lastsubcolor = sco;
        }
    }
}

References vars::cm, fb(), colormap::hiarraycols, colormap::hicolormap, i, newarc(), vars::nfa, NOERR, PLAIN, subcolorhi(), and colormap::v.

Referenced by subcoloronechr(), and subcoloronerange().

uncolorchain()

static void uncolorchain ( struct colormap *  cm, struct arc *  a  )

static

Definition at line 998 of file regc_color.c.

{
    struct colordesc *cd = &cm->cd[a->co];
    struct arc *aa = a->colorchainRev;
 
    assert(a->co >= 0);
    if (aa == NULL)
    {
        assert(cd->arcs == a);
        cd->arcs = a->colorchain;
    }
    else
    {
        assert(aa->colorchain == a);
        aa->colorchain = a->colorchain;
    }
    if (a->colorchain != NULL)
        a->colorchain->colorchainRev = aa;
    a->colorchain = NULL;       /* paranoia */
    a->colorchainRev = NULL;
}

References a, colordesc::arcs, assert, colormap::cd, arc::colorchain, arc::colorchainRev, and fb().

Referenced by freearc(), and okcolors().