PostgreSQL Source Code  git master
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 984 of file regc_color.c.

986 {
987  struct colordesc *cd = &cm->cd[a->co];
988 
989  assert(a->co >= 0);
990  if (cd->arcs != NULL)
991  cd->arcs->colorchainRev = a;
992  a->colorchain = cd->arcs;
993  a->colorchainRev = NULL;
994  cd->arcs = a;
995 }
int a
Definition: isn.c:68
#define assert(x)
Definition: regcustom.h:56
struct arc * colorchainRev
Definition: regguts.h:308
struct arc * arcs
Definition: regguts.h:182
struct colordesc * cd
Definition: regguts.h:236

References a, colordesc::arcs, assert, colormap::cd, and arc::colorchainRev.

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 1064 of file regc_color.c.

1070 {
1071  struct colordesc *cd;
1072  struct colordesc *end = CDEND(cm);
1073  color co;
1074  struct arc *a;
1075 
1076  assert(of != from);
1077 
1078  /*
1079  * A RAINBOW arc matches all colors, making the complement empty. But we
1080  * can't just return without making any arcs, because that would leave the
1081  * NFA disconnected which would break any future delsub(). Instead, make
1082  * a CANTMATCH arc. Also set the HASCANTMATCH flag so we know we need to
1083  * clean that up at the start of NFA optimization.
1084  */
1085  if (findarc(of, PLAIN, RAINBOW) != NULL)
1086  {
1087  newarc(nfa, CANTMATCH, 0, from, to);
1088  nfa->flags |= HASCANTMATCH;
1089  return;
1090  }
1091 
1092  /* Otherwise, transiently mark the colors that appear in of's out-arcs */
1093  for (a = of->outs; a != NULL; a = a->outchain)
1094  {
1095  if (a->type == PLAIN)
1096  {
1097  assert(a->co >= 0);
1098  cd = &cm->cd[a->co];
1099  assert(!UNUSEDCOLOR(cd));
1100  cd->flags |= COLMARK;
1101  }
1102 
1103  /*
1104  * There's no syntax for re-complementing a color set, so we cannot
1105  * see CANTMATCH arcs here.
1106  */
1107  assert(a->type != CANTMATCH);
1108  }
1109 
1110  /* Scan colors, clear transient marks, add arcs for unmarked colors */
1111  for (cd = cm->cd, co = 0; cd < end && !CISERR(); cd++, co++)
1112  {
1113  if (cd->flags & COLMARK)
1114  cd->flags &= ~COLMARK;
1115  else if (!UNUSEDCOLOR(cd) && !(cd->flags & PSEUDO))
1116  newarc(nfa, type, co, from, to);
1117  }
1118 }
#define CISERR()
Definition: regc_color.c:40
static void newarc(struct nfa *nfa, int t, color co, struct state *from, struct state *to)
Definition: regc_nfa.c:281
static struct arc * findarc(struct state *s, int type, color co)
Definition: regc_nfa.c:592
#define CANTMATCH
Definition: regcomp.c:346
#define PLAIN
Definition: regcomp.c:331
#define PSEUDO
Definition: regguts.h:186
#define RAINBOW
Definition: regguts.h:159
short color
Definition: regguts.h:155
#define COLMARK
Definition: regguts.h:187
#define UNUSEDCOLOR(cd)
Definition: regguts.h:190
#define HASCANTMATCH
Definition: regguts.h:413
#define CDEND(cm)
Definition: regguts.h:237
Definition: regguts.h:296
struct state * from
Definition: regguts.h:299
color co
Definition: regguts.h:298
struct state * to
Definition: regguts.h:300
int flags
Definition: regguts.h:184
Definition: regguts.h:349
int flags
Definition: regguts.h:366
struct arc * outs
Definition: regguts.h:330
const char * type

References a, assert, CANTMATCH, colormap::cd, CDEND, CISERR, arc::co, COLMARK, findarc(), colordesc::flags, nfa::flags, arc::from, HASCANTMATCH, newarc(), state::outs, 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.

104 {
105  cm->magic = 0;
106  if (cm->cd != cm->cdspace)
107  FREE(cm->cd);
108  if (cm->locolormap != NULL)
109  FREE(cm->locolormap);
110  if (cm->cmranges != NULL)
111  FREE(cm->cmranges);
112  if (cm->hicolormap != NULL)
113  FREE(cm->hicolormap);
114 }
color * locolormap
Definition: regguts.h:240
struct colordesc cdspace[NINLINECDS]
Definition: regguts.h:253
int magic
Definition: regguts.h:230
color * hicolormap
Definition: regguts.h:246
colormaprange * cmranges
Definition: regguts.h:245
@ FREE
Definition: task.c:94

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

◆ freecolor()

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

Definition at line 257 of file regc_color.c.

