summaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
Diffstat (limited to 'src/test')
-rw-r--r--src/test/check_cnp.c185
1 files changed, 7 insertions, 178 deletions
diff --git a/src/test/check_cnp.c b/src/test/check_cnp.c
index 00c8a64..7a0a325 100644
--- a/src/test/check_cnp.c
+++ b/src/test/check_cnp.c
@@ -97,174 +97,19 @@ main(int UNUSED argc, char ** UNUSED argv)
printf("\nPrinting the input...\n%s\n", get_data((str *) string));
- Environment *env = new_env(g, (str *) string);
+ Environment *env = cnp_parse(g, (str *) string);
- if (crf_add_node(env_crfp(env), (pair2) { 0 })) goto cleanup;
-
- nt_add(env, 0, 0);
-
- CHECK_ENV_ERROR(env, goto cleanup;);
-
- NUM current_grade = 0;
-
- prodecor *current_prodecor = NULL;
-
- Rule_group *rg = NULL;
- List *right = NULL, *tnts = NULL;
-
- NUM *num_string = NULL, num_string_len = 0;
- BOOL errorp = 0;
-
- env_str(env, &num_string, &num_string_len);
-
- while ((current_prodecor =
- pop_procr(env_r(env), env_u(env), &current_grade))) {
- /* fleprintf("{ %ld, %ld, %ld, %ld, %ld }\n",
- * current_prodecor->x, current_prodecor->y,
- * current_prodecor->z, current_prodecor->w,
- * current_grade);
- * print_procr(env_r(env)); */
-
- /* different cases */
-
- rg = grammar_rule(env_grammar(env), current_prodecor->x);
- right = rg_nth(rg, current_prodecor->y);
-
- /* separate the empty rules out */
- if (list_length(right) == 0) {
- errorp =
- bsr_add(env_grammar(env), env_bsrp(env),
- current_prodecor->x, current_prodecor->y, 0,
- current_grade, current_grade, current_grade);
-
- if (errorp) goto cleanup;
-
- if (env_follow_p(env, current_prodecor->x,
- *(num_string+current_grade))) {
- rtn(env, current_prodecor->x,
- current_prodecor->w, current_grade);
- }
-
- goto continue_label;
- }
-
- /* fleprintf0("non empty rule\n"); */
-
- /* if at the end of a rule, return if possible */
- if (current_prodecor->z == list_length(right)) {
- if (env_follow_p(env, current_prodecor->x,
- *(num_string+current_grade))) {
- rtn(env, current_prodecor->x,
- current_prodecor->w, current_grade);
- }
-
- goto continue_label;
- }
-
- /* fleprintf0("not at the end of the rule\n"); */
-
- /* if at the start of a rule, no need for test_select */
- if (current_prodecor->z == 0) {
- /* fleprintf0("at the start of the rule\n"); */
- current_prodecor->z = 1;
-
- /* otherwise test select */
+ if (env) {
+ if (!(env_error_p(env))) {
+ printf("Successfully parsed the input:\n");
+ bsr_print(env_bsrp(env), env_grammar(env), 1);
} else {
- /* fleprintf0("start by test select\n"); */
- tnts =
- array_to_list(list_array(right)+current_prodecor->z,
- list_length(right)-current_prodecor->z);
- if (test_select(env, *(num_string+current_grade),
- current_prodecor->x, tnts)) {
- /* fleprintf0("successful test\n"); */
- free(tnts);
- tnts = NULL;
- ++(current_prodecor->z);
- } else {
- /* fleprintf0("failed test\n"); */
- free(tnts);
- tnts = NULL;
- goto continue_label;
- }
+ printf("There are errors!\n");
}
- CHECK_ENV_ERROR(env, goto cleanup;);
-
- /* while there are terminals */
- while (((TNT *) list_nth(right, current_prodecor->z-1))->type ==
- TERMINAL) {
- /* fleprintf0("found terminal\n"); */
- /* add to BSR set */
- errorp =
- bsr_add(env_grammar(env), env_bsrp(env),
- current_prodecor->x, current_prodecor->y,
- current_prodecor->z, current_prodecor->w,
- current_grade, current_grade+1);
-
- if (errorp) goto cleanup;
-
- current_grade++;
-
- /* if at the end of the rule, return if possible */
- if (current_prodecor->z == list_length(right)) {
- if (env_follow_p(env, current_prodecor->x,
- *(num_string+current_grade))) {
- /* fleprintf0("we choose to return\n"); */
- rtn(env, current_prodecor->x,
- current_prodecor->w, current_grade);
- /* fleprintf0("hi\n"); */
- }
-
- goto continue_label;
- }
- /* fleprintf0("terminal not at the end\n"); */
- /* else test select */
- tnts =
- array_to_list(list_array(right)+current_prodecor->z,
- list_length(right)-current_prodecor->z);
- if (test_select(env, *(num_string+current_grade),
- current_prodecor->x, tnts)) {
- /* fleprintf0("Successful test\n"); */
- free(tnts);
- tnts = NULL;
- (current_prodecor->z)++;
- } else {
- /* fleprintf0("Failed test\n"); */
- /* printf("next thing is "); */
- /* print_tnt(list_nth(right, current_prodecor->z)); */
- /* printf("\n"); */
- free(tnts);
- tnts = NULL;
- goto continue_label;
- }
- }
-
- /* fleprintf0("encountered non-terminal\n"); */
-
- /* when a nonterminal is encountered, we call it */
- cnp_call(env, (pair3) {
- .x = current_prodecor->x,
- .y = current_prodecor->y,
- .z = current_prodecor->z
- }, current_prodecor->w, current_grade);
-
- /* fleprintf("after call { %ld, %ld, %ld, %ld, %ld }\n",
- * current_prodecor->x, current_prodecor->y,
- * current_prodecor->z, current_prodecor->w,
- * current_grade); */
-
- continue_label:
-
- CHECK_ENV_ERROR(env, goto cleanup;);
-
- free(current_prodecor);
+ destroy_env(env);
}
- cleanup:
- bsr_print(env_bsrp(env), env_grammar(env), 1);
-
- destroy_env(env);
-
destroy_grammar(g, 1);
destroy_list(rules, 1);
@@ -273,19 +118,3 @@ main(int UNUSED argc, char ** UNUSED argv)
return 0;
}
-
-/* archives
-
- printf("\nprint first for 0:\n");
- env_print_first(env, 0);
-
- printf("\nprint first for 1:\n");
- env_print_first(env, 1);
-
- printf("\nprint follow for 0:\n");
- env_print_follow(env, 0);
-
- printf("\nprint follow for 1:\n");
- env_print_follow(env, 1);
-
- */