137 |
for (i = 0; i < transitions->num; i++) |
for (i = 0; i < transitions->num; i++) |
138 |
if (!TRANSITION_IS_DISABLED (transitions, i)) |
if (!TRANSITION_IS_DISABLED (transitions, i)) |
139 |
{ |
{ |
140 |
state_number_t state1 = transitions->states[i]; |
state_t *state1 = transitions->states[i]; |
141 |
symbol_number_t symbol = states[state1]->accessing_symbol; |
symbol_number_t symbol = state1->accessing_symbol; |
142 |
|
|
143 |
new_edge (&edge); |
new_edge (&edge); |
144 |
|
|
145 |
if (state->number > state1) |
if (state->number > state1->number) |
146 |
edge.type = back_edge; |
edge.type = back_edge; |
147 |
open_edge (&edge, fgraph); |
open_edge (&edge, fgraph); |
148 |
/* The edge source is the current node. */ |
/* The edge source is the current node. */ |
149 |
edge.sourcename = node_name; |
edge.sourcename = node_name; |
150 |
sprintf (buff, "%d", state1); |
sprintf (buff, "%d", state1->number); |
151 |
edge.targetname = buff; |
edge.targetname = buff; |
152 |
/* Shifts are blue, gotos are green, and error is red. */ |
/* Shifts are blue, gotos are green, and error is red. */ |
153 |
if (TRANSITION_IS_ERROR (transitions, i)) |
if (TRANSITION_IS_ERROR (transitions, i)) |