Lines Matching full:after_dot
601 after_dot, /* Succeeds if after point. */
1099 case after_dot:
1100 printf ("/after_dot");
3999 /* There is no way to specify the before_dot and after_dot
4742 case after_dot:
7382 case after_dot:
7383 DEBUG_PRINT1 ("EXECUTING after_dot.\n");
7689 case after_dot:
