14 #ifndef _PRINT_MESSAGES_H
15 #define _PRINT_MESSAGES_H 1
28 #define PRINT_BUFFER_LEN 4096
29 extern char printBuffer[PRINT_BUFFER_LEN];
31 extern int printBufferOverflow;
39 #define printMessages_SIZE 35;
50 extern char* printMessages[];
57 #define PRINT_COLONSPACES 2
79 #define PRINT_LAMBDA 13
81 #define PRINT_LSQPAR 14
83 #define PRINT_RSQPAR_LCURPAR 15
85 #define PRINT_RCURPAR 16
87 #define PRINT_ABSTRACT 17
89 #define PRINT_COMMASPACE 18
91 #define PRINT_RANGLE_EQ 19
95 #define PRINT_LANGLE 21
97 #define PRINT_RANGLE_LCURPAR 22
107 #define PRINT_CASE 27
109 #define PRINT_IN_LEFT 28
111 #define PRINT_RIGHT 29
113 #define PRINT_EPSILON 30
115 #define PRINT_KIND_WRONG_ENUM 31
117 #define PRINT_TYPE_WRONG_ENUM 32
119 #define PRINT_TERM_WRONG_ENUM 33
121 #define PRINT_ARROW 34
123 #define PRINT_UNDERSCORE 35
537 int concatMessage(
char *s);
549 void printMessage(
char *a);
565 void printKind(
Kind* k);
577 void printType(
Type* t);
589 void printTerm(
Term* t);
601 void _printKind(
Kind* k);
611 void _printType(
Type* t);
621 void _printTerm(
Term* t);
The representation of the kinds in the typesystem.
Definition: checker.h:68
Definitions of the base structures that represent the formulas and proofs.
Implementation of procedures that handle printing of error messages.
The representation of the types in the typesystem.
Definition: checker.h:146
The representation of the proof terms in the typesystem.
Definition: checker.h:298