5 int c
, state
= 0, filenameLen
= 0;
8 while ((c
= getchar()) != EOF
)
14 case 0: if (c
== '<') state
= 1; break;
15 case 1: state
= c
== 'a' ? 2 : 0; break;
16 case 2: state
= c
== ' ' ? 3 : 0; break;
17 case 3: state
= c
== 'h' ? 4 : 0; break;
18 case 4: state
= c
== 'r' ? 5 : 0; break;
19 case 5: state
= c
== 'e' ? 6 : 0; break;
20 case 6: state
= c
== 'f' ? 7 : 0; break;
21 case 7: state
= c
== '=' ? 8 : 0; break;
22 case 8: state
= c
== '"' ? 9 : 0; break;
26 filename
[filenameLen
] = 0;
28 FILE *f
= fopen(filename
,"r");
31 printf(" class=\"dead\"");
38 else if (filenameLen
< 128)
40 filename
[filenameLen
] = c
;