mirror of https://github.com/lianthony/NT4.0
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
36 lines
925 B
36 lines
925 B
/* prlex.h */
|
|
#define STRING_QUOTE '"'
|
|
#define CONS '|'
|
|
#define CONS_STR "|"
|
|
|
|
/* note that the following are > the ascii code of the greatest char */
|
|
#define TOKEN_INT 300
|
|
#define TOKEN_REAL 301
|
|
#define TOKEN_ATOM 302
|
|
#define TOKEN_VAR 303
|
|
#define TOKEN_STRING 304
|
|
#define TOKEN_CHAR 305
|
|
|
|
#define SCAN_ERR 400
|
|
|
|
#define MAX_VAR 128 /* a little arbitrary */
|
|
#define VARBUFSIZE 500 /* total length of names of variables in a clause */
|
|
|
|
/* char types */
|
|
#define CC 0 /* non space control char */
|
|
#define SP 1 /* space */
|
|
#define AL 2 /* alpha lower case */
|
|
#define AU 3 /* alpha upper case */
|
|
#define DI 4 /* digit */
|
|
#define BR 5 /* bracket ( ) */
|
|
#define QU 6 /* double quote " */
|
|
#define US 7 /* underscore _ */
|
|
#define SI 8 /* + or - */
|
|
#define QE 9 /* question mark ? */
|
|
#define BA 10 /* bar ie |*/
|
|
#define AP 11 /* apostrophe ' */
|
|
#define OT 12 /* other */
|
|
|
|
#define ICHAR int /* type returned by getc */
|
|
|
|
/* end of file */
|