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

The pretty-printing procedures. More...

#include <stdlib.h>
#include "errorMessages.h"
#include "checker.h"

Go to the source code of this file.

Macros

#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
 

Functions

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)
 

Variables

char printBuffer [PRINT_BUFFER_LEN]
 
int printBufferOverflow
 
char * printMessages []
 

Detailed Description

The pretty-printing procedures.

Author
Konrad Zdanowski
Aleksy Schubert
Maciej Zielenkiewicz