259 {
260  struct colordesc *cd = &cm->cd[co];
261  color pco,
262  nco; /* for freelist scan */
263 
264  assert(co >= 0);
265  if (co == WHITE)
266  return;
267 
268  assert(cd->arcs == NULL);
269  assert(cd->sub == NOSUB);
270  assert(cd->nschrs == 0);
271  assert(cd->nuchrs == 0);
272  cd->flags = FREECOL;
273 
274  if ((size_t) co == cm->max)
275  {
276  while (cm->max > WHITE && UNUSEDCOLOR(&cm->cd[cm->max]))
277  cm->max--;
278  assert(cm->free >= 0);
279  while ((size_t) cm->free > cm->max)
280  cm->free = cm->cd[cm->free].sub;
281  if (cm->free > 0)
282  {
283  assert(cm->free < cm->max);
284  pco = cm->free;
285  nco = cm->cd[pco].sub;
286  while (nco > 0)
287  if ((size_t) nco > cm->max)
288  {
289  /* take this one out of freelist */
290  nco = cm->cd[nco].sub;
291  cm->cd[pco].sub = nco;
292  }
293  else
294  {
295  assert(nco < cm->max);
296  pco = nco;
297  nco = cm->cd[pco].sub;
298  }
299  }
300  }
301  else
302  {
303  cd->sub = cm->free;
304  cm->free = (color) (cd - cm->cd);
305  }
306 }
#define WHITE
Definition: regguts.h:160
#define FREECOL
Definition: regguts.h:185
#define NOSUB
Definition: regguts.h:181
int nuchrs
Definition: regguts.h:179
int nschrs
Definition: regguts.h:178
color sub
Definition: regguts.h:180
size_t max
Definition: regguts.h:234
color free
Definition: regguts.h:235

References colordesc::arcs, assert, colormap::cd, 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.

51 {
52  struct colordesc *cd;
53 
54  cm->magic = CMMAGIC;
55  cm->v = v;
56 
57  cm->ncds = NINLINECDS;
58  cm->cd = cm->cdspace;
59  cm->max = 0;
60  cm->free = 0;
61 
62  cd = cm->cd; /* cm->cd[WHITE] */
63  cd->nschrs = MAX_SIMPLE_CHR - CHR_MIN + 1;
64  cd->nuchrs = 1;
65  cd->sub = NOSUB;
66  cd->arcs = NULL;
67  cd->firstchr = CHR_MIN;
68  cd->flags = 0;
69 
70  cm->locolormap = (color *)
71  MALLOC((MAX_SIMPLE_CHR - CHR_MIN + 1) * sizeof(color));
72  if (cm->locolormap == NULL)
73  {
75  cm->cmranges = NULL; /* prevent failure during freecm */
76  cm->hicolormap = NULL;
77  return;
78  }
79  /* this memset relies on WHITE being zero: */
80  memset(cm->locolormap, WHITE,
81  (MAX_SIMPLE_CHR - CHR_MIN + 1) * sizeof(color));
82 
83  memset(cm->classbits, 0, sizeof(cm->classbits));
84  cm->numcmranges = 0;
85  cm->cmranges = NULL;
86  cm->maxarrayrows = 4; /* arbitrary initial allocation */
87  cm->hiarrayrows = 1; /* but we have only one row/col initially */
88  cm->hiarraycols = 1;
89  cm->hicolormap = (color *) MALLOC(cm->maxarrayrows * sizeof(color));
90  if (cm->hicolormap == NULL)
91  {
93  return;
94  }
95  /* initialize the "all other characters" row to WHITE */
96  cm->hicolormap[0] = WHITE;
97 }
#define CERR(e)
Definition: regc_color.c:41
#define MAX_SIMPLE_CHR
Definition: regcustom.h:87
#define MALLOC(n)
Definition: regcustom.h:52
#define CHR_MIN
Definition: regcustom.h:65
#define REG_ESPACE
Definition: regex.h:227
#define NINLINECDS
Definition: regguts.h:252
#define CMMAGIC
Definition: regguts.h:231
chr firstchr
Definition: regguts.h:183
int classbits[NUM_CCLASSES]
Definition: regguts.h:243
struct vars * v
Definition: regguts.h:232
int hiarraycols
Definition: regguts.h:249
int maxarrayrows
Definition: regguts.h:247
int numcmranges
Definition: regguts.h:244
size_t ncds
Definition: regguts.h:233
int hiarrayrows
Definition: regguts.h:248

References colordesc::arcs, colormap::cd, colormap::cdspace, CERR, CHR_MIN, colormap::classbits, CMMAGIC, colormap::cmranges, 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.

173 {
174  if (CISERR())
175  return COLORLESS;
176 
177  return (color) cm->max;
178 }
#define COLORLESS
Definition: regguts.h:158

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.

