1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97
|
% A1.1 BASICS %
integer:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`integer`,expected,WORD);
(let TOKEN_0 = TOKEN TOKENS FIRST_CHARS CHARS (hd lst) expected in
let tmp_1 = MK_digit(TOKEN_0) in
let result_list = push tmp_1 result_list in
do_return result_list whitespace `integer` whitespace lst `nil`);;
char:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`char`,expected,WORD);
(let TOKEN_0 = TOKEN TOKENS FIRST_CHARS CHARS (hd lst) expected in
let tmp_1 = MK_char(TOKEN_0) in
let result_list = push tmp_1 result_list in
do_return result_list whitespace `char` whitespace lst `nil`);;
name:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`name`,expected,WORD);
(let TOKEN_0 = TOKEN TOKENS FIRST_CHARS CHARS (hd lst) expected in
let tmp_1 = MK_name(TOKEN_0) in
let result_list = push tmp_1 result_list in
do_return result_list whitespace `name` whitespace lst `nil`);;
fnname:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`fnname`,expected,WORD);
(let TOKEN_0 = TOKEN TOKENS FIRST_CHARS CHARS (hd lst) expected in
let tmp_1 = MK_fnname(TOKEN_0) in
let result_list = push tmp_1 result_list in
do_return result_list whitespace `fnname` whitespace lst `nil`);;
typename:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`typename`,expected,WORD);
(let TOKEN_0 = TOKEN TOKENS FIRST_CHARS CHARS (hd lst) expected in
let tmp_1 = MK_typename(TOKEN_0) in
let result_list = push tmp_1 result_list in
do_return result_list whitespace `typename` whitespace lst `nil`);;
macname:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`macname`,expected,WORD);
(let (fnname_0 , result_list , prev, lst) = fnname lst whitespace WORD result_list FIRST_CHARS CHARS expected in
let result_list = push fnname_0 result_list in
do_return result_list whitespace `macname` prev lst `nil`);;
biopname:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`biopname`,expected,WORD);
(let (fnname_0 , result_list , prev, lst) = fnname lst whitespace WORD result_list FIRST_CHARS CHARS expected in
let result_list = push fnname_0 result_list in
do_return result_list whitespace `biopname` prev lst `nil`);;
string:=
\lst whitespace prev result_list FIRST_CHARS CHARS expected.
let (WORD,lst) = gnt lst whitespace prev in
let TOKENS = explode WORD in
debug_enter(`string`,expected,WORD);
if WORD = `"` then
(let (WORD,lst) = gnt lst whitespace whitespace in
let TOKENS = explode WORD in
let WORD_0 = WORD in
let tmp_1 = MK_string(WORD_0) in
let result_list = push tmp_1 result_list in
let (WORD,lst) = gnt lst whitespace whitespace in
let (WORD,lst) = eat_terminal `"` WORD lst `string` in
let TOKENS = explode WORD in
do_return result_list whitespace `string` WORD lst expected)
else
fail
? fail;;
|