123456789101112131415161718192021222324252627282930313233343536373839 |
- #include <u.h>
- #include <libc.h>
- #include <stdio.h>
- extern FILE* yyout;
- int
- printable(int c)
- {
- return 040 < c && c < 0177;
- }
- void
- allprint(char c)
- {
- switch(c) {
- case '\n':
- fprintf(yyout,"\\n");
- break;
- case '\t':
- fprintf(yyout,"\\t");
- break;
- case '\b':
- fprintf(yyout,"\\b");
- break;
- case ' ':
- fprintf(yyout,"\\\bb");
- break;
- default:
- if(!printable(c))
- fprintf(yyout,"\\%-3o",c);
- else
- c = putc(c,yyout);
- USED(c);
- break;
- }
- return;
- }
|