186 {
187  struct colordesc *cd;
188  size_t n;
189 
190  if (CISERR())
191  return COLORLESS;
192 
193  if (cm->free != 0)
194  {
195  assert(cm->free > 0);
196  assert((size_t) cm->free < cm->ncds);
197  cd = &cm->cd[cm->free];
198  assert(UNUSEDCOLOR(cd));
199  assert(cd->arcs == NULL);
200  cm->free = cd->sub;
201  }
202  else if (cm->max < cm->ncds - 1)
203  {
204  cm->max++;
205  cd = &cm->cd[cm->max];
206  }
207  else
208  {
209  /* oops, must allocate more */
210  struct colordesc *newCd;
211 
212  if (cm->max == MAX_COLOR)
213  {
214  CERR(REG_ECOLORS);
215  return COLORLESS; /* too many colors */
216  }
217 
218  n = cm->ncds * 2;
219  if (n > MAX_COLOR + 1)
220  n = MAX_COLOR + 1;
221  if (cm->cd == cm->cdspace)
222  {
223  newCd = (struct colordesc *) MALLOC(n * sizeof(struct colordesc));
224  if (newCd != NULL)
225  memcpy(VS(newCd), VS(cm->cdspace), cm->ncds *
226  sizeof(struct colordesc));
227  }
228  else
229  newCd = (struct colordesc *)
230  REALLOC(cm->cd, n * sizeof(struct colordesc));
231  if (newCd == NULL)
232  {
233  CERR(REG_ESPACE);
234  return COLORLESS;
235  }
236  cm->cd = newCd;
237  cm->ncds = n;
238  assert(cm->max < cm->ncds - 1);
239  cm->max++;
240  cd = &cm->cd[cm->max];
241  }
242 
243  cd->nschrs = 0;
244  cd->nuchrs = 0;
245  cd->sub = NOSUB;
246  cd->arcs = NULL;
247  cd->firstchr = CHR_MIN; /* in case never set otherwise */
248  cd->flags = 0;
249 
250  return (color) (cd - cm->cd);
251 }
#define REALLOC
Definition: jsonapi.c:59
#define REG_ECOLORS
Definition: regex.h:234
#define MAX_COLOR
Definition: regguts.h:157
#define VS(x)
Definition: regguts.h:61

References colordesc::arcs, assert, colormap::cd, colormap::cdspace, CERR, CHR_MIN, CISERR, COLORLESS, colordesc::firstchr, colordesc::flags, colormap::free, MALLOC, colormap::max, MAX_COLOR, 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.

470 {
471  color *newarray;
472  int r,
473  c;
474 
475  if (cm->hiarraycols >= INT_MAX / (cm->maxarrayrows * 2))
476  {
477  CERR(REG_ESPACE);
478  return;
479  }
480  newarray = (color *) REALLOC(cm->hicolormap,
481  cm->maxarrayrows *
482  cm->hiarraycols * 2 * sizeof(color));
483  if (newarray == NULL)
484  {
485  CERR(REG_ESPACE);
486  return;
487  }
488  cm->hicolormap = newarray;
489 
490  /* Duplicate existing columns to the right, and increase ref counts */
491  /* Must work backwards in the array because we realloc'd in place */
492  for (r = cm->hiarrayrows - 1; r >= 0; r--)
493  {
494  color *oldrowptr = &newarray[r * cm->hiarraycols];
495  color *newrowptr = &newarray[r * cm->hiarraycols * 2];
496  color *newrowptr2 = newrowptr + cm->hiarraycols;
497 
498  for (c = 0; c < cm->hiarraycols; c++)
499  {
500  color co = oldrowptr[c];
501 
502  newrowptr[c] = newrowptr2[c] = co;
503  cm->cd[co].nuchrs++;
504  }
505  }
506 
507  cm->hiarraycols *= 2;
508 }
char * c

References colormap::cd, CERR, colormap::hiarraycols, colormap::hiarrayrows, colormap::hicolormap, colormap::maxarrayrows, colordesc::nuchrs, REALLOC, and REG_ESPACE.

Referenced by subcolorcvec().

◆ newhicolorrow()

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

Definition at line 420 of file regc_color.c.

422 {
423  int newrow = cm->hiarrayrows;
424  color *newrowptr;
425  int i;
426 
427  /* Assign a fresh array row index, enlarging storage if needed */
428  if (newrow >= cm->maxarrayrows)
429  {
430  color *newarray;
431 
432  if (cm->maxarrayrows >= INT_MAX / (cm->hiarraycols * 2))
433  {
434  CERR(REG_ESPACE);
435  return 0;
436  }
437  newarray = (color *) REALLOC(cm->hicolormap,
438  cm->maxarrayrows * 2 *
439  cm->hiarraycols * sizeof(color));
440  if (newarray == NULL)
441  {
442  CERR(REG_ESPACE);
443  return 0;
444  }
445  cm->hicolormap = newarray;
446  cm->maxarrayrows *= 2;
447  }
448  cm->hiarrayrows++;
449 
450  /* Copy old row data */
451  newrowptr = &cm->hicolormap[newrow * cm->hiarraycols];
452  memcpy(newrowptr,
453  &cm->hicolormap[oldrow * cm->hiarraycols],
454  cm->hiarraycols * sizeof(color));
455 
456  /* Increase color reference counts to reflect new colormap entries */
457  for (i = 0; i < cm->hiarraycols; i++)
458  cm->cd[newrowptr[i]].nuchrs++;
459 
460  return newrow;
461 }
int i
Definition: isn.c:72

References colormap::cd, CERR, colormap::hiarraycols, colormap::hiarrayrows, colormap::hicolormap, i, colormap::maxarrayrows, colordesc::nuchrs, REALLOC, and REG_ESPACE.

Referenced by subcoloronechr(), and subcoloronerange().

◆ newsub()

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

Definition at line 389 of file regc_color.c.

391 {
392  color sco; /* new subcolor */
393 
394  sco = cm->cd[co].sub;
395  if (sco == NOSUB)
396  { /* color has no open subcolor */
397  /* optimization: singly-referenced color need not be subcolored */
398  if ((cm->cd[co].nschrs + cm->cd[co].nuchrs) == 1)
399  return co;
400  sco = newcolor(cm); /* must create subcolor */
401  if (sco == COLORLESS)
402  {
403  assert(CISERR());
404  return COLORLESS;
405  }
406  cm->cd[co].sub = sco;
407  cm->cd[sco].sub = sco; /* open subcolor points to self */
408  }
409  assert(sco != NOSUB);
410 
411  return sco;
412 }
static color newcolor(struct colormap *cm)
Definition: regc_color.c:185

References assert, colormap::cd, CISERR, COLORLESS, 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 916 of file regc_color.c.

918 {
919  struct colordesc *cd;
920  struct colordesc *end = CDEND(cm);
921  struct colordesc *scd;
922  struct arc *a;
923  color co;
924  color sco;
925 
926  for (cd = cm->cd, co = 0; cd < end; cd++, co++)
927  {
928  sco = cd->sub;
929  if (UNUSEDCOLOR(cd) || sco == NOSUB)
930  {
931  /* has no subcolor, no further action */
932  }
933  else if (sco == co)
934  {
935  /* is subcolor, let parent deal with it */
936  }
937  else if (cd->nschrs == 0 && cd->nuchrs == 0)
938  {
939  /*
940  * Parent is now empty, so just change all its arcs to the
941  * subcolor, then free the parent.
942  *
943  * It is not obvious that simply relabeling the arcs like this is
944  * OK; it appears to risk creating duplicate arcs. We are
945  * basically relying on the assumption that processing of a
946  * bracket expression can't create arcs of both a color and its
947  * subcolor between the bracket's endpoints.
948  */
949  cd->sub = NOSUB;
950  scd = &cm->cd[sco];
951  assert(scd->nschrs > 0 || scd->nuchrs > 0);
952  assert(scd->sub == sco);
953  scd->sub = NOSUB;
954  while ((a = cd->arcs) != NULL)
955  {
956  assert(a->co == co);
957  uncolorchain(cm, a);
958  a->co = sco;
959  colorchain(cm, a);
960  }
961  freecolor(cm, co);
962  }
963  else
964  {
965  /* parent's arcs must gain parallel subcolor arcs */
966  cd->sub = NOSUB;
967  scd = &cm->cd[sco];
968  assert(scd->nschrs > 0 || scd->nuchrs > 0);
969  assert(scd->sub == sco);
970  scd->sub = NOSUB;
971  for (a = cd->arcs; a != NULL; a = a->colorchain)
972  {
973  assert(a->co == co);
974  newarc(nfa, a->type, sco, a->from, a->to);
975  }
976  }
977  }
978 }
static void freecolor(struct colormap *cm, color co)
Definition: regc_color.c:257
static void colorchain(struct colormap *cm, struct arc *a)
Definition: regc_color.c:984
static void uncolorchain(struct colormap *cm, struct arc *a)
Definition: regc_color.c:1001

References a, colordesc::arcs, assert, colormap::cd, CDEND, arc::co, colorchain(), 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.

121 {
122  int rownum,
123  colnum,
124  low,
125  high;
126 
127  /* Should not be used for chrs in the locolormap */
129 
130  /*
131  * Find which row it's in. The colormapranges are in order, so we can use
132  * binary search.
133  */
134  rownum = 0; /* if no match, use array row zero */
135  low = 0;
136  high = cm->numcmranges;
137  while (low < high)
138  {
139  int middle = low + (high - low) / 2;
140  const colormaprange *cmr = &cm->cmranges[middle];
141 
142  if (c < cmr->cmin)
143  high = middle;
144  else if (c > cmr->cmax)
145  low = middle + 1;
146  else
147  {
148  rownum = cmr->rownum; /* found a match */
149  break;
150  }
151  }
152 
153  /*
154  * Find which column it's in --- this is all locale-dependent.
155  */
156  if (cm->hiarraycols > 1)
157  {
158  colnum = cclass_column_index(cm, c);
159  return cm->hicolormap[rownum * cm->hiarraycols + colnum];
160  }
161  else
162  {
163  /* fast path if no relevant cclasses */
164  return cm->hicolormap[rownum];
165  }
166 }
static int cclass_column_index(struct colormap *cm, chr c)
Definition: regc_locale.c:671

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

◆ pseudocolor()

static color pseudocolor ( struct colormap cm)
static

Definition at line 312 of file regc_color.c.

313 {
314  color co;
315  struct colordesc *cd;
316 
317  co = newcolor(cm);
318  if (CISERR())
319  return COLORLESS;
320  cd = &cm->cd[co];
321  cd->nschrs = 0;
322  cd->nuchrs = 1; /* pretend it is in the upper map */
323  cd->sub = NOSUB;
324  cd->arcs = NULL;
325  cd->firstchr = CHR_MIN;
326  cd->flags = PSEUDO;
327  return co;
328 }

References colordesc::arcs, colormap::cd, CHR_MIN, CISERR, COLORLESS, 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 1031 of file regc_color.c.

1037 {
1038  struct colordesc *cd;
1039  struct colordesc *end = CDEND(cm);
1040  color co;
1041 
1042  if (but == COLORLESS)
1043  {
1044  newarc(nfa, type, RAINBOW, from, to);
1045  return;
1046  }
1047 
1048  /* Gotta do it the hard way. Skip subcolors, pseudocolors, and "but" */
1049  for (cd = cm->cd, co = 0; cd < end && !CISERR(); cd++, co++)
1050  if (!UNUSEDCOLOR(cd) && cd->sub != co && co != but &&
1051  !(cd->flags & PSEUDO))
1052  newarc(nfa, type, co, from, to);
1053 }

References colormap::cd, CDEND, CISERR, COLORLESS, 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 336 of file regc_color.c.

337 {
338  color co; /* current color of c */
339  color sco; /* new subcolor */
340 
341  assert(c <= MAX_SIMPLE_CHR);
342 
343  co = cm->locolormap[c - CHR_MIN];
344  sco = newsub(cm, co);
345  if (CISERR())
346  return COLORLESS;
347  assert(sco != COLORLESS);
348 
349  if (co == sco) /* already in an open subcolor */
350  return co; /* rest is redundant */
351  cm->cd[co].nschrs--;
352  if (cm->cd[sco].nschrs == 0)
353  cm->cd[sco].firstchr = c;
354  cm->cd[sco].nschrs++;
355  cm->locolormap[c - CHR_MIN] = sco;
356  return sco;
357 }
static color newsub(struct colormap *cm, color co)
Definition: regc_color.c:389

References assert, colormap::cd, CHR_MIN, CISERR, COLORLESS, 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 522 of file regc_color.c.

526 {
527  struct colormap *cm = v->cm;
528  color lastsubcolor = COLORLESS;
529  chr ch,
530  from,
531  to;
532  const chr *p;
533  int i;
534 
535  /* ordinary characters */
536  for (p = cv->chrs, i = cv->nchrs; i > 0; p++, i--)
537  {
538  ch = *p;
539  subcoloronechr(v, ch, lp, rp, &lastsubcolor);
540  NOERR();
541  }
542 
543  /* and the ranges */
544  for (p = cv->ranges, i = cv->nranges; i > 0; p += 2, i--)
545  {
546  from = *p;
547  to = *(p + 1);
548  if (from <= MAX_SIMPLE_CHR)
549  {
550  /* deal with simple chars one at a time */
551  chr lim = (to <= MAX_SIMPLE_CHR) ? to : MAX_SIMPLE_CHR;
552 
553  while (from <= lim)
554  {
555  color sco = subcolor(cm, from);
556 
557  NOERR();
558  if (sco != lastsubcolor)
559  {
560  newarc(v->nfa, PLAIN, sco, lp, rp);
561  NOERR();
562  lastsubcolor = sco;
563  }
564  from++;
565  }
566  }
567  /* deal with any part of the range that's above MAX_SIMPLE_CHR */
568  if (from < to)
569  subcoloronerange(v, from, to, lp, rp, &lastsubcolor);
570  else if (from == to)
571  subcoloronechr(v, from, lp, rp, &lastsubcolor);
572  NOERR();
573  }
574 
575  /* and deal with cclass if any */
576  if (cv->cclasscode >= 0)
577  {
578  int classbit;
579  color *pco;
580  int r,
581  c;
582 
583  /* Enlarge array if we don't have a column bit assignment for cclass */
584  if (cm->classbits[cv->cclasscode] == 0)
585  {
586  cm->classbits[cv->cclasscode] = cm->hiarraycols;
587  newhicolorcols(cm);
588  NOERR();
589  }
590  /* Apply subcolorhi() and make arc for each entry in relevant cols */
591  classbit = cm->classbits[cv->cclasscode];
592  pco = cm->hicolormap;
593  for (r = 0; r < cm->hiarrayrows; r++)
594  {
595  for (c = 0; c < cm->hiarraycols; c++)
596  {
597  if (c & classbit)
598  {
599  color sco = subcolorhi(cm, pco);
600 
601  NOERR();
602  /* add the arc if needed */
603  if (sco != lastsubcolor)
604  {
605  newarc(v->nfa, PLAIN, sco, lp, rp);
606  NOERR();
607  lastsubcolor = sco;
608  }
609  }
610  pco++;
611  }
612  }
613  }
614 }
static void subcoloronechr(struct vars *v, chr ch, struct state *lp, struct state *rp, color *lastsubcolor)
Definition: regc_color.c:624
static void newhicolorcols(struct colormap *cm)
Definition: regc_color.c:469
static color subcolorhi(struct colormap *cm, color *pco)
Definition: regc_color.c:366
static color subcolor(struct colormap *cm, chr c)
Definition: regc_color.c:336
static void subcoloronerange(struct vars *v, chr from, chr to, struct state *lp, struct state *rp, color *lastsubcolor)
Definition: regc_color.c:747
#define NOERR()
Definition: regcomp.c:321
pg_wchar chr
Definition: regcustom.h:59
int nchrs
Definition: regguts.h:280
chr * chrs
Definition: regguts.h:282
chr * ranges
Definition: regguts.h:285
int cclasscode
Definition: regguts.h:286
int nranges
Definition: regguts.h:283
struct colormap * cm
Definition: regcomp.c:297
struct nfa * nfa
Definition: regcomp.c:296

References cvec::cclasscode, cvec::chrs, colormap::classbits, vars::cm, COLORLESS, 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 366 of file regc_color.c.

367 {
368  color co; /* current color of entry */
369  color sco; /* new subcolor */
370 
371  co = *pco;
372  sco = newsub(cm, co);
373  if (CISERR())
374  return COLORLESS;
375  assert(sco != COLORLESS);
376 
377  if (co == sco) /* already in an open subcolor */
378  return co; /* rest is redundant */
379  cm->cd[co].nuchrs--;
380  cm->cd[sco].nuchrs++;
381  *pco = sco;
382  return sco;
383 }

References assert, colormap::cd, CISERR, COLORLESS, 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 624 of file regc_color.c.

