* src/closure.c (print_fderives): Use rule_rhs_print.

* src/derives.c (print_derives): Use rule_rhs_print.
(rule_list_t): New, replaces `shorts'.
(set_derives): Add comments.
* tests/sets.at (Nullable, Firsts): Adjust.
This commit is contained in:
Akim Demaille
2002-07-03 10:36:38 +00:00
parent 536545f3a4
commit e1a4f3a428
4 changed files with 69 additions and 54 deletions

View File

@@ -83,10 +83,10 @@ AT_EXTRACT_SETS([stderr], [sets])
AT_CHECK([[cat sets]], [],
[[DERIVES
$axiom derives
1: e $ (rule 0)
0 e $
e derives
2: 'e' (rule 1)
3: (rule 2)
1 'e'
2 /* empty */
NULLABLE
$axiom: no
e: yes
@@ -98,12 +98,12 @@ FIRSTS
e
FDERIVES
$axiom derives
0: e $
1: 'e'
2:
1 e $
2 'e'
3 /* empty */
e derives
1: 'e'
2:
2 'e'
3 /* empty */
]])
AT_CLEANUP
@@ -213,15 +213,15 @@ AT_EXTRACT_SETS([stderr], [sets])
AT_CHECK([[cat sets]], [],
[[DERIVES
$axiom derives
1: exp $ (rule 0)
0 exp $
exp derives
2: exp '<' exp (rule 1)
3: exp '>' exp (rule 2)
4: exp '+' exp (rule 3)
5: exp '-' exp (rule 4)
6: exp '^' exp (rule 5)
7: exp '=' exp (rule 6)
8: "exp" (rule 7)
1 exp '<' exp
2 exp '>' exp
3 exp '+' exp
4 exp '-' exp
5 exp '^' exp
6 exp '=' exp
7 "exp"
NULLABLE
$axiom: no
exp: no
@@ -233,22 +233,22 @@ FIRSTS
exp
FDERIVES
$axiom derives
0: exp $
1: exp '<' exp
2: exp '>' exp
3: exp '+' exp
4: exp '-' exp
5: exp '^' exp
6: exp '=' exp
7: "exp"
1 exp $
2 exp '<' exp
3 exp '>' exp
4 exp '+' exp
5 exp '-' exp
6 exp '^' exp
7 exp '=' exp
8 "exp"
exp derives
1: exp '<' exp
2: exp '>' exp
3: exp '+' exp
4: exp '-' exp
5: exp '^' exp
6: exp '=' exp
7: "exp"
2 exp '<' exp
3 exp '>' exp
4 exp '+' exp
5 exp '-' exp
6 exp '^' exp
7 exp '=' exp
8 "exp"
]])
AT_CLEANUP