contradiction.c File Reference

#include "contradiction.h"
#include "report.h"
#include "line_despatch.h"
#include "io.h"
#include "if_control.h"
#include <stdlib.h>
#include <assert.h>

Include dependency graph for contradiction.c:

Go to the source code of this file.

Data Structures
struct	contradiction_state_s
Defines
#define	CONTRADICTION_PENDING   (GET_STATE(contradiction,err_msg_buf)[ERR_MSG_BUF] != 0)
Typedefs
typedef struct contradiction_state_s	contradiction_state_t
Enumerations
enum	contradiction_storage_type { contradiction_storage_type = STATE_STATIC }
enum	contradiction_init_type { contradiction_initialisation_type = STATIC_INITABLE }
enum	{ ERR_MSG_BUF, OUT_MSG_BUF }
Functions
void	contradiction_initor (void)
void	contradiction_finitor (void)
static void	compose_contradiction_insert_format (heap_str *buf, const char *sub_format)
static void	forget_pending_contradiction (void)
static void	insert_pending_contradiction (void)
void	insert_contradiction (char const *sub_format)
void	contradiction_policy (contradiction_policy_t p)
void	flush_contradiction (void)
void	forget_contradiction (void)
void	save_contradiction (char const *sub_format)
Variables
static contradiction_state_t	contradiction_state
contradiction_state_t *	contradiction_h = & contradiction_state
contradiction_public_state_t *	contradiction_public_h = ( contradiction_public_state_t *)& contradiction_state
static const contradiction_state_t *const	contradiction_static_initialiser_h = & contradiction_static_initialiser
void(*	contradiction_init_h )(contradiction_state_t *)
void(*	contradiction_finis_h )(contradiction_state_t *)
static const contradiction_state_t	contradiction_static_initialiser

---

Detailed Description

This file implements the Contradiction component

Definition in file contradiction.c.