InutitionTC  0.30
Macros | Functions | Variables
errorMessages.h File Reference

Implementation of procedures that handle printing of error messages. More...

#include <stdlib.h>

Go to the source code of this file.

Macros

#define BUFFER_LEN   4096
 
#define ENV_MSG_UNDECLARED_TVAR   0
 
#define ENV_MSG_OBJECT_VAR   1
 
#define ENV_MSG_UNDECLARED_MVAR   2
 
#define ENV_MSG_TVAR   3
 
#define ENV_MSG_TNAME_DEFINED   4
 
#define ENV_MSG_ONAME_DEFINED   5
 
#define ENV_MSG_WRONG_ACTUAL_KIND   6
 
#define ENV_MSG_EXPECTED_PRODUCT_KIND   7
 
#define ENV_MSG_WRONG_ACTUAL_TYPE   8
 
#define ENV_MSG_IN_INFERTERM   9
 
#define ENV_MSG_NOT_FUNCTION_TYPE   10
 
#define ENV_MSG_WITNESS_FOR_NONEXISTENTIAL   11
 
#define ENV_MSG_IN   12
 
#define ENV_MSG_IN_INFERTERM_CHECK   13
 
#define ENV_MSG_TUPLE_NOT_AND   14
 
#define ENV_MSG_IS_NOT_PAIR   15
 
#define ENV_MSG_IN_CASE   16
 
#define ENV_MSG_UNHANDLED_TERM   17
 
#define ENV_MSG_PRINT_BUFFER_OVERFLOW   18
 
#define ENV_MSG_UNHANDLED_TYPE   19
 
#define ENV_MSG_NO_KIND_FOR_TYPE   20
 
#define ENV_MSG_IMPOSSIBLE_COPY_ENV   21
 
#define ENV_MSG_CANNOT_INSERT_VARIABLE   22
 
#define ENV_MSG_MAX   ENV_MSG_CANNOT_INSERT_VARIABLE
 

Functions

void reportError (char *a)
 

Variables

char errorBuffer [BUFFER_LEN]
 
int errorNum
 
char * messages []
 

Detailed Description

Implementation of procedures that handle printing of error messages.

Author
Aleksy Schubert