629 {
630  struct colormap *cm = v->cm;
631  colormaprange *newranges;
632  int numnewranges;
633  colormaprange *oldrange;
634  int oldrangen;
635  int newrow;
636 
637  /* Easy case for low chr codes */
638  if (ch <= MAX_SIMPLE_CHR)
639  {
640  color sco = subcolor(cm, ch);
641 
642  NOERR();
643  if (sco != *lastsubcolor)
644  {
645  newarc(v->nfa, PLAIN, sco, lp, rp);
646  *lastsubcolor = sco;
647  }
648  return;
649  }
650 
651  /*
652  * Potentially, we could need two more colormapranges than we have now, if
653  * the given chr is in the middle of some existing range.
654  */
655  newranges = (colormaprange *)
656  MALLOC((cm->numcmranges + 2) * sizeof(colormaprange));
657  if (newranges == NULL)
658  {
659  CERR(REG_ESPACE);
660  return;
661  }
662  numnewranges = 0;
663 
664  /* Ranges before target are unchanged */
665  for (oldrange = cm->cmranges, oldrangen = 0;
666  oldrangen < cm->numcmranges;
667  oldrange++, oldrangen++)
668  {
669  if (oldrange->cmax >= ch)
670  break;
671  newranges[numnewranges++] = *oldrange;
672  }
673 
674  /* Match target chr against current range */
675  if (oldrangen >= cm->numcmranges || oldrange->cmin > ch)
676  {
677  /* chr does not belong to any existing range, make a new one */
678  newranges[numnewranges].cmin = ch;
679  newranges[numnewranges].cmax = ch;
680  /* row state should be cloned from the "all others" row */
681  newranges[numnewranges].rownum = newrow = newhicolorrow(cm, 0);
682  numnewranges++;
683  }
684  else if (oldrange->cmin == oldrange->cmax)
685  {
686  /* we have an existing singleton range matching the chr */
687  newranges[numnewranges++] = *oldrange;
688  newrow = oldrange->rownum;
689  /* we've now fully processed this old range */
690  oldrange++, oldrangen++;
691  }
692  else
693  {
694  /* chr is a subset of this existing range, must split it */
695  if (ch > oldrange->cmin)
696  {
697  /* emit portion of old range before chr */
698  newranges[numnewranges].cmin = oldrange->cmin;
699  newranges[numnewranges].cmax = ch - 1;
700  newranges[numnewranges].rownum = oldrange->rownum;
701  numnewranges++;
702  }
703  /* emit chr as singleton range, initially cloning from range */
704  newranges[numnewranges].cmin = ch;
705  newranges[numnewranges].cmax = ch;
706  newranges[numnewranges].rownum = newrow =
707  newhicolorrow(cm, oldrange->rownum);
708  numnewranges++;
709  if (ch < oldrange->cmax)
710  {
711  /* emit portion of old range after chr */
712  newranges[numnewranges].cmin = ch + 1;
713  newranges[numnewranges].cmax = oldrange->cmax;
714  /* must clone the row if we are making two new ranges from old */
715  newranges[numnewranges].rownum =
716  (ch > oldrange->cmin) ? newhicolorrow(cm, oldrange->rownum) :
717  oldrange->rownum;
718  numnewranges++;
719  }
720  /* we've now fully processed this old range */
721  oldrange++, oldrangen++;
722  }
723 
724  /* Update colors in newrow and create arcs as needed */
725  subcoloronerow(v, newrow, lp, rp, lastsubcolor);
726 
727  /* Ranges after target are unchanged */
728  for (; oldrangen < cm->numcmranges; oldrange++, oldrangen++)
729  {
730  newranges[numnewranges++] = *oldrange;
731  }
732 
733  /* Assert our original space estimate was adequate */
734  assert(numnewranges <= (cm->numcmranges + 2));
735 
736  /* And finally, store back the updated list of ranges */
737  if (cm->cmranges != NULL)
738  FREE(cm->cmranges);
739  cm->cmranges = newranges;
740  cm->numcmranges = numnewranges;
741 }
static int newhicolorrow(struct colormap *cm, int oldrow)
Definition: regc_color.c:420
static void subcoloronerow(struct vars *v, int rownum, struct state *lp, struct state *rp, color *lastsubcolor)
Definition: regc_color.c:885
struct colormaprange colormaprange

References assert, CERR, vars::cm, colormaprange::cmax, colormaprange::cmin, colormap::cmranges, FREE, MALLOC, MAX_SIMPLE_CHR, newarc(), newhicolorrow(), vars::nfa, NOERR, colormap::numcmranges, PLAIN, REG_ESPACE, colormaprange::rownum, 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 747 of file regc_color.c.

