blob: f63deb629dadf381499b3bc14ab92c0c98c65190 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
/* parse C comments interactively, using events and a state machine */
main()
{
state plain;
}
@keypressed(key) <plain>
{
state (key == '/') slash;
if (key != '/') {
echo key;
}
}
@keypressed(key) <slash>
{
state (key != '/') plain;
state (key == '*') comment;
echo '/'; /* print '/' held back from previous state */
if (key != '/') {
echo key;
}
}
@keypressed(key) <comment>
{
echo key;
state (key == '*') star;
}
@keypressed(key) <star>
{
echo key;
state (key != '*') comment;
state (key == '/') plain;
}
echo(key) <plain, slash>
{
printchar key, yellow;
}
echo(key) <comment, star>
{
printchar key, green;
}
printchar(ch, colour)
{
setattr .foreground = colour;
printf "%c", ch;
}
|
