|
|
1.1 root 1: /* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */
2: /* $Header: syms.h,v 1.1 85/08/22 15:44:34 timo Exp $ */
3:
4: /*
5: * B editor -- Grammar symbol definitions.
6: */
7:
8: /*
9: * Values returned by function symbol(n).
10: * They are used directly as index in the grammar table.
11: * The NAMES of the #defined constants are of no importance outside this file.
12: */
13:
14: #define Put 1
15: #define Insert 2
16: #define Remove 3
17: #define Choose 4
18: #define Draw 5
19: #define Set_random 6
20: #define Delete 7
21: #define Check 8
22: #define Share 9
23:
24: #define Write 10
25: #define Read 11
26: #define Read_raw 12
27:
28: #define If 13
29: #define While 14
30: #define For 15
31:
32: #define Select 16
33:
34: #define Quit 18
35: #define Return 19
36: #define Report 20
37: #define Succeed 21
38: #define Fail 22
39:
40: #define How_to 23
41: #define Yield 24
42: #define Test 25
43: #define Suite 26
44: #define Refinement 27
45:
46: #define Compound 28
47: #define Collateral 29
48: #define Tag 30
49: #define Number 31
50: #define Selection 32
51: #define Behead 33
52: #define Curtail 34
53:
54: #define And 35
55: #define Or 36
56: #define Not 37
57: #define Some_in 38
58: #define Each_in 39
59: #define No_in 40
60: #define Some_parsing 41
61: #define Each_parsing 42
62: #define No_parsing 43
63:
64: #define Comment 44
65: #define Keyword 45
66:
67: #define L_t_dis 46
68: #define List_body 47
69: #define Tab_body 48
70: #define Tab_entry 49
71:
72: #define E_number 50
73: #define Com_target 51
74: #define Col_target 52
75: #define Sel_expr 53
76: #define Text1 54
77: #define Text2 55
78: #define Grouped 56
79: #define Blocked 57
80: #define Operators 58
81:
82: #define Else_kw 59
83: #define Kw_plus 60
84: #define E_plus 61
85: #define Conversion 62
86: #define T1 63
87: #define T1_plus 64
88: #define T2 65
89: #define T2_plus 66
90: #define Cmt_cmd 67
91:
92: #define F_kw_plus 69
93: #define F_e_plus 70
94: #define Plus_sign 71
95: #define Minus_sign 72
96:
97: #define Long_comp 73
98: #define Short_comp 74
99: #define Cmt_comp 75
100:
101: #define Long_unit 76
102: #define Short_unit 77
103: #define Cmt_head 78
104:
105: #define Ref_join 79
106:
107: #define And_kw 80
108: #define Or_kw 81
109:
110: #define E_part 82
111:
112: #define Unit_edit 83
113: #define Target_edit 84
114: #define Imm_cmd 85
115: #define Raw 86
116: #define Raw_input 87
117: #define Edit_unit 88
118: #define Edit_target 89
119: #define Colon 90
120: #define Equals 91
121: #define Test_suite 92
122: #define Expression 93
123:
124: /*
125: * The last three, `Suggestion', `Optional' and `Hole',
126: * with values 97, 98 and 99, are defined in "gram.h".
127: */
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.