The pretty-printing procedures.
More...
#include <stdlib.h>
#include "errorMessages.h"
#include "checker.h"
Go to the source code of this file.
|
#define | PRINT_BUFFER_LEN 4096 |
|
#define | printMessages_SIZE 35; |
|
#define | PRINT_KSTAR 0 |
|
#define | PRINT_PI 1 |
|
#define | PRINT_COLONSPACES 2 |
|
#define | PRINT_DOT 3 |
|
#define | PRINT_LPAR 4 |
|
#define | PRINT_RPAR 5 |
|
#define | PRINT_A 6 |
|
#define | PRINT_COLON 7 |
|
#define | PRINT_E 8 |
|
#define | PRINT_AND 9 |
|
#define | PRINT_OR 10 |
|
#define | PRINT_BOT 11 |
|
#define | PRINT_EOL 12 |
|
#define | PRINT_LAMBDA 13 |
|
#define | PRINT_LSQPAR 14 |
|
#define | PRINT_RSQPAR_LCURPAR 15 |
|
#define | PRINT_RCURPAR 16 |
|
#define | PRINT_ABSTRACT 17 |
|
#define | PRINT_COMMASPACE 18 |
|
#define | PRINT_RANGLE_EQ 19 |
|
#define | PRINT_IN 20 |
|
#define | PRINT_LANGLE 21 |
|
#define | PRINT_RANGLE_LCURPAR 22 |
|
#define | PRINT_PI1 23 |
|
#define | PRINT_PI2 24 |
|
#define | PRINT_IN1 25 |
|
#define | PRINT_IN2 26 |
|
#define | PRINT_CASE 27 |
|
#define | PRINT_IN_LEFT 28 |
|
#define | PRINT_RIGHT 29 |
|
#define | PRINT_EPSILON 30 |
|
#define | PRINT_KIND_WRONG_ENUM 31 |
|
#define | PRINT_TYPE_WRONG_ENUM 32 |
|
#define | PRINT_TERM_WRONG_ENUM 33 |
|
#define | PRINT_ARROW 34 |
|
#define | PRINT_UNDERSCORE 35 |
|
|
int | concatMessage (char *s) |
|
void | printMessage (char *a) |
|
void | printKind (Kind *k) |
|
void | printType (Type *t) |
|
void | printTerm (Term *t) |
|
void | _printKind (Kind *k) |
|
void | _printType (Type *t) |
|
void | _printTerm (Term *t) |
|
|
char | printBuffer [PRINT_BUFFER_LEN] |
|
int | printBufferOverflow |
|
char * | printMessages [] |
|
The pretty-printing procedures.
- Author
- Konrad Zdanowski
-
Aleksy Schubert
-
Maciej Zielenkiewicz