Lines Matching refs:fprintf
162 { fprintf(stdout, "spin: too many -D args, aborting\n"); in preprocess()
169 fprintf(stdout, "spin: preprocessing failed\n"); /* 4.1.2 was stderr */ in preprocess()
399 fprintf(fd, "#include \"%s\"\n", argv[1]); in main()
408 { fprintf(fd, "#include \"%s\"\n", *nvr_file); in main()
443 fprintf(stderr, "spin: error, no filename specified"); in main()
757 fprintf(fd, "'%c' = ", n); in explain()
758 fprintf(fd, "%d", n); in explain()
760 case '\b': fprintf(fd, "\\b"); break; in explain()
761 case '\t': fprintf(fd, "\\t"); break; in explain()
762 case '\f': fprintf(fd, "\\f"); break; in explain()
763 case '\n': fprintf(fd, "\\n"); break; in explain()
764 case '\r': fprintf(fd, "\\r"); break; in explain()
765 case 'c': fprintf(fd, "condition"); break; in explain()
766 case 's': fprintf(fd, "send"); break; in explain()
767 case 'r': fprintf(fd, "recv"); break; in explain()
768 case 'R': fprintf(fd, "recv poll %s", Operator); break; in explain()
769 case '@': fprintf(fd, "@"); break; in explain()
770 case '?': fprintf(fd, "(x->y:z)"); break; in explain()
772 case NEXT: fprintf(fd, "X"); break; in explain()
773 case ALWAYS: fprintf(fd, "[]"); break; in explain()
774 case EVENTUALLY: fprintf(fd, "<>"); break; in explain()
775 case IMPLIES: fprintf(fd, "->"); break; in explain()
776 case EQUIV: fprintf(fd, "<->"); break; in explain()
777 case UNTIL: fprintf(fd, "U"); break; in explain()
778 case WEAK_UNTIL: fprintf(fd, "W"); break; in explain()
779 case IN: fprintf(fd, "%sin", Keyword); break; in explain()
781 case ACTIVE: fprintf(fd, "%sactive", Keyword); break; in explain()
782 case AND: fprintf(fd, "%s&&", Operator); break; in explain()
783 case ASGN: fprintf(fd, "%s=", Operator); break; in explain()
784 case ASSERT: fprintf(fd, "%sassert", Function); break; in explain()
785 case ATOMIC: fprintf(fd, "%satomic", Keyword); break; in explain()
786 case BREAK: fprintf(fd, "%sbreak", Keyword); break; in explain()
787 case C_CODE: fprintf(fd, "%sc_code", Keyword); break; in explain()
788 case C_DECL: fprintf(fd, "%sc_decl", Keyword); break; in explain()
789 case C_EXPR: fprintf(fd, "%sc_expr", Keyword); break; in explain()
790 case C_STATE: fprintf(fd, "%sc_state",Keyword); break; in explain()
791 case C_TRACK: fprintf(fd, "%sc_track",Keyword); break; in explain()
792 case CLAIM: fprintf(fd, "%snever", Keyword); break; in explain()
793 case CONST: fprintf(fd, "a constant"); break; in explain()
794 case DECR: fprintf(fd, "%s--", Operator); break; in explain()
795 case D_STEP: fprintf(fd, "%sd_step", Keyword); break; in explain()
796 case D_PROCTYPE: fprintf(fd, "%sd_proctype", Keyword); break; in explain()
797 case DO: fprintf(fd, "%sdo", Keyword); break; in explain()
798 case DOT: fprintf(fd, "."); break; in explain()
799 case ELSE: fprintf(fd, "%selse", Keyword); break; in explain()
800 case EMPTY: fprintf(fd, "%sempty", Function); break; in explain()
801 case ENABLED: fprintf(fd, "%senabled",Function); break; in explain()
802 case EQ: fprintf(fd, "%s==", Operator); break; in explain()
803 case EVAL: fprintf(fd, "%seval", Function); break; in explain()
804 case FI: fprintf(fd, "%sfi", Keyword); break; in explain()
805 case FULL: fprintf(fd, "%sfull", Function); break; in explain()
806 case GE: fprintf(fd, "%s>=", Operator); break; in explain()
807 case GOTO: fprintf(fd, "%sgoto", Keyword); break; in explain()
808 case GT: fprintf(fd, "%s>", Operator); break; in explain()
809 case HIDDEN: fprintf(fd, "%shidden", Keyword); break; in explain()
810 case IF: fprintf(fd, "%sif", Keyword); break; in explain()
811 case INCR: fprintf(fd, "%s++", Operator); break; in explain()
812 case INAME: fprintf(fd, "inline name"); break; in explain()
813 case INLINE: fprintf(fd, "%sinline", Keyword); break; in explain()
814 case INIT: fprintf(fd, "%sinit", Keyword); break; in explain()
815 case ISLOCAL: fprintf(fd, "%slocal", Keyword); break; in explain()
816 case LABEL: fprintf(fd, "a label-name"); break; in explain()
817 case LE: fprintf(fd, "%s<=", Operator); break; in explain()
818 case LEN: fprintf(fd, "%slen", Function); break; in explain()
819 case LSHIFT: fprintf(fd, "%s<<", Operator); break; in explain()
820 case LT: fprintf(fd, "%s<", Operator); break; in explain()
821 case MTYPE: fprintf(fd, "%smtype", Keyword); break; in explain()
822 case NAME: fprintf(fd, "an identifier"); break; in explain()
823 case NE: fprintf(fd, "%s!=", Operator); break; in explain()
824 case NEG: fprintf(fd, "%s! (not)",Operator); break; in explain()
825 case NEMPTY: fprintf(fd, "%snempty", Function); break; in explain()
826 case NFULL: fprintf(fd, "%snfull", Function); break; in explain()
827 case NON_ATOMIC: fprintf(fd, "sub-sequence"); break; in explain()
828 case NONPROGRESS: fprintf(fd, "%snp_", Function); break; in explain()
829 case OD: fprintf(fd, "%sod", Keyword); break; in explain()
830 case OF: fprintf(fd, "%sof", Keyword); break; in explain()
831 case OR: fprintf(fd, "%s||", Operator); break; in explain()
832 case O_SND: fprintf(fd, "%s!!", Operator); break; in explain()
833 case PC_VAL: fprintf(fd, "%spc_value",Function); break; in explain()
834 case PNAME: fprintf(fd, "process name"); break; in explain()
835 case PRINT: fprintf(fd, "%sprintf", Function); break; in explain()
836 case PRINTM: fprintf(fd, "%sprintm", Function); break; in explain()
837 case PRIORITY: fprintf(fd, "%spriority", Keyword); break; in explain()
838 case PROCTYPE: fprintf(fd, "%sproctype",Keyword); break; in explain()
839 case PROVIDED: fprintf(fd, "%sprovided",Keyword); break; in explain()
840 case RCV: fprintf(fd, "%s?", Operator); break; in explain()
841 case R_RCV: fprintf(fd, "%s??", Operator); break; in explain()
842 case RSHIFT: fprintf(fd, "%s>>", Operator); break; in explain()
843 case RUN: fprintf(fd, "%srun", Operator); break; in explain()
844 case SEP: fprintf(fd, "token: ::"); break; in explain()
845 case SEMI: fprintf(fd, ";"); break; in explain()
846 case SHOW: fprintf(fd, "%sshow", Keyword); break; in explain()
847 case SND: fprintf(fd, "%s!", Operator); break; in explain()
848 case STRING: fprintf(fd, "a string"); break; in explain()
849 case TRACE: fprintf(fd, "%strace", Keyword); break; in explain()
850 case TIMEOUT: fprintf(fd, "%stimeout",Keyword); break; in explain()
851 case TYPE: fprintf(fd, "data typename"); break; in explain()
852 case TYPEDEF: fprintf(fd, "%stypedef",Keyword); break; in explain()
853 case XU: fprintf(fd, "%sx[rs]", Keyword); break; in explain()
854 case UMIN: fprintf(fd, "%s- (unary minus)", Operator); break; in explain()
855 case UNAME: fprintf(fd, "a typename"); break; in explain()
856 case UNLESS: fprintf(fd, "%sunless", Keyword); break; in explain()