coan 4.2.4
|
Data Fields | |
contradiction_public_state_t | contradiction_public_state |
char * | contradiction_insert_prefix |
int | contradiction_insert_reason |
bool | had_warnings |
heap_str | err_msg_buf [2] |
The global state of the Contradiction component
Definition at line 56 of file contradiction.c.
This is the prefix for diagnostics inserted into the output:
--conflict comment
is in force.--conflict error
is in force. Definition at line 64 of file contradiction.c.
This is the reason code issued when a contradiction is diagnosed:
--conflict comment
is in force.--conflict error
is in force.--conflict delete
is in force. Definition at line 73 of file contradiction.c.
The public state of the Contradiction component
Definition at line 59 of file contradiction.c.
Pointers for a pair of heap buffers in which to compose diagnositic messages for stdout
and stderr
Definition at line 84 of file contradiction.c.
In the preamble of save_contradiction()
we record here if any warnings had already accrued in the exit status, because we will provisionally register warnings in the exit status. If we later discover there is no contradiction then we need to clear warnings from the exit status if this was the first.
Definition at line 80 of file contradiction.c.