753 {
754  struct colormap *cm = v->cm;
755  colormaprange *newranges;
756  int numnewranges;
757  colormaprange *oldrange;
758  int oldrangen;
759  int newrow;
760 
761  /* Caller should take care of non-high-range cases */
762  assert(from > MAX_SIMPLE_CHR);
763  assert(from < to);
764 
765  /*
766  * Potentially, if we have N non-adjacent ranges, we could need as many as
767  * 2N+1 result ranges (consider case where new range spans 'em all).
768  */
769  newranges = (colormaprange *)
770  MALLOC((cm->numcmranges * 2 + 1) * sizeof(colormaprange));
771  if (newranges == NULL)
772  {
773  CERR(REG_ESPACE);
774  return;
775  }
776  numnewranges = 0;
777 
778  /* Ranges before target are unchanged */
779  for (oldrange = cm->cmranges, oldrangen = 0;
780  oldrangen < cm->numcmranges;
781  oldrange++, oldrangen++)
782  {
783  if (oldrange->cmax >= from)
784  break;
785  newranges[numnewranges++] = *oldrange;
786  }
787 
788  /*
789  * Deal with ranges that (partially) overlap the target. As we process
790  * each such range, increase "from" to remove the dealt-with characters
791  * from the target range.
792  */
793  while (oldrangen < cm->numcmranges && oldrange->cmin <= to)
794  {
795  if (from < oldrange->cmin)
796  {
797  /* Handle portion of new range that corresponds to no old range */
798  newranges[numnewranges].cmin = from;
799  newranges[numnewranges].cmax = oldrange->cmin - 1;
800  /* row state should be cloned from the "all others" row */
801  newranges[numnewranges].rownum = newrow = newhicolorrow(cm, 0);
802  numnewranges++;
803  /* Update colors in newrow and create arcs as needed */
804  subcoloronerow(v, newrow, lp, rp, lastsubcolor);
805  /* We've now fully processed the part of new range before old */
806  from = oldrange->cmin;
807  }
808 
809  if (from <= oldrange->cmin && to >= oldrange->cmax)
810  {
811  /* old range is fully contained in new, process it in-place */
812  newranges[numnewranges++] = *oldrange;
813  newrow = oldrange->rownum;
814  from = oldrange->cmax + 1;
815  }
816  else
817  {
818  /* some part of old range does not overlap new range */
819  if (from > oldrange->cmin)
820  {
821  /* emit portion of old range before new range */
822  newranges[numnewranges].cmin = oldrange->cmin;
823  newranges[numnewranges].cmax = from - 1;
824  newranges[numnewranges].rownum = oldrange->rownum;
825  numnewranges++;
826  }
827  /* emit common subrange, initially cloning from old range */
828  newranges[numnewranges].cmin = from;
829  newranges[numnewranges].cmax =
830  (to < oldrange->cmax) ? to : oldrange->cmax;
831  newranges[numnewranges].rownum = newrow =
832  newhicolorrow(cm, oldrange->rownum);
833  numnewranges++;
834  if (to < oldrange->cmax)
835  {
836  /* emit portion of old range after new range */
837  newranges[numnewranges].cmin = to + 1;
838  newranges[numnewranges].cmax = oldrange->cmax;
839  /* must clone the row if we are making two new ranges from old */
840  newranges[numnewranges].rownum =
841  (from > oldrange->cmin) ? newhicolorrow(cm, oldrange->rownum) :
842  oldrange->rownum;
843  numnewranges++;
844  }
845  from = oldrange->cmax + 1;
846  }
847  /* Update colors in newrow and create arcs as needed */
848  subcoloronerow(v, newrow, lp, rp, lastsubcolor);
849  /* we've now fully processed this old range */
850  oldrange++, oldrangen++;
851  }
852 
853  if (from <= to)
854  {
855  /* Handle portion of new range that corresponds to no old range */
856  newranges[numnewranges].cmin = from;
857  newranges[numnewranges].cmax = to;
858  /* row state should be cloned from the "all others" row */
859  newranges[numnewranges].rownum = newrow = newhicolorrow(cm, 0);
860  numnewranges++;
861  /* Update colors in newrow and create arcs as needed */
862  subcoloronerow(v, newrow, lp, rp, lastsubcolor);
863  }
864 
865  /* Ranges after target are unchanged */
866  for (; oldrangen < cm->numcmranges; oldrange++, oldrangen++)
867  {
868  newranges[numnewranges++] = *oldrange;
869  }
870 
871  /* Assert our original space estimate was adequate */
872  assert(numnewranges <= (cm->numcmranges * 2 + 1));
873 
874  /* And finally, store back the updated list of ranges */
875  if (cm->cmranges != NULL)
876  FREE(cm->cmranges);
877  cm->cmranges = newranges;
878  cm->numcmranges = numnewranges;
879 }

References assert, CERR, vars::cm, colormaprange::cmax, colormaprange::cmin, colormap::cmranges, FREE, MALLOC, MAX_SIMPLE_CHR, newhicolorrow(), colormap::numcmranges, REG_ESPACE, colormaprange::rownum, 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 885 of file regc_color.c.

890 {
891  struct colormap *cm = v->cm;
892  color *pco;
893  int i;
894 
895  /* Apply subcolorhi() and make arc for each entry in row */
896  pco = &cm->hicolormap[rownum * cm->hiarraycols];
897  for (i = 0; i < cm->hiarraycols; pco++, i++)
898  {
899  color sco = subcolorhi(cm, pco);
900 
901  NOERR();
902  /* make the arc if needed */
903  if (sco != *lastsubcolor)
904  {
905  newarc(v->nfa, PLAIN, sco, lp, rp);
906  NOERR();
907  *lastsubcolor = sco;
908  }
909  }
910 }

References vars::cm, 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 1001 of file regc_color.c.

1003 {
1004  struct colordesc *cd = &cm->cd[a->co];
1005  struct arc *aa = a->colorchainRev;
1006 
1007  assert(a->co >= 0);
1008  if (aa == NULL)
1009  {
1010  assert(cd->arcs == a);
1011  cd->arcs = a->colorchain;
1012  }
1013  else
1014  {
1015  assert(aa->colorchain == a);
1016  aa->colorchain = a->colorchain;
1017  }
1018  if (a->colorchain != NULL)
1019  a->colorchain->colorchainRev = aa;
1020  a->colorchain = NULL; /* paranoia */
1021  a->colorchainRev = NULL;
1022 }
struct arc * colorchain
Definition: regguts.h:307

References a, colordesc::arcs, assert, colormap::cd, and arc::colorchain.

Referenced by freearc(), and okcolors().