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: */